default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd AB 2007: Castle of Hagenberg, Austria
- Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia:
Algebraic Biology, Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings. Lecture Notes in Computer Science 4545, Springer 2007, ISBN 978-3-540-73432-1 - 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 V. 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 H2/Hinfinity 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-28 00:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
