Per Sort


Per Sort

18 publications  /  2013  /  Mirko Viroli

articles in journal
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
Mirko Viroli
On competitive self-composition in pervasive services
Science of Computer Programming 78(5), May 2013
Elena Nardini, Andrea Omicini, Mirko Viroli
Semantic Tuple Centres
Science of Computer Programming 78(5), May 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
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, Jacob Beal, Kyle Usbeck
Operational Semantics of Proto
Science of Computer Programming 78(6), June 2013
Danilo Pianini, Sara Montagna, Mirko Viroli
Chemical-oriented Simulation of Computational Systems with ALCHEMIST
Journal of Simulation, 2013
(7 articles in journal / 2013)  [top]  [bottom]
papers in proceedings
Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
Engineering Pervasive Multiagent Systems in SAPERE
EMAS 2013. Lecture Notes in Computer Science 8245, December 2013
Sara Montagna, Mirko Viroli
Composing Gradients for a Context-Aware Navigation of Users in a Smart-City
SCW 2013, 6 May 2013
Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli
Engineering Pervasive Multiagent Systems in SAPERE
EMAS 2013, 6-7 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), April 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
CM @ SAC 2013, March 2013
Mirko Viroli
Engineering Confluent Computational Fields: from Functions to Rewrite Rules
SCW 2013, 6 May 2013
Mirko Viroli, Ferruccio Damiani, Jacob Beal
A calculus of computation fields
Communications in Computer and Information Science 393, 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), April 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
ASENSIS 2012, April 2013
(9 papers in proceedings / 2013)  [top]  [bottom]
book chapters
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
(1 book chapter / 2013)  [top]  [bottom]
edited volumes
Jean-Louis Giavitto, Stefan Dulman, Antoine Spicher, Mirko Viroli (eds.)
6th International Spatial Computing Workshop (SCW 2013)
SCW 2013, 6 May 2013
(1 edited volume / 2013)  [top]  [bottom]

Tags:
Created by Andrea Omicini on 13/10/2021 19:23
Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY