2. AB 2007: Castle of Hagenberg, Austria

• Bud Mishra:
  Algebraic Systems Biology: Theses and Hypotheses. 1-14
  
• Abdul Salam Jarrah, Reinhard C. Laubenbacher:
  Discrete Models of Biochemical Networks: The Toric Variety of Nested Canalyzing Functions. 15-22
  
• Gheorghe Paun:
  Membrane Computing as a Framework for Bio-modeling (An Informal Glimpse). 23-35
  
• Heike Siebert, Alexander Bockmayr:
  Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory Networks. 36-50
  
• Alberto Casagrande, Kevin Casey, Rachele Falchi, Carla Piazza, Benedetto Ruperti, Giannina Vizzotto, Bud Mishra:
  Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction. 51-65
  
• François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant, Asli Ürgüplü:
  On Proving the Absence of Oscillations in Models of Genetic Circuits. 66-80
  
• Eugene Asarin, Thierry Cachat, Alexander Seliverstov, Tayssir Touili, Vassily A. Lyubetsky:
  Attenuation Regulation as a Term Rewriting System. 81-94
  
• Levente Kovács, Béla Paláncz:
  Glucose-Insulin Control of Type1 Diabetic Patients in H₂/H_infinity Space Via Computer Algebra. 95-109
  
• Hiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, Katsuhisa Horimoto:
  Exact Parameter Determination for Parkinson's Disease Diagnosis with PET Using an Algebraic Approach. 110-124
  
• Ana Graça, João Marques-Silva, Inês Lynce, Arlindo L. Oliveira:
  Efficient Haplotype Inference with Pseudo-boolean Optimization. 125-139
  
• Igor Zinovik, Daniel Kroening, Yury Chebiryak:
  An Algebraic Algorithm for the Identification of Glass Networks with Periodic Orbits Along Cyclic Attractors. 140-154
  
• Ashish Tiwari, Carolyn L. Talcott, Merrill Knapp, Patrick Lincoln, Keith Laderoute:
  Analyzing Pathways Using SAT-Based Approaches. 155-169
  
• Venkatesh Mysore, Bud Mishra:
  Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks. 170-184
  
• Jittisak Senachak, Mun'delanji Vestergaard, René Vestergaard:
  Cascaded Games. 185-201
  
• Elena Chorukova, Sette Diop, Ivan Simeonov:
  On Differential Algebraic Decision Methods for the Estimation of Anaerobic Digestion Models. 202-216
  
• Ioannis Z. Emiris, Sotirios I. Pantos:
  Protein Structure Prediction Using Residual Dipolar Couplings. 217-231
  
• Céline Kuttler, Cédric Lhoussaine, Joachim Niehren:
  A Stochastic Pi Calculus for Concurrent Objects. 232-246
  
• Maria Luisa Guerriero, Corrado Priami, Alessandro Romanel:
  Modeling Static Biological Compartments with Beta-binders. 247-261
  
• Paolo Baldan, Andrea Bracciali, Linda Brodo, Roberto Bruni:
  Deducing Interactions in Partially Unspecified Biological Systems. 262-276
  
• Alexandre Sedoglavic:
  Reduction of Algebraic Parametric Systems by Rectification of Their Affine Expanded Lie Symmetries. 277-291
  
• Cor A. J. Hurkens, Leo van Iersel, Judith Keijsper, Steven Kelk, Leen Stougie, John Tromp:
  Prefix Reversals on Binary and Ternary Strings. 292-306
  
• Julia Chifman, Sonja Petrovic:
  Toric Ideals of Phylogenetic Invariants for the General Group-Based Model on Claw Trees K _{1, n} . 307-321
  
• Tetsuya Sato, Yoshihiro Yamanishi, Katsuhisa Horimoto, Minoru Kanehisa, Hiroyuki Toh:
  Inference of Protein-Protein Interactions by Using Co-evolutionary Information. 322-333
  
• John Harrison:
  A Short Survey of Automated Reasoning. 334-349
  
• Sachiyo Aburatani:
  Inference of Complex Regulatory Network for the Cell Cycle System in Saccharomyces Cerevisiae. 350-364
  
• Limsoon Wong:
  Manifestation and Exploitation of Invariants in Bioinformatics. 365-377