`Travelled to:`

1 × Estonia

1 × Germany

1 × Spain

2 × Italy

`Collaborated with:`

J.Hillston ∅ A.Policriti V.Galpin M.G.Vigliotti H.Wiklicky Cheng Feng R.D.Nicola S.Gilmore D.Latella M.Loreti M.Massink

`Talks about:`

concurr (5) constraint (4) stochast (4) program (4) model (4) popul (3) individu (2) approxim (2) markov (2) hybrid (2)

## Person: Luca Bortolussi

### DBLP: Bortolussi:Luca

### Facilitated 2 volumes:

### Contributed to:

### Wrote 13 papers:

- QAPL-2015-BortolussiH #markov #modelling #performance
- Efficient Checking of Individual Rewards Properties in Markov Population Models (LB, JH), pp. 32–47.
- QAPL-2015-BortolussiNGGHL #adaptation #markov #named
- CARMA: Collective Adaptive Resource-sharing Markovian Agents (LB, RDN, VG, SG, JH, DL, ML, MM), pp. 16–31.
- SFM-2013-BortolussiH #approximate #behaviour #markov #modelling
- Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation (LB, JH), pp. 113–149.
- QAPL-2012-BortolussiGH #hybrid #modelling #network #performance
- Hybrid performance modelling of opportunistic networks (LB, VG, JH), pp. 106–121.
- QAPL-2011-BortolussiGH #probability
- HYPE with stochastic events (LB, VG, JH), pp. 120–133.
- QAPL-2009-BortolussiV #calculus #named
- CoBiC: Context-dependent Bioambient Calculus (LB, MGV), pp. 187–201.
- QAPL-2008-Bortolussi #approximate #concurrent #constraints #equation #on the #probability #programming
- On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation (LB), pp. 163–180.
- SFM-2008-BortolussiP #biology #hybrid
- Hybrid Systems and Biology (LB, AP), pp. 424–448.
- QAPL-2007-BortolussiP #concurrent #constraints #difference #equation #probability #programming
- Stochastic Concurrent Constraint Programming and Differential Equations (LB, AP), pp. 27–42.
- QAPL-2006-Bortolussi #concurrent #constraints #probability #programming
- Stochastic Concurrent Constraint Programming (LB), pp. 65–80.
- ICLP-2005-Bortolussi #concurrent #optimisation
- Concurrent Methodologies for Global Optimization (LB), pp. 441–443.
- ICLP-2005-BortolussiW #concurrent #constraints #distributed #probability #programming language
- A Distributed and Probabilistic Concurrent Constraint Programming Language (LB, HW), pp. 143–158.
- QAPL-2016-BortolussiF #modelling
- Location Aggregation of Spatial Population CTMC Models (LB, CF), pp. 30–43.