Acta Informatica, Volume 43

Volume 43, Number 1, June 2006

• Klaus Indermark, Thomas Noll:
  Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information. 1-43
  
• Jürgen Dingel:
  Compositional Analysis of C/C++ Programs with VeriSoft. 45-71
  

Volume 43, Number 2, August 2006

• Flavio Corradini, Maria Rita Di Berardini, Walter Vogler:
  Fairness of Actions in System Computations. 73-130
  
• Linqiang Pan, Artiom Alhazov:
  Solving HPP and SAT by P Systems with Active Membranes and Separation Rules. 131-145
  

Volume 43, Number 3, October 2006

• Amrinder Arora, Fanchun Jin, Gokhan Sahin, Hosam Mahmoud, Hyeong-Ah Choi:
  Throughput analysis in wireless networks with multiple users and multiple channels. 147-164
  
• Tero Harju, Dirk Nowotka:
  Periods in Extensions of Words. 165-171
  
• Zheng-Zhu Li, Huei-Jan Shyr, Y. S. Tsai:
  Classifications of Dense Languages. 173-194
  
• Wim H. Hesselink:
  Refinement verification of the lazy caching algorithm. 195-222
  

Volume 43, Number 4, November 2006

• Henning Bordihn, Markus Holzer:
  Programmed grammars and their relation to the LBA problem. 223-242
  
• Rafik Aguech, Nabil Lasmar, Hosam M. Mahmoud:
  Distances in random digital search trees. 243-264
  
• Arnaud Carayol, Antoine Meyer:
  Linearly bounded infinite graphs. 265-292
  

Volume 43, Number 5, December 2006

• José M. Amigó:
  Representing the integers with powers of 2 and 3. 293-306
  
• Victor Khomenko, Alex Kondratyev, Maciej Koutny, Walter Vogler:
  Merged processes: a new condensed representation of Petri net behaviour. 307-330
  
• Artiom Alhazov, Carlos Martín-Vide, Yurii Rogozhin:
  On the number of nodes in universal networks of evolutionary processors. 331-339
  
• José R. Paramá, Nieves R. Brisaboa, Miguel R. Penabad, Ángeles S. Places:
  A semantic approach to optimize linear datalog programs. 341-370
  

Volume 43, Number 6, January 2007

• Wim Janssen, Alexandr Korlyukov, Jan Van den Bussche:
  On the tree-transformation power of XSLT. 371-393
  
• Stavros Konstantinidis, Nicolae Santean, Sheng Yu:
  Representation and uniformization of algebraic transductions. 395-417
  
• Andrew M. Gravell:
  Verification conditions are code. 431-447
  

Volume 43, Number 7, February 2007

• Ernst-Rüdiger Olderog, Anders P. Ravn:
  Editorial: Hybrid Systems. 449-450
  
• Eugene Asarin, Thao Dang, Antoine Girard:
  Hybridization methods for the analysis of nonlinear systems. 451-476
  
• Paulo Tabuada:
  Symbolic models for control systems. 477-500
  
• Rafael Wisniewski, Martin Raussen:
  Geometric analysis of nondeterminacy in dynamical systems. 501-519
  

Volume 43, Number 8, March 2007

• James D. Currie, Terry I. Visentin:
  On Abelian 2-avoidable binary patterns. 521-533
  
• Yuxi Fu:
  Fair ambients. 535-594