Formal Methods for Coordinating Multi-Agent Systems

• Thomas Agotnes (University of Bergen, NO) [dblp]
• Markus Brill (Duke University – Durham, US) [dblp]
• Jan M. Broersen (Utrecht University, NL) [dblp]
• Nils Bulling (TU Clausthal, DE) [dblp]
• Natalia Criado (John Moores University – Liverpool, GB) [dblp]
• Mehdi Dastani (Utrecht University, NL) [dblp]
• Louise A. Dennis (University of Liverpool, GB) [dblp]
• Catalin Dima (University Paris-Est – Créteil, FR) [dblp]
• Valentin Goranko (Technical University of Denmark – Lyngby, DK) [dblp]
• Maaike Harbers (TU Delft, NL) [dblp]
• Andreas Herzig (Paul Sabatier University – Toulouse, FR) [dblp]
• Max Knobbout (Utrecht University, NL) [dblp]
• Ho-Pun Lam (NICTA – Brisbane, AU) [dblp]
• Beishui Liao (Zhejiang University, CN) [dblp]
• Brian Logan (University of Nottingham, GB) [dblp]
• Marin Lujak (University Rey Juan Carlos, ES) [dblp]
• Nir Oren (University of Aberdeen, GB) [dblp]
• Julian Padget (University of Bath, GB) [dblp]
• Truls Pedersen (University of Bergen, NO) [dblp]
• Joshua Sack (University of Amsterdam, NL) [dblp]
• Marija Slavkovik (University of Bergen, NO) [dblp]
• Bas J. G. Testerink (Utrecht University, NL) [dblp]
• Nicolas Troquard (National Research Council – Povo (Trento), IT) [dblp]
• Paolo Turrini (Imperial College London, GB) [dblp]
• Birna Van Riemsdijk (TU Delft, NL) [dblp]
• Marc Van Zee (University of Luxembourg, LU) [dblp]
• Laurent Vercouter (INSA – St- Etienne-du-Rouvray, FR) [dblp]

Im Falle von Fehlern oder Fragen bezüglich den Links zu dblp, kontaktieren Sie bitte Michael Wagner