Per Year
7
talks
/
2007
/
Matteo Casadei
- Maude: A Language for Concurrent Rewriting (seminar, Computational Models and Languages LM) — Matteo Casadei (Matteo Casadei)
- The Role of Formal Methods in Modeling and Simulating Today's Distributed Software Systems (phd, 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 (talk, IWSOS 2007) — Matteo Casadei (Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli)
- Prototyping A&A ReSpecT in Maude (talk, FOCLASA 2007 @ CONCUR'07) — Andrea Omicini (Matteo Casadei, Andrea Omicini, Mirko Viroli)
- On the Problem of Over-clustering in Tuple-based Coordination Systems (talk, SASO 2007) — Matteo Casadei (Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli)
- Matteo Casadei's Research Activity (internal, Weekly aliCE Meetings) — Matteo Casadei (Matteo Casadei)
- Designing Self-Organizing Multiagent Systems (seminar, Florida Tech: Fridays' Seminars, Spring 2007) — Matteo Casadei (Matteo Casadei)
