Publications

Export 117 results:
[ Type(Desc)] Year
Conference Paper
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