The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
2006, volume: 354, number: 2

  1. Hubert Garavel, John Hatcliff
    TACAS 2003 Special Issue - Preface. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:354, n:2, pp:169-172 [Journal]
  2. Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar
    On the universal and existential fragments of the mu-calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:354, n:2, pp:173-186 [Journal]
  3. Sylvain Conchon, Sava Krstic
    Strategies for combining decision procedures. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:354, n:2, pp:187-210 [Journal]
  4. Samik Basu, C. R. Ramakrishnan
    Compositional analysis for verification of parameterized systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:354, n:2, pp:211-229 [Journal]
  5. Rajeev Alur, Salvatore La Torre, P. Madhusudan
    Modular strategies for recursive game graphs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:354, n:2, pp:230-249 [Journal]
  6. Rajeev Alur, Thao Dang, Franjo Ivancic
    Counterexample-guided predicate abstraction of hybrid systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:354, n:2, pp:250-271 [Journal]
  7. Yasmina Abdeddaïm, Eugene Asarin, Oded Maler
    Scheduling with timed automata. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:354, n:2, pp:272-300 [Journal]
  8. Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi
    Schedulability analysis of fixed-priority systems using timed automata. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:354, n:2, pp:301-317 [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