Acta Informatica, Volume 45

Volume 45, Number 1, February 2008

• Symeon Bozapalidis:
  Picture deformation. 1-31
  Electronic Edition (link) BibTeX
• Amr Elmasry, Michael L. Fredman:
  Adaptive sorting: an information theoretic perspective. 33-42
  Electronic Edition (link) BibTeX
• Zhenhua Duan, Cong Tian, Li Zhang:
  A decision procedure for propositional projection temporal logic with infinite models. 43-78
  Electronic Edition (link) BibTeX

Volume 45, Number 2, April 2008

• Iwona Cieslik:
  On-line graph coloring of P₅-free graphs. 79-91
  Electronic Edition (link) BibTeX
• Matteo Magnani, Danilo Montesi:
  Management of interval probabilistic data. 93-130
  Electronic Edition (link) BibTeX
• Tomás Brázdil, Antonín Kucera, Oldrich Strazovský:
  Deciding probabilistic bisimilarity over infinite-state probabilistic systems. 131-154
  Electronic Edition (link) BibTeX

Volume 45, Number 3, May 2008

• Leah Epstein, Asaf Levin, Rob van Stee:
  Two-dimensional packing with conflicts. 155-175
  Electronic Edition (link) BibTeX
• Martin Kutrib, Andreas Malcher, Detlef Wotschke:
  The Boolean closure of linear context-free languages. 177-191
  Electronic Edition (link) BibTeX
• Amr Elmasry, Claus Jensen, Jyrki Katajainen:
  Two-tier relaxed heaps. 193-210
  Electronic Edition (link) BibTeX
• Rudolf Berghammer:
  Applying relation algebra and Rel View to solve problems on orders and lattices. 211-236
  Electronic Edition (link) BibTeX

Volume 45, Number 4, June 2008

• Nicolas Broutin, Luc Devroye, E. McLeish:
  Weighted height of random trees. 237-277
  Electronic Edition (link) BibTeX
• Ryszard Janicki:
  Relational structures model of concurrency. 279-320
  Electronic Edition (link) BibTeX

Volume 45, Number 5, July 2008

• Larissa Meinicke, Ian J. Hayes:
  Algebraic reasoning for probabilistic action systems and while-loops. 321-382
  Electronic Edition (link) BibTeX
• Robert Brijder, Hendrik Jan Hoogeboom:
  The fibers and range of reduction graphs in ciliates. 383-402
  Electronic Edition (link) BibTeX

Volume 45, Number 6, August 2008

• Benny Godlin, Ofer Strichman:
  Inference rules for proving the equivalence of recursive procedures. 403-439
  Electronic Edition (link) BibTeX
• Joseph M. Morris, Malcolm Tyrrell:
  Modelling higher-order dual nondeterminacy. 441-465
  Electronic Edition (link) BibTeX

Volume 45, Numbers 7-8, December 2008

• Chen-Ming Fan, Cheng-Chih Huang, Huei-Jan Shyr:
  Regular autodense languages. 467-477
  Electronic Edition (link) BibTeX
• Ferruccio Damiani, Elena Giachino, Paola Giannini, Sophia Drossopoulou:
  A type safe state abstraction for coordination in Java -like languages. 479-536
  Electronic Edition (link) BibTeX
• Hanna Klaudel, Franck Pommereau:
  M-nets: a survey. 537-564
  Electronic Edition (link) BibTeX
• Sebastian Link:
  Charting the completeness frontier of inference systems for multivalued dependencies. 565-591
  Electronic Edition (link) BibTeX
• Alexander Meduna, Jirí Techet:
  Scattered context grammars that erase nonterminals in a generalized k -limited way. 593-608
  Electronic Edition (link) BibTeX