Dastani, Mehdi.

Overview

Works:	1 works in 5 publications in 1 languages

Titles

Engineering multi-agent systems = 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023 : revised selected papers / by: Dastani, Mehdi.; SpringerLink (Online service); EMAS (Workshop) (2023 :); Ciortea, Andrei.; Luo, Jieting. (Electronic resources)

Fundamentals of software engineering = 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017 : revised selected papers / by: Dastani, Mehdi.; Sirjani, Marjan.; SpringerLink (Online service); IPM International Conference on Fundamentals of Software Engineering (2017 :) (Electronic resources)

Programming multi-agent systems = first international workshop, ProMAS 2003, Melbourne, Australia, July 15, 2003 : selected revised and invited papers / by: Dastani, Mehdi.; Dix, J. (1961-); El Fallah Seghrouchni, Amal.; NetLibrary, Inc.; ProMAS (Conference) (2003 :) (Language materials, printed)

Engineering multi-agent systems = third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers / by: Dastani, Mehdi.; SpringerLink (Online service); Baldoni, Matteo.; Baresi, Luciano. (Electronic resources)

Specification and verification of multi-agent systems by: Dastani, Mehdi.; SpringerLink (Online service); Hindriks, Koen V.; Meyer, John-Jules Charles. (Language materials, printed)

Programming multi-agent systems = first international workshop, ProMAS 2003, Melbourne, Australia, July 15, 2003 : selected revised and invited papers / by: Dastani, Mehdi.; Dix, J. (1961-); El Fallah Seghrouchni, Amal.; SpringerLink (Online service); ProMAS (Conference) (2003 :) (Language materials, printed)

Languages, methodologies, and development tools for multi-agent systems = second international workshop, LADS 2009, Torino, Italy, September 7-9, 2009 : revised selected papers / by: Dastani, Mehdi.; SpringerLink (Online service); LADS 2009 ((2009 :) (Language materials, printed)

Logic and argumentation = third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020 : proceedings / by: Dastani, Mehdi.; SpringerLink (Online service); International Conference on Logic and Argumentation (2020 :); Dong, Huimin.; Torre, Leon van der. (Electronic resources)

Languages, Methodologies and Development Tools for Multi-Agent Systems = First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers / by: Dastani, Mehdi.; SpringerLink (Online service); LADS 2007 (2007 :) (Language materials, printed)

Programming multi-agent systems = 5th international workshop, PROMAS 2007 Honolulu, HI, USA, May 14-18, 2007 revised and invited papers / by: Dastani, Mehdi.; SpringerLink (Online service) (Language materials, printed)

Subjects