default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMatteo Casadei
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2013
[j5]Matteo Casadei, Marco Mamei
, Ronaldo Menezes:
Preface to the Special section on Self-Organizing Coordination. Sci. Comput. Program. 78(5): 542-543 (2013)- [j4]Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli:
Simulation in Agent-Oriented Software Engineering: The SODA case study. Sci. Comput. Program. 78(6): 705-714 (2013) - 2011
- [j3]Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli:
Spatial Coordination of Pervasive Services through Chemical-Inspired Tuple Spaces. ACM Trans. Auton. Adapt. Syst. 6(2): 14:1-14:24 (2011) - 2009
- [j2]Matteo Casadei, Mirko Viroli, Luca Gardelli:
On the collective sort problem for distributed tuple spaces. Sci. Comput. Program. 74(9): 702-722 (2009) - 2008
- [j1]Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini:
Designing self-organising environments with agents and artefacts: a simulation-driven approach. Int. J. Agent Oriented Softw. Eng. 2(2): 171-195 (2008)
Conference and Workshop Papers
- 2022
- [c30]Francesco Ballarini, Matteo Casadei, Francesco Dal Borgo, Vittorio Ghini, Silvia Mirri:
Data Visualization and Responsive Design Principles applied to Industry 4.0: the Mentor Project Case Study. GoodIT 2022: 373-377 - 2019
- [c29]Vittorio Ghini, Matteo Casadei, Francesco Dal Borgo, Nicolo Vincenzi, Catia Prandi, Silvia Mirri:
Industry 4.0 and Video Monitoring: a Multidimensional Approach Based on MPEG-DASH. CCNC 2019: 1-6 - 2012
- [c28]Matteo Casadei, Mirko Viroli:
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems. SASO Workshops 2012: 199-204 - [c27]Silvia Mirri, Matteo Casadei, Ludovico Antonio Muratori, Matteo Battistelli, Paola Salomoni:
AMAri: a reporting interface for accessibility evaluations. W4A 2012: 26 - [c26]Matteo Casadei, Mirko Viroli:
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems. WOA 2012 - 2011
- [c25]Marco Sbaraglia, Matteo Casadei, Mirko Viroli:
Programming coordination laws of artifacts in CArtAgO. SAC 2011: 885-886 - [c24]Mirko Viroli, Jacob Beal, Matteo Casadei:
Core operational semantics of Proto. SAC 2011: 1325-1332 - 2010
- [c23]Mirko Viroli, Matteo Casadei:
Chemical-inspired self-composition of competing services. SAC 2010: 2029-2036 - [c22]Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli:
Spatial Coordination of Pervasive Systems through Chemical-Inspired Tuple Spaces. SASO Workshops 2010: 212-217 - [c21]Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini:
A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN. WOA 2010 - 2009
- [c20]Matteo Casadei, Mirko Viroli:
An experience on probabilistic model checking and stochastic simulation to design self-organizing systems. IEEE Congress on Evolutionary Computation 2009: 1538-1545 - [c19]Mirko Viroli, Matteo Casadei:
Biochemical Tuple Spaces for Self-organising Coordination. COORDINATION 2009: 143-162 - [c18]Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli:
A biochemical metaphor for developing eternally adaptive service ecosystems. SAC 2009: 1221-1222 - [c17]Mirko Viroli, Matteo Casadei, Andrea Omicini:
A framework for modelling and implementing self-organising coordination. SAC 2009: 1353-1360 - [c16]Matteo Casadei, Andrea Omicini:
Situated tuple centres in ReSpecT. SAC 2009: 1361-1368 - [c15]Matteo Casadei, Mirko Viroli:
Using probabilistic model checking and simulation for designing self-organizing systems. SAC 2009: 2103-2104 - [c14]Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini:
Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services. SOAR 2009: 152-176 - 2008
- [c13]Matteo Casadei, Mirko Viroli:
Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks. SASO 2008: 213-222 - [c12]Matteo Casadei, Mirko Viroli, Marco Santarelli:
Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks. WETICE 2008: 70-75 - [c11]Matteo Casadei, Andrea Omicini:
Situating A&A ReSpecT for Pervasive Environment Applications. WETICE 2008: 76-81 - 2007
- [c10]Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf:
Self-organized over-clustering avoidance in tuple-space systems. IEEE Congress on Evolutionary Computation 2007: 1408-1415 - [c9]Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf:
Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism. CIA 2007: 255-269 - [c8]Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf:
A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems. IWSOS 2007: 146-160 - [c7]Mirko Viroli, Matteo Casadei, Luca Gardelli:
A self-organising solution to the collective sort problem in distributed tuple spaces. SAC 2007: 354-359 - [c6]Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli:
On the Problem of Over-clustering in Tuple-based Coordination Systems. SASO 2007: 303-306 - [c5]Matteo Casadei, Andrea Omicini, Mirko Viroli:
Prototyping A&A ReSpecT in Maude. FOCLASA 2007: 93-109 - 2006
- [c4]Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini:
Designing Self-organising MAS Environments: The Collective Sort Case. E4MAS 2006: 254-271 - [c3]Mirko Viroli, Matteo Casadei, Luca Gardelli:
A Case of Self-Organising Environment for MAS: the Collective Sort Problem. EUMAS 2006 - [c2]Matteo Casadei, Luca Gardelli, Mirko Viroli:
Collective Sorting Tuple Spaces. WOA 2006 - [c1]Matteo Casadei, Luca Gardelli, Mirko Viroli:
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case. FOCLASA 2006: 59-80
Parts in Books or Collections
- 2011
- [p1]Matteo Casadei, Marco Mamei, Cynthia Villalba, Mirko Viroli, Franco Zambonelli:
Middleware Infrastructures for Self-organising Pervasive Computing Systems. Self-organising Software 2011: 313-344
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
