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

• Google Scholar
• BibTeX

Bortolussi L, Hillston J.  2013.  Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation. Formal Methods for Dynamical Systems. 7938:113–149.

• DOI
• Google Scholar
• BibTeX

 (823.71 KB)

Bortolussi L, Sgarro A, Longobardi G, Guardiano C.  2011.  How Many Possible Languages Are There? Biology, Computation and Linguistics - New Interdisciplinary Paradigms. :168–179.

• DOI
• Google Scholar
• BibTeX

 (720.03 KB)

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

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, Fabris F, Policriti A.  2005.  Bundled Suffix Trees. BITS 2005.

• Google Scholar
• BibTeX

Bortolussi L, Fabris F, Policriti A.  2006.  BuST-Bundled Suffix Trees. IFIP conference on Theoretical Computer Science, IFIP-TCS 2006. 209:91–102.

• DOI
• Google Scholar
• BibTeX

Bortolussi L, De Nicola R, Galpin V, Gilmore S, Hillston J, Latella D, Loreti M, Massink M.  2015.  CARMA: Collective Adaptive Resource-sharing Markovian Agents. Quantitative Aspects of Programming Languages and Systems (QAPL). 194:16–31.

• DOI
• Google Scholar
• BibTeX

Bortolussi L, Sgarro A.  2006.  Channel Models for DNA Word Design. SIMAI 2006. :34–34.

• 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.  2005.  Concurrent Methodologies for Global Optimization. 21st International Conference Logic Programming (ICLP 2005). 3368:441–443.

• DOI
• Google Scholar
• BibTeX

Bortolussi L, Policriti A.  2006.  Connecting Process Algebras and Differential Equations for Systems Biology. PASTA 2006. :1–17.

• Google Scholar
• BibTeX

Bortolussi L, Sgarro A.  2005.  Constraint Satisfaction Problems on DNA Strings. WCB 2005. :11–18.

• Google Scholar
• BibTeX

Bortolussi L, Fonda S, Policriti A.  2007.  Constraint-based simulation of biological systems described by Molecular Interaction Maps. CILC 2007.

• Google Scholar
• BibTeX

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, Fonda S, Policriti A.  2007.  Constraint-based simulation of biological systems described by Molecular Interaction Maps. IEEE BIBM 2007. :288–293.

• Google Scholar
• BibTeX

Bortolussi L, Dal Palu A, Dovier A.  2004.  Constraint-based tools for protein folding. CILC 2004. :365–367.

• Google Scholar
• BibTeX

Bartocci E, Bortolussi L, Sanguinetti G.  2014.  Data-Driven Statistical Learning of Temporal Logic Properties. 12th International Conference on Formal Modeling and Analysis of Timed Systems, {FORMATS} 2014.. 8711:23–37.

• DOI
• Google Scholar
• BibTeX

 (1.25 MB)

Bortolussi L, Tribastone M.  2013.  Differential Analysis of Interacting Automata with Immediate Actions. 7th International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2013. :49-58.

• DOI
• Google Scholar
• BibTeX

 (519.4 KB)

Bortolussi L, Wiklicky H.  2005.  A Distributed and Probabilistic Concurrent Constraint Programming Language. 21st International Conference Logic Programming (ICLP 2005). 3368:143–158.

• DOI
• Google Scholar
• BibTeX

Pourranjbar A, Hillston J, Bortolussi L.  2012.  Don't Just Go with the Flow: Cautionary Tales of Fluid Flow Approximation. 9th European Workshop on Computer Performance Engineering, EPEW 2012, and 28th UK Workshop on Computer Performance Engineering, UKPEW 2012. 7587:156–171.

• DOI
• Google Scholar
• BibTeX

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, Hillston J.  2015.  Efficient Checking of Individual Rewards Properties in Markov Population Models. Quantitative Aspects of Programming Languages and Systems (QAPL). 194:32–47.

• DOI
• Google Scholar
• BibTeX

Bortolussi L, Hillston J.  2012.  Fluid Approximation of CTMC with Deterministic Delays. Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012. :53–62.

• DOI
• Google Scholar
• BibTeX

 (1.57 MB)

Houdt B.V, Bortolussi L.  2012.  Fluid limit of an asynchronous optical packet switch with shared per link full range wavelength conversion. ACM SIGMETRICS/PERFORMANCE. :113–124.

• DOI
• Google Scholar
• BibTeX

 (340.47 KB)