- 2009
- Juan Gerardo Alcázar
:
Good Local Behavior of Offsets to Implicit Algebraic Curves. Math. Comput. Sci. 2(4): 635-652 (2009) - Hirokazu Anai, Katsuhisa Horimoto:
Foreword. Math. Comput. Sci. 2(3): 399-400 (2009) - Luca Bortolussi
, Alberto Policriti:
Hybrid Dynamics of Stochastic pi-Calculus. Math. Comput. Sci. 2(3): 465-491 (2009) - François Boulier, François Lemaire, Alexandre Sedoglavic
, Asli Ürgüplü:
Towards an Automated Reduction Method for Polynomial ODE Models of Biochemical Reaction Systems. Math. Comput. Sci. 2(3): 443-464 (2009) - Marc Hellmuth
, Wilfried Imrich
, Werner Klöckl, Peter F. Stadler
:
Local Algorithms for the Prime Factorization of Strong Product Graphs. Math. Comput. Sci. 2(4): 653-682 (2009) - Silvana Ilie, Robert M. Corless
, Chris Essex:
The Computational Complexity of Extrapolation Methods. Math. Comput. Sci. 2(4): 557-566 (2009) - M'hammed El Kahoui
, Adamou Otto:
Stability of Disease Free Equilibria in Epidemiological Models. Math. Comput. Sci. 2(3): 517-533 (2009) - Deepak Kapur, Yongyang Cai:
An Algorithm for Computing a Gröbner Basis of a Polynomial Ideal over a Ring with Zero Divisors. Math. Comput. Sci. 2(4): 601-634 (2009) - Chris McCaig
, Rachel Norman
, Carron Shankland
:
From Individuals to Populations: A Symbolic Process Algebra Approach to Epidemiology. Math. Comput. Sci. 2(3): 535-556 (2009) - Katsusuke Nabeshima:
Reduced Gröbner Bases in Polynomial Rings over a Polynomial Ring. Math. Comput. Sci. 2(4): 587-599 (2009) - Hanna K. Pikkarainen, Josef Schicho:
A Bayesian Model for Root Computation. Math. Comput. Sci. 2(4): 567-586 (2009) - Heike Siebert:
Deriving Behavior of Boolean Bioregulatory Networks from Subnetwork Dynamics. Math. Comput. Sci. 2(3): 421-442 (2009) - Thomas Sturm
, Andreas Weber
, Essam O. Abdel-Rahman, M'hammed El Kahoui
:
Investigating Algebraic and Logical Algorithms to Solve Hopf Bifurcation Problems in Algebraic Biology. Math. Comput. Sci. 2(3): 493-515 (2009) - Takeyuki Tamura, Tatsuya Akutsu
:
Algorithms for Singleton Attractor Detection in Planar and Nonplanar AND/OR Boolean Networks. Math. Comput. Sci. 2(3): 401-420 (2009) - 2008
- Moody Ebrahem Altamimi, Abdou S. Youssef:
A Math Query Language with an Expanded Set of Wildcards. Math. Comput. Sci. 2(2): 305-331 (2008) - Walaa Aly
, Seiichi Uchida
, Masakazu Suzuki:
Identifying Subscripts and Superscripts in Mathematical Documents. Math. Comput. Sci. 2(2): 195-209 (2008) - Serge Autexier
, Christoph Benzmüller
, Dominik Dietrich, Marc Wagner:
Organization, Transformation, and Propagation of Mathematical Knowledge in Omegamega. Math. Comput. Sci. 2(2): 253-277 (2008) - Angelos Charalambidis
, Athanasios Grivas, Nikolaos S. Papaspyrou
, Panos Rondogiannis:
Efficient Intensional Implementation for Lazy Functional Languages. Math. Comput. Sci. 2(1): 123-141 (2008) - Claudio Sacerdoti Coen
, Stefano Zacchiroli
:
Spurious Disambiguation Errors and How to Get Rid of Them. Math. Comput. Sci. 2(2): 355-378 (2008) - Arjeh M. Cohen, Jan Willem Knopper, Scott H. Murray
:
Automatic Proof of Graph Nonisomorphism. Math. Comput. Sci. 2(2): 211-229 (2008) - James H. Davenport
, Paul Libbrecht:
The Freedom to Extend OpenMath and its Utility. Math. Comput. Sci. 2(2): 379-398 (2008) - Olivier Finkel:
Wadge Degrees of Infinitary Rational Relations. Math. Comput. Sci. 2(1): 85-102 (2008) - Manfred Kerber:
Foreword. Math. Comput. Sci. 2(2): 193-194 (2008) - Michael Kohlhase
:
Using as a Semantic Markup Format. Math. Comput. Sci. 2(2): 279-304 (2008) - Blanca Mancilla, John Plaice:
Possible Worlds Versioning. Math. Comput. Sci. 2(1): 63-83 (2008) - Dominic A. Orchard
, Steve Matthews:
Integrating Lucid's Declarative Dataflow Paradigm into Object-Orientation. Math. Comput. Sci. 2(1): 103-122 (2008) - Mehmet A. Orgun
:
Querying Historical Data Over Multiple Time-Lines. Math. Comput. Sci. 2(1): 165-191 (2008) - Mehmet A. Orgun
, Chuchang Liu, Abhaya C. Nayak
:
Knowledge Representation, Reasoning and Integration Using Temporal Logic with Clocks. Math. Comput. Sci. 2(1): 143-163 (2008) - John Plaice, Blanca Mancilla, Gabriel Ditu:
From Lucid to TransLucid: Iteration, Dataflow, Intensional and Cartesian Programming. Math. Comput. Sci. 2(1): 37-61 (2008) - John Plaice, Mehmet A. Orgun
:
In Honour of Bill Wadge. Math. Comput. Sci. 2(1): 1-3 (2008)