Volume 331,
Number 1,
February 2005
Automata,
Languages and Programming
- Fernando Orejas, Jan van Leeuwen:
Preface: Automata, Languages and Programming .
1-2
Electronic Edition (link) BibTeX
- Markus Bläser:
Beyond the Alder-Strassen bound.
3-21
Electronic Edition (link) BibTeX
- Kunihiko Sadakane, Nadia Takki-Chebihi, Takeshi Tokuyama:
Combinatorics and algorithms for low-discrepancy roundings of a real sequence.
23-36
Electronic Edition (link) BibTeX
- Artur Czumaj, Christian Sohler:
Testing hypergraph colorability.
37-52
Electronic Edition (link) BibTeX
- Jop F. Sibeyn:
Faster gossiping on butterfly networks.
53-72
Electronic Edition (link) BibTeX
- Edith Cohen, Eran Halperin, Haim Kaplan:
Performance aspects of distributed caches using TTL-based consistency.
73-96
Electronic Edition (link) BibTeX
- Rajeev Alur, Kousha Etessami, Mihalis Yannakakis:
Realizability and verification of MSC graphs.
97-114
Electronic Edition (link) BibTeX
- Franck van Breugel, James Worrell:
A behavioural pseudometric for probabilistic transition systems.
115-142
Electronic Edition (link) BibTeX
- Hubert Comon, Véronique Cortier:
Tree automata with one memory set constraints and cryptographic protocols.
143-214
Electronic Edition (link) BibTeX
- Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman:
Amalgamation in the semantics of CASL.
215-247
Electronic Edition (link) BibTeX
Volume 331,
Number 2-3,
February 2005
Formal Methods for Components and Objects
Copyright © Wed Jun 4 19:21:24 2008
by Michael Ley (ley@uni-trier.de)
