Publications

Export 117 results:
Type [ Year(Desc)]
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)
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.
2012
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, 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)
Bortolussi L, Tribastone M.  2012.  Fluid limits of queueing networks with batches. ICPE 2012. :45–56. (576.43 KB)
Bortolussi L, Hillston J.  2012.  Fluid Model Checking. 22th International Conference on Concurrency Theory, CONCUR 2012. 7454:333–347. (561.29 KB)
Bortolussi L, Hillston J.  2012.  Fluid Model Checking. CoRR ArXiv.
Bortolussi L.  2012.  Hybrid Behaviour of Markov Population Models. CoRR ArXiv.
Bortolussi L, Galpin V, Hillston J.  2012.  Hybrid performance modelling of opportunistic networks. QAPL 2012. 85:106–121.
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)

Pages