Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Luca Bortolussi
2010 – today
- 2013
[j16]Vashti Galpin, Luca Bortolussi, Jane Hillston: HYPE: Hybrid modelling by composition of flows. Formal Asp. Comput. 25(4): 503-541 (2013)- [j15]Luca Bortolussi, Alberto Policriti: (Hybrid) automata and (stochastic) programsThe hybrid automata lattice of a stochastic program. J. Log. Comput. 23(4): 761-798 (2013)
- [j14]Luca Bortolussi, Jane Hillston, Diego Latella, Mieke Massink: Continuous approximation of collective system behaviour: A tutorial. Perform. Eval. 70(5): 317-349 (2013)
- [c26]Ezio Bartocci, Luca Bortolussi, Laura Nenzi: A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits. CMSB 2013: 164-177
- [c25]Luca Bortolussi, Diego Latella, Mieke Massink: Stochastic Process Algebra and Stability Analysis of Collective Systems. COORDINATION 2013: 1-15
- [c24]Luca Bortolussi, Guido Sanguinetti: Learning and Designing Stochastic Processes from Logical Constraints. QEST 2013: 89-105
- [c23]Luca Bortolussi, Roberta Lanciani: Model Checking Markov Population Models by Central Limit Approximation. QEST 2013: 123-138
- [c22]Luca Bortolussi, Jane Hillston: Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation. SFM 2013: 113-149
- [i6]Luca Bortolussi, Herbert Wiklicky: Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems. CoRR abs/1306.2413 (2013)
- [i5]Ezio Bartocci, Luca Bortolussi, Laura Nenzi: A temporal logic approach to modular design of synthetic biological circuits. CoRR abs/1306.4493 (2013)
- [i4]Luca Bortolussi, Manuela L. Bujorianu, Giordano Pola: Proceedings Third International Workshop on Hybrid Autonomous Systems. CoRR abs/1308.4904 (2013)
- [i3]Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Guido Sanguinetti: On the Robustness of Temporal Properties for Stochastic Models. CoRR abs/1309.0866 (2013)
- 2012
- [j13]Luca Bortolussi, Liviu Petrisor Dinu, Andrea Sgarro: Spearman Permutation Distances and Shannon's Distinguishability. Fundam. Inform. 118(3): 245-252 (2012)
- [c21]
- [c20]Alireza Pourranjbar, Jane Hillston, Luca Bortolussi: Don't Just Go with the Flow: Cautionary Tales of Fluid Flow Approximation. EPEW/UKPEW 2012: 156-171
- [c19]Luca Bortolussi, Jane Hillston: Fluid Approximation of CTMC with Deterministic Delays. QEST 2012: 53-62
- [c18]Benny Van Houdt, Luca Bortolussi: Fluid limit of an asynchronous optical packet switch with shared per link full range wavelength conversion. SIGMETRICS 2012: 113-124
- [c17]
- [c16]Luca Bortolussi, Vashti Galpin, Jane Hillston: Hybrid performance modelling of opportunistic networks. QAPL 2012: 106-121
- [e1]Ezio Bartocci, Luca Bortolussi (Eds.): Proceedings First International Workshop on Hybrid Systems and Biology. EPTCS 92, 2012
- [i2]
- [i1]
- 2011
- [c15]
- [c14]Luca Bortolussi, Alberto Policriti: Programmable models of growth and mutation of cancer-cell populations. CompMod 2011: 19-33
- [c13]
- 2010
- [j12]Luca Bortolussi, Alberto Policriti: Hybrid dynamics of stochastic programs. Theor. Comput. Sci. 411(20): 2052-2077 (2010)
- [c12]Luca Bortolussi: Limit Behavior of the Hybrid Approximation of Stochastic Process Algebras. ASMTA 2010: 367-381
- [c11]Luca Bortolussi, Vashti Galpin, Jane Hillston, Mirco Tribastone: Hybrid Semantics for PEPA. QEST 2010: 181-190
2000 – 2009
- 2009
- [j11]Luca Bortolussi, Alberto Policriti: The Importance of Being (A Little Bit) Discrete. Electr. Notes Theor. Comput. Sci. 229(1): 75-92 (2009)
- [j10]Luca Bortolussi, Maria Grazia Vigliotti: CoBiC: Context-dependent Bioambient Calculus. Electr. Notes Theor. Comput. Sci. 253(3): 187-201 (2009)
- [j9]Luca Bortolussi, Alberto Policriti: Hybrid Dynamics of Stochastic pi-Calculus. Mathematics in Computer Science 2(3): 465-491 (2009)
- [j8]Luca Bortolussi, Alberto Policriti: Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back. T. Comp. Sys. Biology 11: 216-267 (2009)
- [c10]Luca Bortolussi, Alberto Policriti: Stochastic Programs and Hybrid Automata for (Biological) Modeling. CiE 2009: 37-48
- [c9]Vashti Galpin, Luca Bortolussi, Jane Hillston: HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour. CONCUR 2009: 305-320
- [c8]Luca Bortolussi, Alberto Policriti: Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration. COMPMOD 2009: 63-76
- 2008
- [j7]Luca Bortolussi, Alberto Policriti: Modeling Biological Systems in Stochastic Concurrent Constraint Programming. Constraints 13(1-2): 66-90 (2008)
- [j6]Vashti Galpin, Jane Hillston, Luca Bortolussi: HYPE Applied to the Modelling of Hybrid Biological Systems. Electr. Notes Theor. Comput. Sci. 218: 33-51 (2008)
- [j5]Luca Bortolussi: On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation. Electr. Notes Theor. Comput. Sci. 220(3): 163-180 (2008)
- [c7]
- [c6]
- 2007
- [j4]Luca Bortolussi, Alberto Policriti: Stochastic Concurrent Constraint Programming and Differential Equations. Electr. Notes Theor. Comput. Sci. 190(3): 27-42 (2007)
- [j3]Luca Bortolussi, Agostino Dovier, Federico Fogolari: Agent-based protein structure prediction. Multiagent and Grid Systems 3(2): 183-197 (2007)
- [c5]Luca Bortolussi, Simone Fonda, Alberto Policriti: Constraint-Based Simulation of Biological Systems Described by Molecular Interaction Maps. BIBM 2007: 288-293
- 2006
- [j2]Luca Bortolussi: Stochastic Concurrent Constraint Programming. Electr. Notes Theor. Comput. Sci. 164(3): 65-80 (2006)
- [c4]Luca Bortolussi, Francesco Fabris, Alberto Policriti: BuST-Bundled Suffix Trees. IFIP TCS 2006: 91-102
- [c3]
- 2005
- [c2]Luca Bortolussi, Herbert Wiklicky: A Distributed and Probabilistic Concurrent Constraint Programming Language. ICLP 2005: 143-158
- [c1]
- 2004
- [j1]Paolo Vicig, Luca Bortolussi: Fuzzy Possibilities As Upper Previsions. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 12(5): 559-574 (2004)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17 21:26 CEST by the dblp team