Publications
.
2003.
On the Robustness of Temporal Properties for Stochastic Models. 2nd International Workshop on Hybrid Systems and Biology, HSB 2013. 125:3-19.
(1.3 MB)
.
2003. 
Constraint-based tools for protein folding. CILC 2004. :365–367.
.
2004. Fuzzy Integrals and Error Correction in a Telephone Network with Sensitive Users. IPMU 2004. :1503–1508.
.
2004. Fuzzy Possibilities as Upper Previsions. International Journal Of Uncertainty, Fuzziness And Knowledge Based Systems. 12:559–574.
.
2004. Protein Folding Simulation in CCP. 2nd Workshop On Concurrent Models In Molecular Biology, BIOCONCUR 2004. :110–123.
.
2004. Protein Folding Simulation in CCP. AI*IA 2004. :86–86.
.
2004. Agent-based Protein Folding Simulation. Intelligenza Artificiale.
.
2005. Bundled Suffix Trees. BITS 2005.
.
2005. Concurrent Methodologies for Global Optimization. 21st International Conference Logic Programming (ICLP 2005). 3368:441–443.
.
2005. Constraint Satisfaction Problems on DNA Strings. WCB 2005. :11–18.
.
2005. A Distributed and Probabilistic Concurrent Constraint Programming Language. 21st International Conference Logic Programming (ICLP 2005). 3368:143–158.
.
2005. Multi-Agent Simulation of Protein Folding. MAS-BIOMED 2005. :91–106.
.
2005. BuST-Bundled Suffix Trees. IFIP conference on Theoretical Computer Science, IFIP-TCS 2006. 209:91–102.
.
2006. Channel Models for DNA Word Design. SIMAI 2006. :34–34.
.
2006. Codeword Distinguishability in Minimum Diversity Decoding. Journal Of Discrete Mathematical Sciences And Cryptography. 9:487–502.
.
2006. Connecting Process Algebras and Differential Equations for Systems Biology. PASTA 2006. :1–17.
.
2006. Fuzzy Codebooks for DNA Word Design. IPMU 2006.
.
2006. .
2006. Possibilistic channels for DNA word design. Soft Methods for Integrated Uncertainty Modelling.
.
2006. .
2006. Stochastic Concurrent Constraint Programming. 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL 2006). 164:65–80.
.
2006. Constraint-based approaches to stochastic dynamics of biological systems. Department of Mathematics and Computer Science, University of Udine. PhD in Computer Science
(13.64 MB)
.
2007. 
Constraint-based simulation of biological systems described by Molecular Interaction Maps. CILC 2007.
.
2007. Constraint-based simulation of biological systems described by Molecular Interaction Maps. IEEE BIBM 2007. :288–293.
.
2007.