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