The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
2005, volume: 338, number: 1-3

  1. Andrzej M. Borzyszkowski, Philippe Darondeau
    Transition systems without transitions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:338, n:1-3, pp:1-16 [Journal]
  2. Alan Jeffrey, Julian Rathke
    A fully abstract may testing semantics for concurrent objects. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:338, n:1-3, pp:17-63 [Journal]
  3. Giovanna D'Agostino, Giacomo Lenzi
    An axiomatization of bisimulation quantifiers via the mu-calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:338, n:1-3, pp:64-95 [Journal]
  4. Yuxi Fu
    On quasi-open bisimulation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:338, n:1-3, pp:96-126 [Journal]
  5. Chiaki Sakama
    Ordering default theories and nonmonotonic logic programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:338, n:1-3, pp:127-152 [Journal]
  6. Cormac Flanagan, Stephen N. Freund, Shaz Qadeer, Sanjit A. Seshia
    Modular verification of multithreaded programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:338, n:1-3, pp:153-183 [Journal]
  7. James Worrell
    On the final sequence of a finitary set functor. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:338, n:1-3, pp:184-199 [Journal]
  8. Mircea-Dan Hernest, Ulrich Kohlenbach
    A complexity analysis of functional interpretations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:338, n:1-3, pp:200-246 [Journal]
  9. Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani
    An NP decision procedure for protocol insecurity with XOR. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:338, n:1-3, pp:247-274 [Journal]
  10. Carsten Fritz, Thomas Wilke
    Simulation relations for alternating Büchi automata. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:338, n:1-3, pp:275-314 [Journal]
  11. Andrzej S. Murawski
    Functions with local state: Regularity and undecidability. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:338, n:1-3, pp:315-349 [Journal]
  12. Antonio Bueno, Valentín Valero Ruiz, Fernando Cuartero
    A translation of TPALp into a class of timed-probabilistic Petri nets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:338, n:1-3, pp:350-392 [Journal]
  13. Michele Boreale, Maria Grazia Buscemi
    A method for symbolic analysis of security protocols. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:338, n:1-3, pp:393-425 [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