Conferences in DBLP

(ab)
2007 (conf/ab/2007)

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