 | 2012 |
|---|
| 29 |       | Luca Bortolussi,
Mirco Tribastone:
Fluid limits of queueing networks with batches.
ICPE 2012: 45-56 |
| 28 | | Luca Bortolussi,
Jane Hillston:
Fluid Model Checking
CoRR abs/1203.0920: (2012) |
| 2011 |
|---|
| 27 | | Luca Bortolussi,
Alberto Policriti:
Programmable models of growth and mutation of cancer-cell populations
CompMod 2011: 19-33 |
| 26 | | Luca Bortolussi,
Vashti Galpin,
Jane Hillston:
HYPE with stochastic events
QAPL 2011: 120-133 |
| 25 | | Luca Bortolussi:
Hybrid Limits of Continuous Time Markov Chains.
QEST 2011: 3-12 |
| 2010 |
|---|
| 24 | | Luca Bortolussi:
Limit Behavior of the Hybrid Approximation of Stochastic Process Algebras.
ASMTA 2010: 367-381 |
| 23 | | Luca Bortolussi,
Vashti Galpin,
Jane Hillston,
Mirco Tribastone:
Hybrid Semantics for PEPA.
QEST 2010: 181-190 |
| 22 | | Luca Bortolussi,
Alberto Policriti:
Hybrid dynamics of stochastic programs.
Theor. Comput. Sci. 411(20): 2052-2077 (2010) |
| 2009 |
|---|
| 21 | | Luca Bortolussi,
Alberto Policriti:
Hybrid Semantics of Stochastic Programs with Dynamic Reconfiguration
COMPMOD 2009: 63-76 |
| 20 | | Vashti Galpin,
Luca Bortolussi,
Jane Hillston:
HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour.
CONCUR 2009: 305-320 |
| 19 | | Luca Bortolussi,
Alberto Policriti:
Stochastic Programs and Hybrid Automata for (Biological) Modeling.
CiE 2009: 37-48 |
| 18 | | Luca Bortolussi,
Alberto Policriti:
The Importance of Being (A Little Bit) Discrete.
Electr. Notes Theor. Comput. Sci. 229(1): 75-92 (2009) |
| 17 | | Luca Bortolussi,
Maria Grazia Vigliotti:
CoBiC: Context-dependent Bioambient Calculus.
Electr. Notes Theor. Comput. Sci. 253(3): 187-201 (2009) |
| 16 | | Luca Bortolussi,
Alberto Policriti:
Hybrid Dynamics of Stochastic pi-Calculus.
Mathematics in Computer Science 2(3): 465-491 (2009) |
| 15 | | Luca Bortolussi,
Alberto Policriti:
Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back.
T. Comp. Sys. Biology 11: 216-267 (2009) |
| 2008 |
|---|
| 14 | | Luca Bortolussi,
Alberto Policriti:
Hybrid Semantics for Stochastic pi-Calculus.
AB 2008: 40-55 |
| 13 | | Luca Bortolussi,
Alberto Policriti:
Hybrid Systems and Biology.
SFM 2008: 424-448 |
| 12 | | Luca Bortolussi,
Alberto Policriti:
Modeling Biological Systems in Stochastic Concurrent Constraint Programming.
Constraints 13(1-2): 66-90 (2008) |
| 11 | | Vashti Galpin,
Jane Hillston,
Luca Bortolussi:
HYPE Applied to the Modelling of Hybrid Biological Systems.
Electr. Notes Theor. Comput. Sci. 218: 33-51 (2008) |
| 10 | | Luca Bortolussi:
On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation.
Electr. Notes Theor. Comput. Sci. 220(3): 163-180 (2008) |
| 2007 |
|---|
| 9 | | Luca Bortolussi,
Simone Fonda,
Alberto Policriti:
Constraint-Based Simulation of Biological Systems Described by Molecular Interaction Maps.
BIBM 2007: 288-293 |
| 8 | | Luca Bortolussi,
Alberto Policriti:
Stochastic Concurrent Constraint Programming and Differential Equations.
Electr. Notes Theor. Comput. Sci. 190(3): 27-42 (2007) |
| 7 | | Luca Bortolussi,
Agostino Dovier,
Federico Fogolari:
Agent-based protein structure prediction.
Multiagent and Grid Systems 3(2): 183-197 (2007) |
| 2006 |
|---|
| 6 | | Luca Bortolussi,
Francesco Fabris,
Alberto Policriti:
BuST-Bundled Suffix Trees.
IFIP TCS 2006: 91-102 |
| 5 | | Luca Bortolussi,
Andrea Sgarro:
Possibilistic Channels for DNA Word Design.
SMPS 2006: 327-335 |
| 4 | | Luca Bortolussi:
Stochastic Concurrent Constraint Programming.
Electr. Notes Theor. Comput. Sci. 164(3): 65-80 (2006) |
| 2005 |
|---|
| 3 | | Luca Bortolussi,
Herbert Wiklicky:
A Distributed and Probabilistic Concurrent Constraint Programming Language.
ICLP 2005: 143-158 |
| 2 | | Luca Bortolussi:
Concurrent Methodologies for Global Optimization.
ICLP 2005: 441-443 |
| 2004 |
|---|
| 1 | | Paolo Vicig,
Luca Bortolussi:
Fuzzy Possibilities As Upper Previsions.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 12(5): 559-574 (2004) |
Data released under the ODC-BY 1.0 license — See also our legal information page