Publications

Bock C, Bortolussi L, Krüger T, Mikeev L, Wolf V. 2015. Model-Based Whole-Genome Analysis of DNA Methylation Fidelity. Hybrid Systems and Biology (HSB). 9271:141–155.

(3.5 MB)

Bortolussi L, Policriti A. 2006. Modeling Biological Systems in Stochastic Concurrent Constraint Programming. WCB 2006. :6–29.

Bortolussi L, Galpin V, Hillston J. 2010. Modeling Hybrid Systems with Stochastic Events in HYPE. PASTA 2010. :24–28.

Bortolussi L, Dovier A, Fogolari F. 2005. Multi-Agent Simulation of Protein Folding. MAS-BIOMED 2005. :91–106.

Bortolussi L, Policriti A. 2010. Perspectives on Constraints, Process Algebras, and Hybrid Systems.. WCB 2010. :69–75.

(131.69 KB)

Bortolussi L, Sgarro A. 2006. Possibilistic channels for DNA word design. Soft Methods for Integrated Uncertainty Modelling.

Bortolussi L, Sgarro A. 2010. Possibilistic coding: error detection vs. error correction. Combining Soft Computing and Statistical Methods in Data Analysis. 77:41–48.

(127.99 KB)

Bortolussi L, Policriti A. 2011. Programmable models of growth and mutation of cancer-cell populations. COMPMOD 2011. 67:19--33.

Bortolussi L, Dal Palu A, Dovier A, Fogolari F. 2004. Protein Folding Simulation in CCP. 2nd Workshop On Concurrent Models In Molecular Biology, BIOCONCUR 2004. :110–123.

Bortolussi L, Dal Palu A, Dovier A, Fogolari F. 2004. Protein Folding Simulation in CCP. AI*IA 2004. :86–86.

Nenzi L, Bortolussi L, Ciancia V, Loreti M, Massink M. 2015. Qualitative and quantitative monitoring of spatio-temporal properties. Runtime Verification (RV). 9333:21–37.

(775.26 KB)

Bartocci E, Bortolussi L, Nenzi L, Sanguinetti G. 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)

Bartocci E, Bortolussi L, Nenzi L, Sanguinetti G. 2013. On the Robustness of Temporal Properties for Stochastic Models. Proceedings Second International Workshop on Hybrid Systems and Biology. 125:3-19.

Bortolussi L. 2011. A Rough guide to Hybrid Limits of Continuous Time Markov Chains. PASTA 2011. :74–79.

Bortolussi L, Krüger T, Wolf V. 2015. Rule-Based Modelling and Simulation of Drug-Administration Policies. Modeling and Simulation in Medicine Symposium (MSM 2015). :53–60.

(477.5 KB)

Bortolussi L, Nenzi L. 2015. Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic. VALUETOOLS2014. 1(4)

(380.08 KB)

Fogolari F, Pieri L, Bortolussi L, Dovier A. 2006. A statistical empirical energy function for proteins. BITS 2006.

Bortolussi L, Lanciani R. 2014. Stochastic Approximation of Global Reachability Probabilities of Markov Population Models. 11th European Workshop on Computer Performance Engineering - {EPEW} 2014 . 8721:224–239.

(412.18 KB)

Bortolussi L. 2006. Stochastic Concurrent Constraint Programming. 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL 2006). 164:65–80.

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.

Bortolussi L, Latella D, Massink M. 2013. Stochastic Process Algebra and Stability Analysis of Collective Systems. Coordination Models and Languages. 7890:1–15.

(399.44 KB)

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

Bartocci E, Bortolussi L, Milios D, Nenzi L, Sanguinetti G. 2015. Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic. Hybrid Systems and Biology (HSB). 9271:156–172.

(1.1 MB)

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

(249.93 KB)

Bartocci E, Bortolussi L, Nenzi L. 2013. A temporal logic approach to modular design of synthetic biological circuits. 11th Conference on Computational Methods in Systems Biology, CMSB 2013 . 8130:164-177.

(580.77 KB)

Pages