Modeling hybrid systems with stochastic events in HYPE Inproceedings
In: Proceedings of the 9th workshop on process algebra and stochastically timed activities (PASTA), pp. 24–28, 2010.
Perspectives on Constraints, Process Algebras, and Hybrid Systems. Inproceedings
In: WCB@ ICLP, pp. 59–66, 2010.
Possibilistic coding: error detection vs. error correction Incollection
In: Combining Soft Computing and Statistical Methods in Data Analysis, pp. 41–48, Springer, Berlin, Heidelberg, 2010.
A Criterion for the Stochasticity of Matrices with Specified Order Relations Journal Article
In: RIMUT, 2009.
CoBiC: Context-dependent bioambient calculus Journal Article
In: Electronic Notes in Theoretical Computer Science, vol. 253, no. 3, pp. 187–201, 2009.
Dynamical compartments in stochastic concurrent constraint programming Inproceedings
In: Proceedings of WCB09 Workshop on Constraint Based Methods for Bioinformatics, pp. 9, 2009.
Dynamical systems and stochastic programming: To ordinary differential equations and back Incollection
In: Transactions on Computational Systems Biology XI, pp. 216–267, Springer, Berlin, Heidelberg, 2009.
Hybrid Dynamics of Stochastic $pi$-calculus Journal Article
In: Mathematics in Computer Science, vol. 2, no. 3, pp. 465–491, 2009.
Hybrid semantics of stochastic programs with dynamic reconfiguration Journal Article
In: arXiv preprint arXiv:0910.1406, 2009.
Stochastic programs and hybrid automata for (biological) modeling Inproceedings
In: Conference on Computability in Europe, pp. 37–48, Springer, Berlin, Heidelberg 2009.
Tales of spatiality in stochastic concurrent constraint programming Inproceedings
In: Bio Logical 2009, pp. 42–52, AI* IA 2009.
The importance of being (a little bit) discrete Journal Article
In: Electronic Notes in Theoretical Computer Science, vol. 229, no. 1, pp. 75–92, 2009.
A criterion for the stochasticity of matrices with specified order relations Journal Article
In: 2008.
Computational Systems Biology With Constraints. Stochastic modeling of biological systems with concurrent constraint programming. Journal Article
In: 2008.
Hybrid approximation of stochastic process algebras for systems biology Journal Article
In: IFAC Proceedings Volumes, vol. 41, no. 2, pp. 12599–12606, 2008.
Hybrid Semantics for Stochastic $pi$-calculus Inproceedings
In: International Conference on Algebraic Biology, pp. 40–55, Springer, Berlin, Heidelberg 2008.
Hybrid systems and biology Inproceedings
In: International School on Formal Methods for the Design of Computer, Communication and Software Systems, pp. 424–448, Springer, Berlin, Heidelberg 2008.
HYPE applied to the modelling of hybrid biological systems Journal Article
In: Electronic Notes in Theoretical Computer Science, vol. 218, pp. 33–51, 2008.
HYPE: hybrid systems modelled with flows Technical Report
Report EDI-INFRR-1251, School of Informatics, University of Edinburgh 2008.
Measures of fuzzy disarray in linguistic typology Inproceedings
In: Proceedings of IPMU, pp. 167–172, 2008.