Journals in DBLP

Fundam. Inform.
2004, volume: 60, number: 1-4

1. Hans-Dieter Burkhard, Gabriela Lindemann, Ludwik Czaja, Zbigniew Suraj
   Preface. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2004, v:60, n:1-4, pp:- [Journal]
   
2. Antoni W. Mazurkiewicz
   Bilateral Ranking Negotiations. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2004, v:60, n:1-4, pp:1-16 [Journal]
   
3. Peter D. Mosses
   Exploiting Labels in Structural Operational Semantics. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2004, v:60, n:1-4, pp:17-31 [Journal]
   
4. Zdzislaw Pawlak
   Decision Rules and Dependencies. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2004, v:60, n:1-4, pp:33-39 [Journal]
   
5. Stanislaw Ambroszkiewicz
   Entish: A Language for Describing Data Processing in Open Distributed Systems. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2004, v:60, n:1-4, pp:41-66 [Journal]
   
6. Roberto Barbuti, Stefano Cataudella, Luca Tesei
   Abstract Interpretation Against Races. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2004, v:60, n:1-4, pp:67-79 [Journal]
   
7. Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri
   Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2004, v:60, n:1-4, pp:81-98 [Journal]
   
8. Anatoly E. Doroshenko, Georgy Tseitlin
   Models and Parallel Programming Abstractions to Enhance Concurrency of Parallel Programs. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2004, v:60, n:1-4, pp:99-111 [Journal]
   
9. Berndt Farwer, Michael Köhler
   Mobile Object-Net Systems and their Processes. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2004, v:60, n:1-4, pp:113-129 [Journal]
   
10. Berndt Farwer, Manfred Kudlek
    A New Synchronisation Model for Multi-Level Object Petri Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:60, n:1-4, pp:131-142 [Journal]
    
11. Barbara Fryc, Krzysztof Pancerz, James F. Peters, Zbigniew Suraj
    On Fuzzy Reasoning Using Matrix Representation of Extended Fuzzy Petri Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:60, n:1-4, pp:143-157 [Journal]
    
12. Anna Gomolinska
    A Graded Meaning of Formulas in Approximation Spaces. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:60, n:1-4, pp:159-172 [Journal]
    
13. Martin Heckel, Jaroslav Zendulka
    Data Mining and Its Use in Texture Analysis. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:60, n:1-4, pp:173-186 [Journal]
    
14. Agata Janowska, Pawel Janowski
    Slicing Timed Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:60, n:1-4, pp:187-210 [Journal]
    
15. Beata Konikowska, Wojciech Penczek
    On Designated Values in Multi-valued CTL^* Model Checking. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:60, n:1-4, pp:211-224 [Journal]
    
16. Irina A. Lomazova
    Communities of Interacting Automata for Modelling Distributed Systems with Dynamic Structure. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:60, n:1-4, pp:225-235 [Journal]
    
17. Edward Ochmanski
    Best Fairness Hierarchy in Elementary Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:60, n:1-4, pp:237-250 [Journal]
    
18. Krzysztof Pancerz, Zbigniew Suraj
    Discovering Concurrent Models from Data Tables with the ROSECON System. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:60, n:1-4, pp:251-268 [Journal]
    
19. Michal Polak, Pawel Majdzik, Zbigniew A. Banaszak, Robert Wójcik
    The Performance Evaluation Tool for Automated Prototyping of Concurrent Cyclic Processes. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:60, n:1-4, pp:269-289 [Journal]
    
20. Lech Polkowski, Maria Semeniuk-Polkowska
    Some Remarks on Sets of Communicating Sequential Processes in Topological Rough Set Framework. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:60, n:1-4, pp:291-305 [Journal]
    
21. Agata Pólrola, Wojciech Penczek
    Minimization Algorithms for Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:60, n:1-4, pp:307-331 [Journal]
    
22. Roman R. Redziejowski
    On Associative Omega-Products. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:60, n:1-4, pp:333-350 [Journal]
    
23. Andrzej Skowron, Piotr Synak
    Complex Patterns. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:60, n:1-4, pp:351-366 [Journal]
    
24. Simone Tini, Andrea Maggiolo-Schettini
    Compositional Synthesis of Generalized Mealy Machines. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:60, n:1-4, pp:367-382 [Journal]
    
25. Irina Virbitskaite, Natalya S. Gribovskaja
    Open Maps and Observational Equivalences for Timed Partial Order Models. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:60, n:1-4, pp:383-399 [Journal]
    
26. Marcin Wolski
    Galois Connections and Data Analysis. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:60, n:1-4, pp:401-415 [Journal]
    
27. Andrzej Zbrzezny
    Improvements in SAT-based Reachability Analysis for Timed Automata. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:60, n:1-4, pp:417-434 [Journal]