Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Theor.~Comput.~Sci. AND Volume=282
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
The theory of interactive generalized semi-Markov processes
Mario Bravetti
,
Roberto Gorrieri
Theoretical Computer Science
282
(1), 2002, pp. 5-32
Testing preorders for probabilistic processes can be characterized by simulations
Bengt Jonsson
,
Wang Yi
Theoretical Computer Science
282
(1), 2002, pp. 33-51
Proof assistance for real-time systems using an interactive theorem prover
Paul Z. Kolano
Theoretical Computer Science
282
(1), 2002, pp. 53-99
Automatic verification of real-time systems with discrete probability distributions
Marta Kwiatkowska
,
Gethin Norman
,
Roberto Segala
,
Jeremy Sproston
Theoretical Computer Science
282
(1), 2002, pp. 101-150
A formal model of real-time program compilation
Karl Lermer
,
Colin Fidge
Theoretical Computer Science
282
(1), 2002, pp. 151-190
Quantitative program logic and expected time bounds in probabilistic distributed algorithms
A.K. McIver
Theoretical Computer Science
282
(1), 2002, pp. 191-219
Algorithms, nymphs, and shepherds
F. Luccio
Theoretical Computer Science
282
(2), 2002, pp. 223-229
Local majorities, coalitions and monopolies in graphs: A review
David Peleg
Theoretical Computer Science
282
(2), 2002, pp. 231-257
Measuring with jugs
Paolo Boldi
,
Massimo Santini
,
Sebastiano Vigna
Theoretical Computer Science
282
(2), 2002, pp. 259-270
Arrays, numeration systems and Frankenstein games
Aviezri S. Fraenkel
Theoretical Computer Science
282
(2), 2002, pp. 271-284
Playing by searching: Two strategies against a linearly bounded liar
Alberto Pedrotti
Theoretical Computer Science
282
(2), 2002, pp. 285-302
The passport control problem or how to keep a dynamic service system load balanced?
Alon Itai
,
Michael Rodeh
,
Hadas Shachnai
Theoretical Computer Science
282
(2), 2002, pp. 303-318
The chords' problem
Alain Daurat
,
Yan GĂ©rard
,
Maurice Nivat
Theoretical Computer Science
282
(2), 2002, pp. 319-336
A strip-like tiling algorithm
Donatella Merlini
,
Renzo Sprugnoli
,
M. Cecilia Verri
Theoretical Computer Science
282
(2), 2002, pp. 337-352
A shifting algorithm for continuous tree partitioning
Ronald Becker
,
Bruno Simeone
,
Yen-I Chiang
Theoretical Computer Science
282
(2), 2002, pp. 353-380
A manifesto for the computational method
Steve Seiden
Theoretical Computer Science
282
(2), 2002, pp. 381-395