Publications
Tales of Spatiality in stochastic Concurrent Constraint Programming. Bio Logical 2009. :42–52.
(249.93 KB)
.
2009. 
On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation. Sixth International Workshop on Quantitative Aspects of Programming Languages, QAPL 2008). 220:161–175.
.
2008. .
2008. A Criterion for the Stochasticity of Matrices with Specified Order Relations. Rendiconti dell'Istituto di Matematica dell'Università di Trieste. 40:55–64.
.
2008. Hybrid approximation of stochastic process algebras for systems biology. 17th IFAC World Congress. 17:n/a–n/a.
.
2008. Hybrid Semantics for Stochastic π-calculus. Algebraic Biology, AB2008. 5147:40–57.
.
2008. Hybrid Systems and Biology.Continuous and Discrete Modeling for Systems Biology. Formal Methods For Computational System Biology. 5016:424–448.
.
2008. HYPE Applied to the Modelling of Hybrid Biological Systems. 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV). 218:33–51.
.
2008. Measures of fuzzy disarray in linguistic typology. 12th conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2008. :167–172.
.
2008. Modeling Biological Systems in Stochastic Concurrent Constraint Programming. Constraints. 13(1):66–90.
.
2008. 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. WCB 2007. :1–9.
.
2007. Constraint-based simulation of biological systems described by Molecular Interaction Maps. IEEE BIBM 2007. :288–293.
.
2007. Constraint-based simulation of biological systems described by Molecular Interaction Maps. CILC 2007.
.
2007. Hamming-like distances for ill-defined strings in linguistic classification. Rendiconti dell'Istituto di Matematica dell'Università di Trieste. 39:105–118.
.
2007. Hybrid approximation of Stochastic Concurrent Constraint Programming. PASTA 2007. :39–42.
.
2007. Maximum possibility vs. maximum likelihood decisions. Linz Seminar 2007. :12–17.
.
2007. Multi-Agent Protein Structure Prediction. Multiagent And Grid Systems. 3
.
2007. Scoring predictive models using a reduced representation of proteins: model and energy definition. BMC Structural Biology. 7
.
2007. Stochastic Concurrent Constraint Programming and Differential Equations. Fifth Workshop on Quantitative Aspects of Programming Languages (QAPL 2007). 190:27–42.
.
2007. 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.