Algorithms for Inference, Analysis and Control of Boolean Networks. [Citation Graph (, )][DBLP]
Tutorial on Model Checking: Modelling and Verification in Computer Science. [Citation Graph (, )][DBLP]
Differential Algebra and System Modeling in Cellular Biology. [Citation Graph (, )][DBLP]
Hybrid Semantics for Stochastic pi-Calculus. [Citation Graph (, )][DBLP]
Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits. [Citation Graph (, )][DBLP]