Publications

Export 117 results:
Type [ Year(Asc)]
2012
Bartocci E, Bortolussi L.  2012.  Proceedings First International Workshop on Hybrid Systems and Biology. Electronic Proceedings In Theoretical Computer Science. 92:1–166.
Bortolussi L, Dinu LP, Sgarro A.  2012.  Spearman Permutation Distances and Shannon's Distinguishability. Fundamenta Informaticae. 118:245–252.
Borelli M, Zanconati F., Bortolussi L, Giudici F., Barbati G., Torelli L.  2012.  Statistics and histopathology: a mixed-effects model approach to digital image analysis. Pathologica. 104:161–162.
Bortolussi L, Policriti A.  2012.  Studying cancer-cell populations by programmable models of networks. Network Modeling Analysis In Health Informatics And Bioinformatics. 1:117–133. (9.91 MB)
2011
Bortolussi L, Dinu LP, Sgarro A.  2011.  Geometry of strings and possibilistic coding. 14th Conference on Applied Stochastic Models and Data Analysis (ASMDA2011). :na–na.
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.  2011.  Hybrid Limits of Continuous Time Markov Chains. 8th International Conference on Quantitative Evaluation of SysTems, QEST 2011. :3–12. (1015.88 KB)
Bortolussi L, Galpin V, Hillston J.  2011.  HYPE with stochastic events. QAPL 2011. 57:120–133.
Bortolussi L, Sgarro A.  2011.  Language Sampling for Universal Grammars. Rendiconti dell'Istituto di Matematica dell'Università di Trieste. 43:95–110.
Bortolussi L, Policriti A.  2011.  Programmable models of growth and mutation of cancer-cell populations. COMPMOD 2011. 67:19--33.
Bortolussi L.  2011.  A Rough guide to Hybrid Limits of Continuous Time Markov Chains. PASTA 2011. :74–79.
2010
Bortolussi L, Policriti A.  2010.  Hybrid Dynamics of Stochastic Programs. Theoretical Computer Science. 411/20:2052–2077. (4.54 MB)
Bortolussi L, Galpin V, Hillston J, M. T.  2010.  Hybrid Semantics for PEPA. Seventh International Conference on the Quantitative Evaluation of Systems (QEST 2010). :181–190. (233.46 KB)
Bortolussi L.  2010.  Limit behavior of the hybrid approximation of Stochastic Process Algebras. 17th International Conference on Analytical and Stochastic Modeling Techniques and Applications (ASMTA 2010). :367–381. (584.23 KB)
Bortolussi L, Galpin V, Hillston J.  2010.  Modeling Hybrid Systems with Stochastic Events in HYPE. PASTA 2010. :24–28.
Bortolussi L, Policriti A.  2010.  Perspectives on Constraints, Process Algebras, and Hybrid Systems.. WCB 2010. :69–75. (131.69 KB)
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)
2009
Bortolussi L, Vigliotti MG.  2009.  CoBiC: Context-dependent Bioambient Calculus. QAPL 2009. 253:187–201. (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. (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. (1.76 MB)
Bortolussi L, Policriti A.  2009.  Hybrid Dynamics of Stochastic pi-calculus. Mathematics In Computer Science. 2:465–491.
Bortolussi L, Policriti A.  2009.  Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration.. COMPMOD 2009. 6:63–76.
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.
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.
Bortolussi L, Policriti A.  2009.  Stochastic Programs and Hybrid Automata for (Biological) Modeling.. Computability in Europe, CiE 2009. 5635:37–48.

Pages