The SCEAS System
Navigation Menu

Journals in DBLP

Int. J. Found. Comput. Sci.
2007, volume: 18, number: 1

  1. Doron Peled, Yih-Kuen Tsay
    Preface. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2007, v:18, n:1, pp:1-4 [Journal]
  2. Ittai Balaban, Amir Pnueli, Lenore D. Zuck
    Modular Ranking Abstraction. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2007, v:18, n:1, pp:5-44 [Journal]
  3. Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster
    Verifying Very Large Industrial Circuits Using 100 Processes and Beyond. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2007, v:18, n:1, pp:45-62 [Journal]
  4. Werner Damm, Guilherme Pinto, Stefan Ratschan
    Guaranteed Termination in the Verification of Ltl Properties of Non-linear Robust Discrete Time Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2007, v:18, n:1, pp:63-86 [Journal]
  5. Stéphane Demri, David Nowak
    Reasoning about Transfinite Sequences. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2007, v:18, n:1, pp:87-112 [Journal]
  6. Sven Schewe, Bernd Finkbeiner
    Semi-automatic Distributed Synthesis. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2007, v:18, n:1, pp:113-138 [Journal]
  7. Tobias Lauer, Thomas Ottmann, Amitava Datta
    Update-efficient Data Structures for Dynamic Ip Router Tables. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2007, v:18, n:1, pp:139-162 [Journal]
  8. Artiom Alhazov, Yurii Rogozhin, Sergey Verlan
    Minimal Cooperation in Symport/antiport Tissue P Systems. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2007, v:18, n:1, pp:163-180 [Journal]
  9. Juha Honkala
    The D0l omega-equivalence Problem. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2007, v:18, n:1, pp:181-194 [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