Volume 345,
Number 1,
21 November 2005
Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004)
- Kurt Jensen, Andreas Podelski:
Special issue.
1
Electronic Edition (link) BibTeX
- Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Boudewijn R. Haverkort:
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes.
2-26
Electronic Edition (link) BibTeX
- Denis Lugiez, Peter Niebert, Sarah Zennou:
A partial order semantics approach to the clock explosion problem of timed automata.
27-59
Electronic Edition (link) BibTeX
- Jaco Geldenhuys, Antti Valmari:
More efficient on-the-fly LTL verification with Tarjan's algorithm.
60-82
Electronic Edition (link) BibTeX
- Orna Kupferman, Moshe Y. Vardi:
From complementation to certification.
83-100
Electronic Edition (link) BibTeX
- Kenneth L. McMillan:
An interpolating theorem prover.
101-121
Electronic Edition (link) BibTeX
- Zhendong Su, David Wagner:
A class of polynomially solvable range constraints for interval analysis without widenings.
122-138
Electronic Edition (link) BibTeX
- Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga:
Model checking discounted temporal properties.
139-170
Electronic Edition (link) BibTeX
Volume 345,
Numbers 2-3,
22 November 2005
Mathematical Foundations of Computer Science 2004 Preface
Contributions
- Sebastian Bab, Arfst Nickelsen:
One query reducibilities between partial information classes.
173-189
Electronic Edition (link) BibTeX
- Marie-Pierre Béal, Francesca Fiorenzi, Dominique Perrin:
A hierarchy of shift equivalent sofic shifts.
190-205
Electronic Edition (link) BibTeX
- Martin Beaudry, José M. Fernandez, Markus Holzer:
A common algebraic description for probabilistic and quantum computations, .
206-234
Electronic Edition (link) BibTeX
- Vincent Bernardi, Bruno Durand, Enrico Formenti, Jarkko Kari:
A new dimension sensitive property for cellular automata.
235-247
Electronic Edition (link) BibTeX
- Alina Beygelzimer, Mitsunori Ogihara:
The enumerability of P collapses P to NC.
248-259
Electronic Edition (link) BibTeX
- Elmar Böhler, Christian Glaßer, Bernhard Schwarz, Klaus W. Wagner:
Generation problems.
260-295
Electronic Edition (link) BibTeX
- Elena Czeizler:
The non-parametrizability of the word equation xyz=zvx: A short proof.
296-303
Electronic Edition (link) BibTeX
- Michael Domaratzki, Kai Salomaa:
Decidability of trajectory-based equations.
304-330
Electronic Edition (link) BibTeX
- Pierre Fraigniaud, David Ilcinkas, Guy Peer, Andrzej Pelc, David Peleg:
Graph exploration by a finite automaton.
331-344
Electronic Edition (link) BibTeX
- Edith Hemaspaandra, Lane A. Hemaspaandra, Harald Hempel:
All superlinear inverse schemes are coNP-hard.
345-358
Electronic Edition (link) BibTeX
- Lucian Ilie, Pascal Ochem, Jeffrey Shallit:
A generalization of repetition threshold.
359-369
Electronic Edition (link) BibTeX
- Akinori Kawachi, Hirotada Kobayashi, Takeshi Koshiba, Raymond H. Putra:
Universal test for quantum one-way permutations.
370-385
Electronic Edition (link) BibTeX
- Troy Lee, Andrei E. Romashchenko:
Resource bounded symmetry of information revisited.
386-405
Electronic Edition (link) BibTeX
- Gustav Nordh:
The complexity of equivalence and isomorphism of systems of equations over finite groups.
406-424
Electronic Edition (link) BibTeX
- Alexander Okhotin:
The dual of concatenation.
425-447
Electronic Edition (link) BibTeX
- Victor L. Selivanov, Klaus W. Wagner:
A reducibility for the dot-depth hierarchy.
448-472
Electronic Edition (link) BibTeX
- Klaus Wich:
Sublogarithmic ambiguity.
473-504
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:25:03 2009
by Michael Ley (ley@uni-trier.de)
