Journals in DBLP

Fundam. Inform.
2002, volume: 51, number: 1-2

1. Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Luca Tesei
   A Notion of Non-Interference for Timed Automata. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2002, v:51, n:1-2, pp:1-11 [Journal]
   
2. Viviana Bono, Jerzy Tiuryn
   Products and Polymorphic Subtypes. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2002, v:51, n:1-2, pp:13-41 [Journal]
   
3. Ludwik Czaja
   Place/Transition Petri Net Evolutions: Recording Ways, Analysis and Synthesis. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2002, v:51, n:1-2, pp:43-58 [Journal]
   
4. Piotr Dembinski, Wojciech Penczek, Agata Pólrola
   Verification of Timed Automata Based on Similarity. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2002, v:51, n:1-2, pp:59-89 [Journal]
   
5. Berndt Farwer
   Dynamic Modification of Object Petri Nets. An Application to Modelling Protocols with Fork-Join Structures. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2002, v:51, n:1-2, pp:91-101 [Journal]
   
6. Anna Gomolinska
   A Comparative Study of Some Generalized Rough Approximations. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2002, v:51, n:1-2, pp:103-119 [Journal]
   
7. Irina A. Lomazova
   Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2002, v:51, n:1-2, pp:121-133 [Journal]
   
8. Wojciech Penczek, Bozena Wozna, Andrzej Zbrzezny
   Bounded Model Checking for the Universal Fragment of CTL. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2002, v:51, n:1-2, pp:135-156 [Journal]
   
9. James F. Peters, Andrzej Skowron, Jaroslaw Stepaniuk, Sheela Ramanna
   Towards an Ontology of Approximate Reason. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2002, v:51, n:1-2, pp:157-173 [Journal]
   
10. Zbigniew W. Ras, Shishir Gupta
    Global Action Rules in Distributed Knowledge Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2002, v:51, n:1-2, pp:175-184 [Journal]
    
11. Jan Richling, Louchka Popova-Zeugmann, Matthias Werner
    Verification of Non-functional Properties of a Composable Architecture with Petrinets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2002, v:51, n:1-2, pp:185-200 [Journal]
    
12. Zbigniew Suraj, James F. Peters, W. Rzqsa
    A Comparison of Different Decision Algorithms Used in Volumetric Storm Cells Classification. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2002, v:51, n:1-2, pp:201-214 [Journal]
    
13. Kimmo Varpaaniemi
    Minimizing the Number of Successor States in the Stubborn Set Method. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2002, v:51, n:1-2, pp:215-234 [Journal]
    
14. Józef Winkowski
    Reachability in Contextual Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2002, v:51, n:1-2, pp:235-250 [Journal]