The SCEAS System
Navigation Menu

Journals in DBLP

Fundam. Inform.
2000, volume: 43, number: 1-4

  1. Maria V. Andreeva, Elena N. Bozhenkova, Irina Virbitskaite
    Analysis of Timed Concurrent Models Based on Testing Equivalence. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:43, n:1-4, pp:1-20 [Journal]
  2. Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Rafal Somla
    Finite Completeness of Categories of Petri Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:43, n:1-4, pp:21-48 [Journal]
  3. Ludwik Czaja, Manfred Kudlek
    Rational, Linear and Algebraic Process Languages and Iteration Lemmata. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:43, n:1-4, pp:49-60 [Journal]
  4. Berndt Farwer
    A Multi-region Linear Logic Based Calculus for Dynamic Petri Net Structures. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:43, n:1-4, pp:61-79 [Journal]
  5. Adrianna Foremniak, Peter H. Starke
    Structural Analysis of Signal-Event Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:43, n:1-4, pp:81-104 [Journal]
  6. Stefan Haar
    Occurrence Net Logics. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:43, n:1-4, pp:105-127 [Journal]
  7. Markus Hannebauer
    A Formalization of Autonomous Dynamic Reconfiguration in Distributed Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:43, n:1-4, pp:129-151 [Journal]
  8. Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron
    Timed Cooperating Automata. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:43, n:1-4, pp:153-173 [Journal]
  9. Timo Latvala, Keijo Heljanko
    Coping With Strong Fairness. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:43, n:1-4, pp:175-193 [Journal]
  10. Irina A. Lomazova
    Nested Petri Nets - a Formalism for Specification and Verification of Multi-Agent Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:43, n:1-4, pp:195-214 [Journal]
  11. Ines Münch, Gabriela Lindemann von Trzebiatowski
    ChariTime - Concepts of Analysis and Design of an Agent-Oriented System for Appointment Management. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:43, n:1-4, pp:215-226 [Journal]
  12. A. S. Nepomniaschaya, Maria A. Dvoskina
    A Simple Implementation of Dijkstra's Shortest Path Algorithm on Associative Parallel Processors. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:43, n:1-4, pp:227-243 [Journal]
  13. Wojciech Penczek, Maciej Szreter, Rob Gerth, Ruurd Kuiper
    Improving Partial Order Reductions for Universal Branching Time Properties. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:43, n:1-4, pp:245-267 [Journal]
  14. James F. Peters, Andrzej Skowron, Zbigniew Suraj
    An Application of Rough Set Methods in Control Design. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:43, n:1-4, pp:269-290 [Journal]
  15. Lech Polkowski, Andrzej Skowron
    Rough Mereology in Information Systems with Applications to Qualitative Spatial Reasoning. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:43, n:1-4, pp:291-320 [Journal]
  16. Stephan Roch
    Analyzing and Reducing Simultaneous Firing in Signal-Event Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:43, n:1-4, pp:321-330 [Journal]
  17. Karsten Schmidt
    Stubborn Sets for Model Checking the EF/AG Fragment of CTL. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:43, n:1-4, pp:331-341 [Journal]
  18. Kay Schröter, Gabriela Lindemann von Trzebiatowski, Lutz Fritsche
    TBase2 - a Web-Based Electronic Patient Record. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:43, n:1-4, pp:343-353 [Journal]
  19. Kimmo Varpaaniemi
    Stable Models for Stubborn Sets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:43, n:1-4, pp:355-375 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002