Per Year

18 publications / 2013 / Mirko Viroli

long bib

2013

Simulation in Agent-Oriented Software Engineering: The SODA Case Study (Science of Computer Programming) — Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
Engineering Confluent Computational Fields: from Functions to Rewrite Rules (SCW 2013 @ AAMAS 2013) — Mirko Viroli
Self-Organising Semantic Resource Discovery for Pervasive Systems (ASENSIS 2012 @ SASO 2012) — Graeme Stevenson, Juan Ye, Simon Dobson, Mirko Viroli, Sara Montagna
Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks (CM 2013 @ SAC 2013) — Graeme Stevenson, Juan Ye, Simon Dobson, Danilo Pianini, Sara Montagna, Mirko Viroli
Semantic Tuple Centres (Science of Computer Programming) — Elena Nardini, Andrea Omicini, Mirko Viroli
A calculus of computation fields (FOCLASA 2013 @ ESOCC 2013) — Mirko Viroli, Ferruccio Damiani, Jacob Beal
Engineering Pervasive Multiagent Systems in SAPERE (EMAS 2013 @ AAMAS 2013) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
Injecting Self-organisation into Pervasive Service Ecosystems (Mobile Networks and Applications) — Sara Montagna, Mirko Viroli, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Franco Zambonelli
On competitive self-composition in pervasive services (Science of Computer Programming) — Mirko Viroli
Chemical-oriented Simulation of Computational Systems with ALCHEMIST (Journal of Simulation) — Danilo Pianini, Sara Montagna, Mirko Viroli
Operational Semantics of Proto (Science of Computer Programming) — Mirko Viroli, Jacob Beal, Kyle Usbeck
Organizing the Aggregate: Languages for Spatial Computing (book chapter) — Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli, Nikolaus Correll
Description and composition of bio-inspired design patterns: a complete overview (Natural Computing) — Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna, Mirko Viroli, Josep Lluis Arcos
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (ASENSIS 2012 @ SASO 2012) — Matteo Casadei, Mirko Viroli
6th International Spatial Computing Workshop (SCW 2013) (SCW 2013 @ AAMAS 2013) — Jean-Louis Giavitto, Stefan Dulman, Antoine Spicher, Mirko Viroli
Towards Situated Awareness in Urban Networks: A Bio-Inspired Approach (ASENSIS 2012 @ SASO 2012) — Graeme Stevenson, Jose Luis Fernandez-Marquez, Sara Montagna, Alberto Rosi, Juan Ye, Akla Tchao, Simon Dobson, Giovanna Di Marzo Serugendo, Mirko Viroli
Composing Gradients for a Context-Aware Navigation of Users in a Smart-City (SCW 2013 @ AAMAS 2013) — Sara Montagna, Mirko Viroli
Engineering Pervasive Multiagent Systems in SAPERE (EMAS 2013 @ AAMAS 2013) — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli

18 publications / 2013 • top • index • bottom