Publications

Export 117 results:
[ Type(Desc)] Year
Book Chapter
Bortolussi L, Hillston J.  2013.  Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation. Formal Methods for Dynamical Systems. 7938:113–149. (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. (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.
Conference Paper
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.
Bortolussi L, Fabris F, Policriti A.  2005.  Bundled Suffix Trees. BITS 2005.
Bortolussi L, Fabris F, Policriti A.  2006.  BuST-Bundled Suffix Trees. IFIP conference on Theoretical Computer Science, IFIP-TCS 2006. 209:91–102.
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.
Bortolussi L, Sgarro A.  2006.  Channel Models for DNA Word Design. SIMAI 2006. :34–34.
Bortolussi L, Vigliotti MG.  2009.  CoBiC: Context-dependent Bioambient Calculus. QAPL 2009. 253:187–201. (525.16 KB)
Bortolussi L.  2005.  Concurrent Methodologies for Global Optimization. 21st International Conference Logic Programming (ICLP 2005). 3368:441–443.
Bortolussi L, Policriti A.  2006.  Connecting Process Algebras and Differential Equations for Systems Biology. PASTA 2006. :1–17.
Bortolussi L, Sgarro A.  2005.  Constraint Satisfaction Problems on DNA Strings. WCB 2005. :11–18.
Bortolussi L, Fonda S, Policriti A.  2007.  Constraint-based simulation of biological systems described by Molecular Interaction Maps. IEEE BIBM 2007. :288–293.
Bortolussi L, Fonda S, Policriti A.  2007.  Constraint-based simulation of biological systems described by Molecular Interaction Maps. CILC 2007.
Bortolussi L, Fonda S, Policriti A.  2007.  Constraint-based simulation of biological systems described by Molecular Interaction Maps. WCB 2007. :1–9.
Bortolussi L, Dal Palu A, Dovier A.  2004.  Constraint-based tools for protein folding. CILC 2004. :365–367.
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. (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. (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.
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.
Bortolussi L, Policriti A.  2009.  Dynamical Compartments in stochastic Concurrent Constraint Programming.. Fifth Workshop on Constraint Based Methods for Bioinformatics, WBC2009. :9–18. (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.
Bortolussi L, Hillston J.  2012.  Fluid Approximation of CTMC with Deterministic Delays. Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012. :53–62. (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. (340.47 KB)

Pages