The SCEAS System
Navigation Menu

Journals in DBLP

Fundam. Inform.
2003, volume: 54, number: 2-3

  1. Uri Abraham, Tamar Pinhas
    Exercises in Style (Alpha Specifications). [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:54, n:2-3, pp:107-135 [Journal]
  2. Roberto Barbuti, Luca Tesei
    A Decidable Notion of Timed Non-Interference. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:54, n:2-3, pp:137-150 [Journal]
  3. Amin Coja-Oghlan, Mark-Oliver Stehr
    Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:54, n:2-3, pp:151-164 [Journal]
  4. Ludwik Czaja
    Proving Nets Correct via Cause-Effect Structures (An Experiment). [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:54, n:2-3, pp:165-183 [Journal]
  5. Berndt Farwer, Manfred Kudlek, Kundan Misra
    Some Considerations on Higher-Order Petri Nets. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:54, n:2-3, pp:185-193 [Journal]
  6. Nicoletta De Francesco, Antonella Santone, Luca Tesei
    Abstract Interpretation and Model Checking for Checking Secure Information Flow in Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:54, n:2-3, pp:195-211 [Journal]
  7. Magdalena Kacprzak
    Undecidability of a Multi-Agent Logic. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:54, n:2-3, pp:213-220 [Journal]
  8. Michael Köhler, Heiko Rölke
    Concurrency in Mobile Object Net Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:54, n:2-3, pp:221-235 [Journal]
  9. Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini
    Dynamic Hierarchical Machines. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:54, n:2-3, pp:237-252 [Journal]
  10. Karsten Schmidt
    Distributed Verification with LoLA. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:54, n:2-3, pp:253-262 [Journal]
  11. Andrzej Skowron, Jaroslaw Stepaniuk, James F. Peters
    Rough Sets and Infomorphisms: Towards Approximation of Relations in Distributed Environments. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:54, n:2-3, pp:263-277 [Journal]
  12. Kimmo Varpaaniemi
    Towards Ambitious Approximation Algorithms in Stubborn Set Optimization. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:54, n:2-3, pp:279-294 [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