Dottorato
Dottorato
Collegi e commissioni
- Collegi
- Membro del Collegio del Dottorato in Scienze e Ingegneria Informatica, Università di Bologna (2013—
- Membro del Collegio del Dottorato in Informatica Giuridica e Diritto dell’Informatica, Università di Bologna (2006—2012)
- Commissioni
- Membro della Commissione per lo svolgimento dell’esame finale, XXV ciclo del Dottorato di ricerca in Ingegneria dell’Informazione, Politecnico di Bari (22/3/2013)
- Membro della Commissione per lo svolgimento dell’esame finale, XXI e XXII ciclo del Dottorato di ricerca in Ingegneria dell’Innovazione Industriale, Dipartimento di Ingegneria dell’Informazione, Università degli Studi di Modena e Reggio Emilia (30/3/2010)
- Membro della Commissione per lo svolgimento dell’esame finale, XIX ciclo del Dottorato di ricerca in Informatica, Dipartimento di Informatica, Sistemistica e Comunicazione, Milano-Bicocca (25/1/2007)
- Membro del Commissione esterna di revisione delle tesi di dottorato, ICT International Doctorate School, Università degli Studi di Trento (2005—2007)
- Membro del Commissione per lo svolgimento dell’esame finale, XV ciclo del Dottorato di ricerca in Tecnologie dell’informazione, Dipartimento di Ingegneria dell’Informazione, Università degli Studi di Parma (21/5/2003)
Tesi
- Internazionale
- Heuristic Multicast Routing Algorithms in WSNs with Incomplete Network Knowledge (dottorato, 15/12/2017), Kings College London, UK, 2017
- A Logic-Based Coordination Middleware for Self-Organising Systems: distributed reasoning based on many-valued logics (dottorato, 03/07/2017), Université de Genéve, Switzerland, 2017
- Engineering Regulated Open Multiagent Systems (dottorato, 19/04/2013), Universitat Politècnica de València, Spain, 2013
- Supporting Agent-Oriented Models within the Software Life Cycle (dottorato, 15/08/2012), Department of Computing and Information Systems, University of Melbourne, Australia, August 2012
- Victor Noël Multi-Agent Systems and Component-based Software Architectures: Mutual and Complementary Contributions
for Supporting Software Development Université "Paul Sabatier", Toulouse, France, July 2012 - Enhancing Privacy in Multi-Agent Systems (tesi di dottorato, 2011) — Jose Miguel Such Aparicio, Universitat Politècnica de València, Spain, 2011
- Wai Shiang Cheah, "Patterns for Agent-Oriented Software Development", Department of Computer Science and Software Engineering, The University of Melbourne, Australia, 2010
- Matteo Vasirani, "Vehicle-centric Coordination for Urban Road Traffic Management: A Market-based Multiagent Approach", Universidad Rey Juan Carlos, Madrid, Spain, 2009
- An Agent Framework for Ubiquitous Services (tesi di dottorato, 2008) — Conor Muldoon, University College Dublin, Ireland, 2008
- Andrew Wilkinson, "Type Representations and Coordination", Department of Computer Science, University of York, UK, 2007
- Regine Endsuleit, "Robust and Private Computations of Mobile Agent Alliances", Fakultät für Informatik, Universität Karlsruhe, Germany, 2007
- Kurt Schelfthout, "Supporting Coordination in Mobile Networks: A Middleware Approach", Department of Computer Science, Faculty of Engineering, Katholieke Universiteit Leuven, Belgium, 2006
- Susannah Jane Soon, "Multi-agent Teamwork Coordination: a Graph-Based Intention Recognition Approach", Department of Computer Science and Software Engineering, The University of Melbourne, Australia, 2006
- Abdelkader Gouaich, "Movement, Interaction, Calculation as Primitives for Everywhere & Anytime Computing", LIRMM, CNRS & Université de Montpellier, France, July 2005
- Sehl Melloui, "FATMAS: A Methodology to Design Fault-tolerant Multi-agent Systems", Faculté des Sciences et Génies, Université Laval, Quebec City, Canada, April 2005
- Stefan J. Johansson, "On Coordination in Multi-Agent Systems, Blekinge Institute of Technology", Ronneby, Sweden, May 2002
- Michael Schumacher, "Designing and Implementing Objective Coordination in Multi-Agent Systems", Université de Fribourg, Switzerland, March 2000
- Nazionale
- A topological classifier for detecting the emergence of anomalous synchronization in brain activities (dottorato, 25/07/2017), Università di Camerino, Italy, 2017
- Simplicial Complexes and Graph Rewriting for Modelling RNA Folding (dottorato, 25/07/2017), Università di Camerino, Italy, 2017
- Coordination Issues in Complex Socio-Technical Systems: Self-Organisation of Knowledge in MoK (dottorato, 13/05/2016), DISI, Alma Mater Studiorum — Università di Bologna, Italy, May 2016
- Semantic Coordination Through Programmable Tuple Spaces (dottorato, 28/04/2011), DEIS, Alma Mater Studiorum — Università di Bologna, Italy, April 2011
- Multi-level models and infrastructures for simulating biological system development (dottorato, 28/04/2011), DEIS, Alma Mater Studiorum — Università di Bologna, Italy, April 2011
- Law and Science through the Lens of Patent Law and Software Agents (dottorato, 14/07/2010), CIRSFID, Alma Mater Studiorum — Università di Bologna, Italy, July 2010
- Designing and Programming Organizational Infrastructures for Agents situated in Artifact-based Environments (dottorato, 30/04/2010), DEIS, Alma Mater Studiorum — Università di Bologna, Italy, April 2010
- A Nomadicity-driven Negotiation Protocol, Tactics and Strategies for Interacting Software Agents (tesi di dottorato, 2010) — Sameh Abdel-Naby
International Doctorate School in Information and Communication Technologies, DISI, Università di Trento, Italy, 2010 - Implicit Culture Framework for behavior transfer. Definition, implementation and applications (tesi di dottorato, 2009) — Aliaksandr Birukou, International Doctorate School in Information and Communication Technologies, DISI, Università di Trento, Italy, 2009
- Testing Techniques for Software Agents (tesi di dottorato, 2009) — Cu Duy Nguyen
International Doctorate School in Information and Communication Technologies, DISI, Università di Trento, Italy, 2009 - Self-organising coordination systems (dottorato, 08/09/2009), DEIS, Alma Mater Studiorum — Università di Bologna, Italy, March 2009
- Engineering Self-organising Systems with the Multi-Agent Paradigm (dottorato, 02/04/2008)
DEIS, Alma Mater Studiorum — Università di Bologna, Italy, March 2008 - Argumentation and artifacts for intelligent multi-agent systems (dottorato, 07/04/2008), DEIS, Alma Mater Studiorum — Università di Bologna, Italy, March 2008
- Meta-models, environment and layers: agent-oriented engineering of complex systems (dottorato, 07/04/2008), DEIS, Alma Mater Studiorum — Università di Bologna, Italy, March 2008
- Matteo Palmonari, "Pervasive Computing and Space: A Knowledge Representation Approach", Scuola di Dottorato di Ricerca in Scienze, Dottorato di Ricerca in Informatica, Università degli Studi di Milano-Bicocca, Italy, June 2006
- Marco Loregian, "Supporting Interaction in Contextualized Knowledge Sharing", Scuola di Dottorato di Ricerca in Scienze, Dottorato di Ricerca in Informatica, Università degli Studi di Milano-Bicocca, Italy, January 2006
- Giuseppe Vizzari, "Dynamic Interaction Spaces and Situated Multi-Agent Systems: From a Multi-Layered Model to a Distributed Architecture", Dipartimento di Informatica, Sistemistica e Comunicazione, Università degli Studi di Milano-Bicocca, Italy, January 2005
- Engineering Agent Societies with Coordination Artifacts and Supporting Infrastructures (dottorato, 15/04/2004), DEIS, Alma Mater Studiorum — Università di Bologna a Cesena, Italy, March 2004
- Mirko Viroli, "Full-Fledged Generics for Object-Oriented Programming Languages", DEIS, Alma Mater Studiorum — Università di Bologna a Cesena, Italy, March 2003
- Enrico Denti, "Coordination of Heterogeneous Multi-Agent Systems: Programming the Interaction", DEIS, Alma Mater Studiorum — Università di Bologna, Italy, February 1998