Mirko Viroli » Publications » Papers per Year

Publications by Mirko Viroli (2013)

Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
Engineering Pervasive Multiagent Systems in SAPERE
1st International Workshop "Engineering Multi-Agent Systems" (EMAS 2013), 6-7 May 2013

Danilo Pianini, Sara Montagna, Mirko Viroli
Chemical-oriented Simulation of Computational Systems with ALCHEMIST
Journal of Simulation, 2013

Sara Montagna, Mirko Viroli, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Franco Zambonelli
Injecting Self-organisation into Pervasive Service Ecosystems
Mobile Networks and Applications 18(3), 2013

Sara Montagna, Mirko Viroli
Composing Gradients for a Context-Aware Navigation of Users in a Smart-City
6th International Spatial Computing Workshop (SCW 2013), 6 May 2013

Mirko Viroli, Jacob Beal, Kyle Usbeck
Operational Semantics of Proto
Science of Computer Programming 78(6), June 2013

Mirko Viroli
Engineering Confluent Computational Fields: from Functions to Rewrite Rules
6th International Spatial Computing Workshop (SCW 2013), 6 May 2013

Mirko Viroli, Ferruccio Damiani, Jacob Beal
A calculus of computation fields
Advances in Service-Oriented and Cloud Computing, Communications in Computer and Information Science 393, 2013

Graeme Stevenson, Jose Luis Fernandez-Marquez, Sara Montagna, Alberto Rosi, Juan Ye, Akla Tchao, Simon Dobson, Giovanna Di Marzo Serugendo, Mirko Viroli
Self-Organising Semantic Resource Discovery for Pervasive Systems
Self-Adaptive and Self-Organizing Systems Workshops (SASOW), apr 2013

Elena Nardini, Andrea Omicini, Mirko Viroli
Semantic Tuple Centres
Science of Computer Programming 78(5), May 2013

Matteo Casadei, Mirko Viroli
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
Self-Adaptive and Self-Organizing Systems Workshops (SASOW), apr 2013

Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna, Mirko Viroli, Josep Lluis Arcos
Description and composition of bio-inspired design patterns: a complete overview
Natural Computing 12(1), 2013

Mirko Viroli
On competitive self-composition in pervasive services
Science of Computer Programming 78(5), May 2013

Graeme Stevenson, Juan Ye, Simon Dobson, Mirko Viroli, Sara Montagna
Self-Organising Semantic Resource Discovery for Pervasive Systems
Self-Adaptive and Self-Organizing Systems Workshops (SASOW), apr 2013

Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
Engineering Pervasive Multiagent Systems in SAPERE
Engineering Multi-Agent Systems, Lecture Notes in Computer Science 8245, December 2013

Graeme Stevenson, Juan Ye, Simon Dobson, Danilo Pianini, Sara Montagna, Mirko Viroli
Combining self-organisation, context-awareness and semantic reasoning: the case of resource discovery in opportunistic networks
Proceedings of the 28th ACM Symposium On Applied Computing (SAC 2013), March 2013

Jacob Beal, Stefan Dulman, Kyle Usbeck, Mirko Viroli, Nikolaus Correll
Organizing the Aggregate: Languages for Spatial Computing
Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, 2013

Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
Simulation in Agent-Oriented Software Engineering: The SODA Case Study
Science of Computer Programming 78(6), June 2013

[top]