Per anno
7
presentazioni
/
2007
/
Matteo Casadei
- Maude: A Language for Concurrent Rewriting (seminario, Computational Models and Languages LM) — Matteo Casadei (Matteo Casadei)
- The Role of Formal Methods in Modeling and Simulating Today's Distributed Software Systems (dottorato, Final Report about the First Two Years of Matteo Casadei's Phd Course) — Matteo Casadei (Matteo Casadei)
- A Self-Organizing Approach to Tuple Distribution in Large-scale Tuple-space Systems (presentazione, IWSOS 2007) — Matteo Casadei (Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli)
- Prototyping A&A ReSpecT in Maude (presentazione, FOCLASA 2007 @ CONCUR'07) — Andrea Omicini (Matteo Casadei, Andrea Omicini, Mirko Viroli)
- On the Problem of Over-clustering in Tuple-based Coordination Systems (presentazione, SASO 2007) — Matteo Casadei (Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli)
- Matteo Casadei's Research Activity (interna, Weekly aliCE Meetings) — Matteo Casadei (Matteo Casadei)
- Designing Self-Organizing Multiagent Systems (seminario, Florida Tech: Fridays' Seminars, Spring 2007) — Matteo Casadei (Matteo Casadei)
