The SCEAS System
Navigation Menu

Conferences in DBLP

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 H2/Hinfinity 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]
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002