18 papers:
CAV-2013-BrimCDS #model checking #parametricity #probability #using- Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking (LB, MC, SD, DS), pp. 107–123.
SEFM-2012-NikolicPZ #imperative #modelling #rule-based #simulation- A Rule-Based and Imperative Language for Biochemical Modeling and Simulation (DN, CP, RZ), pp. 16–32.
DAC-2011-ToettcherCTW #analysis #constraints- Biochemical oscillator sensitivity analysis in the presence of conservation constraints (JET, AC, BT, JW), pp. 806–811.
DATE-2011-RoyBC- Waste-aware dilution and mixing of biochemical samples with digital microfluidic biochips (SR, BBB, KC), pp. 1059–1064.
ESOP-2011-JohnLNV #constraints- Biochemical Reaction Rules with Constraints (MJ, CL, JN, CV), pp. 338–357.
- CAV-2011-AndreychenkoMSW #identification #markov #modelling #parametricity
- Parameter Identification for Markov Models of Biochemical Reactions (AA, LM, DS, VW), pp. 83–98.
SAC-2010-ElliottMCOO #database #interface #network #query- Advanced querying interface for biochemical network databases (BE, SM, AC, GÖ, ZMÖ), pp. 1526–1533.
- SAC-2009-LeccaPPS #generative #network #parametricity #probability
- A new probabilistic generative model of parameter inference in biochemical networks (PL, AP, CP, GS), pp. 758–765.
- SAC-2009-ViroliCMZ #adaptation #ecosystem
- A biochemical metaphor for developing eternally adaptive service ecosystems (MV, MC, SM, FZ), pp. 1221–1222.
SFM-2008-DegasperiG #analysis #modelling #probability- Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions (AD, SG), pp. 1–20.
- DAC-2007-FettBR
- Synthesizing Stochasticity in Biochemical Systems (BF, JB, MDR), pp. 640–645.
DLT-2006-EhrenfeuchtR- Computational Nature of Biochemical Reactions (AE, GR), p. 36.
- SAC-2006-Lecca #algorithm #probability #π-calculus
- A time-dependent extension of gillespie algorithm for biochemical stochastic π-calculus (PL), pp. 137–144.
CASE-2005-MeldrumHFSMRPMCDW #analysis- Sample preparation in glass capillaries for high-throughput biochemical analyses (DRM, MH, CHF, MSS, SKM, TTHR, WHP, SEM, DLC, DAD, PJW), pp. 7–12.
LOPSTR-2005-Fages #automaton #constraints #logic- Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM (FF), pp. 1–5.
- SAC-2004-LeccaPLC #predict #probability #π-calculus
- Predicting cell adhesion probability via the biochemical stochastic π-calculus (PL, CP, CL, GC), pp. 211–212.
ICLP-2003-Fages #model checking- Symbolic Model-Checking for Biochemical Systems (FF), p. 102.
ICML-2001-KramerR- Feature Construction with Version Spaces for Biochemical Applications (SK, LDR), pp. 258–265.
