International Journal of Foundations of Computer Science, Volume 18

Volume 18, Number 1, February 2007

• Doron Peled, Yih-Kuen Tsay:
  Preface. 1-4
  Electronic Edition (link) BibTeX
• Ittai Balaban, Amir Pnueli, Lenore D. Zuck:
  Modular Ranking Abstraction. 5-44
  Electronic Edition (link) BibTeX
• Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster:
  Verifying Very Large Industrial Circuits Using 100 Processes and Beyond. 45-62
  Electronic Edition (link) BibTeX
• Werner Damm, Guilherme Pinto, Stefan Ratschan:
  Guaranteed Termination in the Verification of Ltl Properties of Non-linear Robust Discrete Time Hybrid Systems. 63-86
  Electronic Edition (link) BibTeX
• Stéphane Demri, David Nowak:
  Reasoning about Transfinite Sequences. 87-112
  Electronic Edition (link) BibTeX
• Sven Schewe, Bernd Finkbeiner:
  Semi-automatic Distributed Synthesis. 113-138
  Electronic Edition (link) BibTeX

• Tobias Lauer, Thomas Ottmann, Amitava Datta:
  Update-efficient Data Structures for Dynamic Ip Router Tables. 139-162
  Electronic Edition (link) BibTeX
• Artiom Alhazov, Yurii Rogozhin, Sergey Verlan:
  Minimal Cooperation in Symport/antiport Tissue P Systems. 163-180
  Electronic Edition (link) BibTeX
• Juha Honkala:
  The D0l omega-equivalence Problem. 181-194
  Electronic Edition (link) BibTeX