The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
2005, volume: 342, number: 2-3

  1. Bruno Courcelle, Pascal Weil
    The recognizability of sets of graphs is a robust property. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:342, n:2-3, pp:173-228 [Journal]
  2. Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas
    Bisimulation relations for dynamical, control, and hybrid systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:342, n:2-3, pp:229-261 [Journal]
  3. Frank J. Oles
    Precedence-inclusion patterns and relational learning. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:342, n:2-3, pp:262-315 [Journal]
  4. Rance Cleaveland, S. Purushothaman Iyer, Murali Narasimha
    Probabilistic temporal logics via the modal mu-calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:342, n:2-3, pp:316-350 [Journal]
  5. Yann Loyer, Umberto Straccia
    Any-world assumptions in logic programming. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:342, n:2-3, pp:351-381 [Journal]
  6. Christos Nomikos, Panos Rondogiannis, Manolis Gergatsoulis
    Temporal stratification tests for linear and branching-time deductive databases. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:342, n:2-3, pp:382-415 [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