Luca Bortolussi
Associate Professor of Computer Science, DMG, University of Trieste
Home
Research
Publications
Teaching
News archive
Talks
Publications
Search
Show only items where
Author
any
.a., n
.VV., AA
A., Ongaro
Al-Begain, K.
al., Borgerlt et
al., Milanesi et
al., Casadio et
Aldini, A.
Ambos-Spies, Klaus
Argent-Katwalwa, A.
Arlitt, Martin F.
Back, Ralph-Johan
Backofen, Rolf
Baier, Christel
Baier, C.
Barbati, G.
Bartocci, Ezio
Bartocci, Ezio
Bauer, A
Bel-Enguix, G
Bertossi, Leopoldo
Bertrand, Nathalie
Bock, Christoph
Bodei, Chiara
Borelli, Massimo
Bortolussi, Luca
Bortolussi, Luca
Bradley, J.
Bravetti, M.
Bufo, Sara
Bujorianu, Manuela L
Cannata, N.
Casale, Giuliano
Casale, G.
Cherkasova, L.
Chiarugi, Davide
Chung, M J
Ciancia, Vincenzo
Corazza, Alessandra
Dahl, V
Dal Palu, Alessandro
Dang, Thao
De Nicola, Rocco
De Nicola, Rocco
de Vink, Erik
de Vink, Erik
Di Pierro, A
Di Pierro, Alessandra
Dinu, Liviu P
Dinu, Liviu P.
Dovier, Agostino
Dubois, D.
Esposito, Gennaro
Fabris, Francesco
Fiems, D.
Fiumara, G.
Fogolari, Federico
Fonda, Simone
Franzoi, Laura
G., Zavattaro
G.S., Monti
Gabbrielli, Maurizio
Galpin, Vashti
Galpin, Vashti
Gilmore, Stephen
Gilmore, Stephen
Giudici, F.
Giuliarelli, Gilberto
Guardiano, Cristina
Guerriero, Maria Luisa
Gupta, Gopal
Harrison, Peter G.
Hayden, Richard
Hermanns, H.
Hillston, Jane
Hillston, Jane
Horimoto, Katsuhisa
Horváth, András
Houdt, B. V.
Jimenez-Lopez, M D
John, Lizy K.
Julien, Christine
Kaeli, David R.
Klement, E. P.
Knottenbelt, W.J.
Kohayakawa, Yoshiharu
Koutny, Maciej
Krishnamurthy, Diwakar
Krüger, Thilo
Lanciani, Roberta
Lanciani, Roberta
Latella, Diego
Latella, Diego
Longobardi, Giuseppe
Loreti, Michele
Lowe, Benedikt
Lucangelo, Umberto
M., Bernardo
M., Tribastone
Magdalena, L
Marchi, M.
Margaria, Tiziana
Massink, Mieke
Massink, Mieke
Merelli, E.
Merkle, Wolfgang
Mesiar, R.
Mikeev, Linar
Milios, Dimitrios
Milios, Dimitrios
Mislove, M
Misra, P
Navarro, Gonzalo
Nenzi, Laura
Nenzi, Laura
Norman, Gethin
Ojeda-Aciego, M
P., Degano
Palamidessi, C
Panegai, E
Paskauskas, Rytis
Petre, Ion
Petre, Ion
Piazza, Carla
Pieri, Lidia
Pola, Giordano
Policriti, Alberto
Policriti, Alberto
Pourranjbar, Alireza
Provetti, A.
Regensburger, Georg
Riska, A
Rolia, Jerry
Romanel, Alessandro
Rosenkranz, Markus
Rossi, G
S., Migliorati
Sanguinetti, Guido
Sanguinetti, Guido
Sgarro, Andrea
Sgarro, Andrea
Smolka, Scott A.
Steffen, Bernhard
Torelli, Lucio
Tribastone, Mirco
Tribastone, Mirco
Ulidowski, Irek
Ulidowski, I.
van Breugel, F.
Verdegay, J L
Vicig, Paolo
Viglino, Paolo
Vigliotti, Maria G
Wiklicky, Herbert
Wiklicky, H
Will, Sebastian
Wolf, Verena
Wolter, Katinka
Yoshida, Hiroshi
Zanconati, F.
Zavattaro, G.
Type
any
Journal Article
Conference Paper
Conference Proceedings
Report
Book Chapter
Book
Thesis
Miscellaneous
Term
any
Year
any
In Press
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
Keyword
any
Algorithms for approximate string matching
Approximate analysis
Approximation Theorems
Attribute-based Process Algebras
Batch Queues
bioinformatics
Biological Modeling
biological systems
Bisimulation
Boolean semantics
Branching processes
bubble distance
central limit approximation
codeword distinguishability
Coding theory
Collective Adaptive Systems
Compositional Modelling
Compositionality
Computational Linguistics
Computational Modelling of Biological Systems
Computational Systems Biology
Computer Science (all)
Computer simulation
Concurrent Constraint Programming
Constraint Programming
Continuous Stochastic Logic
Continuous Time Markov Chains
Continuous-Time Markov Chains
crowd dynamics
data structures
Delay Differential Equations
Delay differential equations; Deterministic timed automata
Deterministic approximation
Differential Equations
Discrete modeling
Discreteness
Distributed Programming Languages
DNA methylation
drug design
Dynamical compartments modelling
Dynamical Systems
Energy Function for Proteins
Epigenomics
error detection
Flows
fluid approximation
Fluid flow
Fluid limit
Fluid Limits
Fluid model checking
Fluid Semantics.
fluid-flow approximation
Functional rates
Fuzzy Distances
fuzzy permutations
Fuzzy Possibilities
Fuzzy Sets
Gaussian Process Optimisation
Gaussian Processes
Gene regulatory networks
Hamming Distances
histopathological image analysis
hitting times
Hybrid Approximation
Hybrid Automata
Hybrid Fluid Limit
Hybrid Limits
Hybrid Mean Field
hybrid modelling languages
hybrid process algebras
Hybrid Semantics
Hybrid Semantics of Programming Languages
Hybrid Simulation Strategies
Hybrid system
Hybrid Systems
HYPE
Immediate actions
Language Phylogeny
limit theorems
linear noise approximation.
Machine Learning
Markov chains
Markov population models
Markov Processes
Markov Processes with Delays
Mean field
mean field approximation
Measures of disarray
mixed-effect model
model checking
Monitoring
Monitoring algorithms
Monte-Carlo Sampling
Montecarlo sampling
Multi agent Optimization
Next generation sequencing
opportunistic networks
optical packet switch
Optimization Metaheuristic
ordinary differential equations
Parameter estimation
Parameter Synthesis
Pattern Formation
PEPA
Piecewise Deterministic Markov Processes
piecewise smooth dynamical systems.
Possibilistic coding
possibilistic information theory
possibility theory
Possiblity Theory
Probabilistic Languages
Probabilistic Semantics
process algebra
programming languages
Prostate tumor
Prostate Tumour
Protein Structure Prediction
quantitative analysis
Quantitative semantics
Quasi-steady state approximation
rank distance
reachability
reachability probability
Rewards
Robust Semantics
Robustness
Robustness degree
Rule based modelling
S-Systems
self-organisation
Shannon theory
Signal spatio-temporal logic
Signal Temporal Logic
software performance modelling
Spatial Logic
Spatio-temporal logic
Spatio-Temporal Modelling
Spearman footrule
Spearman footrule distance
Statistical Model Checking
Steady state error bounds for mean field
Steady state mean field approximation
Stochastic Approximation
stochastic concurrent constraint programming
Stochastic Hybrid Automata
stochastic hybrid systems
Stochastic Languages
Stochastic model checking
stochastic modeling
Stochastic modelling
Stochastic models
Stochastic Noise
Stochastic pi-calculus
Stochastic Process Algebra
Stochastic Process Algebra Approximation
Stochastic process algebras
Stochastic programming
stochastic simulation
String Algorithms
Suffix Trees
Synthetic Biology
System Design
Systems Biology
Systems of systems
Temporal Logic
Temporal logics
Theoretical Computer Science
time-inhomogeneous Continuous Time Markov Chains
Time-inhomogeneous markov renewal processes
time-inhomogeneous models
time-scale separation
Transient error bounds for mean field
Tumor growth modeling
Tumour Growth Modelling
Turing patterns
Uncertain Continuous-Time Markov chains
Uncertainty
Universal Grammar
Universal Grammars
wavelength conversion
Weak convergence
Weighted graphs
zero error information theory
Export 1 results:
BibTeX
[
Type
]
Year
Filters:
Keyword
is
Collective Adaptive Systems
[Clear All Filters]
Conference Paper
Bortolussi L, De Nicola R, Galpin V, Gilmore S, Hillston J, Latella D, Loreti M, Massink M
. 2015.
CARMA: Collective Adaptive Resource-sharing Markovian Agents
.
Quantitative Aspects of Programming Languages and Systems (QAPL). 194:16–31.
DOI
Google Scholar
BibTeX