Bortolussi L, Fonda S, Policriti A.  2007.  Constraint-based simulation of biological systems described by Molecular Interaction Maps. WCB 2007. :1–9.

• Google Scholar
• BibTeX

Bortolussi L, Sgarro A.  2007.  Hamming-like distances for ill-defined strings in linguistic classification. Rendiconti dell'Istituto di Matematica dell'Università di Trieste. 39:105–118.

• Google Scholar
• BibTeX

Bortolussi L, Policriti A.  2007.  Hybrid approximation of Stochastic Concurrent Constraint Programming. PASTA 2007. :39–42.

• Google Scholar
• BibTeX

Bortolussi L, Borelli M, Sgarro A.  2007.  Maximum possibility vs. maximum likelihood decisions. Linz Seminar 2007. :12–17.

• Google Scholar
• BibTeX

Bortolussi L, Dovier A, Fogolari F.  2007.  Multi-Agent Protein Structure Prediction. Multiagent And Grid Systems. 3

• Google Scholar
• BibTeX

Fogolari F, Pieri L, Dovier A, Bortolussi L, Giuliarelli G, Corazza A, Esposito G, Viglino P.  2007.  Scoring predictive models using a reduced representation of proteins: model and energy definition. BMC Structural Biology. 7

• Google Scholar
• BibTeX

Bortolussi L, Policriti A.  2007.  Stochastic Concurrent Constraint Programming and Differential Equations. Fifth Workshop on Quantitative Aspects of Programming Languages (QAPL 2007). 190:27–42.

• DOI
• Google Scholar
• BibTeX

Bortolussi L.  2008.  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.

• DOI
• Google Scholar
• BibTeX

Bortolussi L.  2008.  Computational Systems Biology With Constraints. Stochastic modeling of biological systems with concurrent constraint programming..

• Google Scholar
• BibTeX

Bortolussi L, Sgarro A.  2008.  A Criterion for the Stochasticity of Matrices with Specified Order Relations. Rendiconti dell'Istituto di Matematica dell'Università di Trieste. 40:55–64.

• Google Scholar
• BibTeX

Bortolussi L, Policriti A.  2008.  Hybrid approximation of stochastic process algebras for systems biology. 17th IFAC World Congress. 17:n/a–n/a.

• DOI
• Google Scholar
• BibTeX

Bortolussi L, Policriti A.  2008.  Hybrid Semantics for Stochastic π-calculus. Algebraic Biology, AB2008. 5147:40–57.

• DOI
• Google Scholar
• BibTeX

Bortolussi L, Policriti A.  2008.  Hybrid Systems and Biology.Continuous and Discrete Modeling for Systems Biology. Formal Methods For Computational System Biology. 5016:424–448.

• Google Scholar
• BibTeX

Galpin V, Bortolussi L, Hillston J.  2008.  HYPE Applied to the Modelling of Hybrid Biological Systems. 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV). 218:33–51.

• DOI
• Google Scholar
• BibTeX

Bortolussi L, Dinu LP, Sgarro A.  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.

• Google Scholar
• BibTeX

Bortolussi L, Policriti A.  2008.  Modeling Biological Systems in Stochastic Concurrent Constraint Programming. Constraints. 13(1):66–90.

• DOI
• Google Scholar
• BibTeX

Bortolussi L, Vigliotti MG.  2009.  CoBiC: Context-dependent Bioambient Calculus. QAPL 2009. 253:187–201.

• DOI
• Google Scholar
• BibTeX

 (525.16 KB)

Bortolussi L, Policriti A.  2009.  Dynamical Compartments in stochastic Concurrent Constraint Programming.. Fifth Workshop on Constraint Based Methods for Bioinformatics, WBC2009. :9–18.

• Google Scholar
• BibTeX

 (196.82 KB)

Bortolussi L, Policriti A.  2009.  Dynamical Systems and Stochastic Programming - From Ordinary Differential Equations and Back.. Transactions On Computational Systems Biology. 11:216–267.

• DOI
• Google Scholar
• BibTeX

 (1.76 MB)

Bortolussi L, Policriti A.  2009.  Hybrid Dynamics of Stochastic pi-calculus. Mathematics In Computer Science. 2:465–491.

• Google Scholar
• BibTeX

Bortolussi L, Policriti A.  2009.  Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration.. COMPMOD 2009. 6:63–76.

• DOI
• Google Scholar
• BibTeX

Galpin V, Bortolussi L, Hillston J.  2009.  HYPE: a Process Algebra for Compositional Flows and Emergent Behavior.. 20th International Conference on Concurrency Theory. :305–320.

• DOI
• Google Scholar
• BibTeX

Bortolussi L, Policriti A.  2009.  The importance of being (a little bit) discrete. Second Workshop From Biology to Concurrency and Back (FBTC 2008). 229:75–92.

• DOI
• Google Scholar
• BibTeX

Bortolussi L, Policriti A.  2009.  Stochastic Programs and Hybrid Automata for (Biological) Modeling.. Computability in Europe, CiE 2009. 5635:37–48.

• DOI
• Google Scholar
• BibTeX

Bortolussi L, Policriti A.  2009.  Tales of Spatiality in stochastic Concurrent Constraint Programming. Bio Logical 2009. :42–52.

• Google Scholar
• BibTeX

 (249.93 KB)