Volume 313,
Number 1,
16 February 2004
Implementation and Application of Automata
- Bruce W. Watson, Derick Wood:
Introduction.
1
Electronic Edition (link) BibTeX
- Anne Bergeron, Sylvie Hamel:
From cascade decompositions to bit-vector algorithms.
3-16
Electronic Edition (link) BibTeX
- Bernard Boigelot, Louis Latour:
Counting the solutions of Presburger equations without enumerating them.
17-29
Electronic Edition (link) BibTeX
- Jean-Marc Champarnaud, Gérard Duchamp:
Derivatives of rational expressions and related theorems.
31-44
Electronic Edition (link) BibTeX
- Jan Daciuk, Gertjan van Noord:
Finite automata for compact representation of tuple dictionaries.
45-56
Electronic Edition (link) BibTeX
- Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard A. Kemmerer:
Past pushdown timed automata and safety verification.
57-71
Electronic Edition (link) BibTeX
- Jacques Farré, José Fortes Gálvez:
Bounded-connect noncanonical discriminating-reverse parsers.
73-91
Electronic Edition (link) BibTeX
- Nathalie Friburger, Denis Maurel:
Finite-state transducer cascades to extract named entities in texts.
93-104
Electronic Edition (link) BibTeX
- Tamás Gaál:
Deciding sequentiability of finite-state transducers by finite-state pattern-matching.
105-117
Electronic Edition (link) BibTeX
- Dominique Geniet, Jean-Philippe Dubernard:
Scheduling hard sporadic tasks with regular languages and generating functions.
119-132
Electronic Edition (link) BibTeX
- Frank Katritzke, Wolfgang Merzenich, Michael Thomas:
Enhancements of partitioning techniques for image compression using weighted finite automata.
133-144
Electronic Edition (link) BibTeX
- André Kempe:
Extraction and recoding of input-[epsiv]-cycles in finite state transducers.
145-158
Electronic Edition (link) BibTeX
- Lynette van Zijl:
Generalized acceptance, succinctness and supernondeterministic finite automata.
159-172
Electronic Edition (link) BibTeX
Volume 313,
Number 2,
17 February 2004
Algorithmic Learning Theory
Volume 303,
Number 3,
19 February 2004
Algorithmic Combinatorial Game Theory
- Rudolf Fleischer, Richard J. Nowakowski:
Preface: Algorithmic Combinatorial Game Theory.
313
Electronic Edition (link) BibTeX
- Ingo Althöfer:
Improved game play by multiple computer hint.
315-324
Electronic Edition (link) BibTeX
- Erik D. Demaine, Martin L. Demaine, Rudolf Fleischer:
Solitaire Clobber.
325-338
Electronic Edition (link) BibTeX
- Benjamin Doerr:
European tenure games.
339-351
Electronic Edition (link) BibTeX
- Ioana Dumitriu, Joel Spencer:
A Halfliar's game.
353-369
Electronic Edition (link) BibTeX
- Péter L. Erdös, Ulrich Faigle, Winfried Hochstättler, Walter Kern:
Note on the game chromatic index of trees.
371-376
Electronic Edition (link) BibTeX
- Sándor P. Fekete, Rudolf Fleischer, Aviezri S. Fraenkel, Matthias Schmitt:
Traveling salesmen in the presence of competition.
377-392
Electronic Edition (link) BibTeX
- Aviezri S. Fraenkel:
Complexity, appeal and challenges of combinatorial games.
393-415
Electronic Edition (link) BibTeX
- J. P. Grossman:
Periodicity in one-dimensional peg duotaire.
417-425
Electronic Edition (link) BibTeX
- Frank Harary, Wolfgang Slany, Oleg Verbitsky:
On the lengths of symmetry breaking-preserving games on graphs.
427-446
Electronic Edition (link) BibTeX
- Markus Holzer, Stefan Schwoon:
Assembling molecules in ATOMIX is hard.
447-462
Electronic Edition (link) BibTeX
- S. Howse, Richard J. Nowakowski:
Periodicity and arithmetic-periodicity in hexadecimal games.
463-472
Electronic Edition (link) BibTeX
- Daniel Král, Vladan Majerech, Jiri Sgall, Tomás Tichý, Gerhard J. Woeginger:
It is tough to be a plumber.
473-484
Electronic Edition (link) BibTeX
- Ulf Lorenz, Burkhard Monien:
Error analysis in minimax trees.
485-498
Electronic Edition (link) BibTeX
- Raymond Georg Snatzke:
New results of exhaustive search in the game Amazons.
499-509
Electronic Edition (link) BibTeX
- Mark H. M. Winands, Jos W. H. M. Uiterwijk, H. Jaap van den Herik:
An effective two-level proof-number search algorithm.
511-525
Electronic Edition (link) BibTeX
- David Wolfe, William Fraser:
Counting the number of games.
527-532
Electronic Edition (link) BibTeX
- J. P. Grossman:
Appendix A: Report on the First International Clobber Tournament.
533-537
Electronic Edition (link) BibTeX
- Erik D. Demaine, Rudolf Fleischer, Aviezri S. Fraenkel, Richard J. Nowakowski:
Appendix B: Open problems at the 2002 Dagstuhl Seminar on Algorithmic Combinatorial Game Theory.
539-543
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:24:55 2009
by Michael Ley (ley@uni-trier.de)