Journals in DBLP

Theor. Comput. Sci.
2005, volume: 345, number: 1

1. Kurt Jensen, Andreas Podelski
   Special issue. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:345, n:1, pp:1- [Journal]
   
2. Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Boudewijn R. Haverkort
   Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:345, n:1, pp:2-26 [Journal]
   
3. Denis Lugiez, Peter Niebert, Sarah Zennou
   A partial order semantics approach to the clock explosion problem of timed automata. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:345, n:1, pp:27-59 [Journal]
   
4. Jaco Geldenhuys, Antti Valmari
   More efficient on-the-fly LTL verification with Tarjan's algorithm. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:345, n:1, pp:60-82 [Journal]
   
5. Orna Kupferman, Moshe Y. Vardi
   From complementation to certification. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:345, n:1, pp:83-100 [Journal]
   
6. Kenneth L. McMillan
   An interpolating theorem prover. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:345, n:1, pp:101-121 [Journal]
   
7. Zhendong Su, David Wagner
   A class of polynomially solvable range constraints for interval analysis without widenings. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:345, n:1, pp:122-138 [Journal]
   
8. Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
   Model checking discounted temporal properties. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:345, n:1, pp:139-170 [Journal]