BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Bortolussi:Luca

Facilitated 2 volumes:

QAPL 2014Ed
QAPL 2013Ed

Contributed to:

QAPL 20152015
SFM 20132013
QAPL 20122012
QAPL 20112011
QAPL 20092009
QAPL 20082008
SFM 20082008
QAPL 20072007
QAPL 20062006
ICLP 20052005
QAPL 20162016

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.