CRIS Current Research Information System

CASADEI, MATTEO

CASADEI, MATTEO  

Collaboratori  

Mostra records
Risultati 1 - 20 di 34 (tempo di esecuzione: 0.035 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
Industry 4.0 and Video Monitoring: A Multidimensional Approach Based on MPEG-DASH Ghini, Vittorio; Casadei, Matteo; Borgo, Francesco Dal; Vincenzi, Nicolo; Prandi, Catia; Mirri, S...ilvia 2019-01-01 - Institute of Electrical and Electronics Engineers Inc. 4.01 Contributo in Atti di convegno -
Simulation in Agent-Oriented Software Engineering: The SODA Case Study Ambra Molesini; Matteo Casadei; Andrea Omicini; Mirko Viroli 2013-01-01 SCIENCE OF COMPUTER PROGRAMMING - 1.01 Articolo in rivista -
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems M. Casadei;M. Viroli 2012-01-01 - CEUR-WS 4.01 Contributo in Atti di convegno -
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems M. Casadei;M. Viroli 2012-01-01 - IEEE CS 4.01 Contributo in Atti di convegno -
Core Operational Semantics of Proto M. Viroli; J. Beal; M. Casadei 2011-01-01 - ACM Press 4.01 Contributo in Atti di convegno -
Middleware Infrastructures for Self-organising Pervasive Computing Systems M. Casadei; M. Mamei; C. Villalba; M. Viroli; F. Zambonelli 2011-01-01 - Springer Berlin Heidelberg 2.01 Capitolo / saggio in libro -
Programming coordination laws of artifacts in CArtAgO Sbaraglia Marco; Casadei Matteo; Viroli Mirko 2011-01-01 - - 4.03 Poster -
Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces M. Viroli; M. Casadei; S. Montagna; F. Zambonelli 2011-01-01 ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS - 1.01 Articolo in rivista -
A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN Elena Nardini; Mirko Viroli; Matteo Casadei; Andrea Omicini 2010-01-01 - Sun SITE Central Europe, RWTH Aachen University 4.01 Contributo in Atti di convegno -
Chemical-Inspired Self-Composition of Competing Services M. Viroli; M. Casadei 2010-01-01 - ACM 4.01 Contributo in Atti di convegno -
Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services Mirko Viroli; Matteo Casadei; Elena Nardini; Andrea Omicini 2010-01-01 - Springer 2.01 Capitolo / saggio in libro -
A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems M. Viroli; F. Zambonelli; M. Casadei; S. Montagna 2009-01-01 - ACM 4.01 Contributo in Atti di convegno -
A Framework for Modelling and Implementing Self-Organising Coordination Mirko Viroli; Matteo Casadei; Andrea Omicini 2009-01-01 - ACM 4.01 Contributo in Atti di convegno -
An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems M. Casadei; M. Viroli 2009-01-01 - IEEE 4.01 Contributo in Atti di convegno -
Biochemical Tuple Spaces for Self-Organising Coordination M. Viroli; M. Casadei 2009-01-01 - - 4.01 Contributo in Atti di convegno -
On the Collective Sort Problem for Distributed Tuple Spaces M. Casadei; M. Viroli; L. Gardelli 2009-01-01 SCIENCE OF COMPUTER PROGRAMMING - 1.01 Articolo in rivista -
Situated Tuple Centres in ReSpecT Matteo Casadei; Andrea Omicini 2009-01-01 - ACM 4.01 Contributo in Atti di convegno -
Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems Matteo Casadei; Mirko Viroli 2009-01-01 - ACM 4.01 Contributo in Atti di convegno -
A conceptual framework for collaborative learning systems based on agent technologies Elena Nardini; Matteo Casadei; Andrea Omicini; Pietro Gaffuri 2008-01-01 - Kassel University Press 4.01 Contributo in Atti di convegno -
Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks Matteo Casadei; Mirko Viroli 2008-01-01 - IEEE Computer Society 4.01 Contributo in Atti di convegno -