Relating stochastic process algebras and differential equations for biological modeling Journal Article
In: Proceedings of PASTA, vol. 2006, 2006.
Multi-agent simulation of protein folding Inproceedings
In: Proceedings of the first international workshop on multi-agent systems for medicine, computational biology, and bioinformatics, 2005.
A distributed and probabilistic concurrent constraint programming language Inproceedings
In: International Conference on Logic Programming, pp. 143–158, Springer, Berlin, Heidelberg 2005.
Constraint satisfaction problems on DNA strings Inproceedings
In: Proceedings of WCB05 Workshop on Constraint Based Methods for Bioinformatics, pp. 11, 2005.
Concurrent methodologies for global optimization Inproceedings
In: International Conference on Logic Programming, pp. 441–443, Springer, Berlin, Heidelberg 2005.
Bundled suffix trees Inproceedings
In: Annual meeting of the Bioinformatics Italian Society, pp. n–d, Societ`a Italiana di Bioinformatica 2005.
Protein folding simulation in CCP Inproceedings
In: Proceedings of BioConcur, 2004.
Fuzzy Integrals and Error Correction in a Telephone Network with Sensitive Users Journal Article
In: Proceedings IPMU-2004, 2004.
Fuzzy possibilities as upper previsions Journal Article
In: International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, vol. 12, no. 05, pp. 559–574, 2004.
Constraint-based tools for protein folding Inproceedings
In: Convegno Italiano di Logica Computazionale, pp. 365–367, Universit`a di Parma 2004.
Bisimulation for stochastic hybrid models Journal Article
In: QEST 2011: Fast Abstracts, pp. 3, 0000.