Acta Informatica, Volume 44

Volume 44, Number 1, April 2007

• Ladislav Vagner, Borivoj Melichar:
  Parallel LL parsing. 1-21
  
• Tian-Shyr Dai, Yuh-Dauh Lyuu:
  An exact subexponential-time lattice algorithm for Asian options. 23-39
  
• John Derrick, Heike Wehrheim:
  On using data abstractions for model checking refinements. 41-71
  
• Ladislav Vagner, Borivoj Melichar:
  Parallel LL parsing. 73
  

Volume 44, Number 2, May 2007

• Jan A. Bergstra, Inge Bethke, Alban Ponse:
  Decision problems for pushdown threads. 75-90
  
• Stefan Kahrs:
  Infinitary rewriting: meta-theory and convergence. 91-121
  
• Wim H. Hesselink:
  A criterion for atomicity revisited. 123-151
  

Volume 44, Numbers 3-4, July 2007

• Lila Kari, Kalpana Mahalingam, Gabriel Thierrin:
  The syntactic monoid of hairpin-free languages. 153-166
  
• Alexander Okhotin:
  Recursive descent parsing for Boolean grammars. 167-189
  
• Vesa Halava, Mika Hirvensalo:
  Improved matrix pair undecidability results. 191-205
  
• Millist W. Vincent, Jixue Liu, Mukesh K. Mohania:
  On the equivalence between FDs in XML and FDs in relations. 207-247
  
• Gilles Geeraerts, Jean-François Raskin, Laurent Van Begin:
  Well-structured languages. 249-288
  

Volume 44, Number 5, September 2007

• Foto N. Afrati, Rada Chirkova, Manolis Gergatsoulis, Vassia Pavlaki:
  View selection for real conjunctive queries. 289-321
  
• Joseph M. Morris, Malcolm Tyrrell:
  Dual unbounded nondeterminacy, recursion, and fixpoints. 323-344
  
• Chuzo Iwamoto, Naoki Hatayama, Yoshiaki Nakashiba, Kenichi Morita, Katsunobu Imai:
  Translational lemmas for DLOGTIME-uniform circuits, alternating TMs, and PRAMs. 345-359
  
• Antonio Bernini, Elisabetta Grazzini, Elisa Pergola, Renzo Pinzani:
  A general exhaustive generation algorithm for Gray structures. 361-376
  

Volume 44, Number 6, October 2007

• Rachele Fuzzati, Massimo Merro, Uwe Nestmann:
  Distributed Consensus, revisited. 377-425
  
• Elizabeth Scott, Adrian Johnstone, Giorgios Economopoulos:
  BRNGLR: a cubic Tomita-style GLR parsing algorithm. 427-461
  

Volume 44, Numbers 7-8, December 2007

• Serge Haddad, Denis Poitrenaud:
  Recursive Petri nets. 463-508
  
• Naomi Nishimura, Prabhakar Ragde, Stefan Szeider:
  Solving #SAT using vertex covers. 509-523
  
• Jan A. Bergstra, C. A. Middelburg:
  Synchronous cooperation for explicit multi-threading. 525-569
  
• Yiwei Jiang, Yong He:
  Optimal semi-online algorithms for preemptive scheduling problems with inexact partial information. 571-590
  
• Toon Calders:
  The complexity of satisfying constraints on databases of transactions. 591-624