Hinchey, Michael G.

Formal Approaches to Agent-Based Systems = Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers / by: Hinchey, Michael G.; SpringerLink (Online service); FAABS 2004 ((2004 :) (Language materials, printed)

ZUM '98, the Z formal specification notation = 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : pro[o]ceedings / by: Bowen, Jonathan Peter.; Hinchey, Michael G.; SpringerLink (Online service); Fett, Andreas.; International Conference of Z Users (1998 :) (Language materials, printed)

Recent advances in artificial intelligence and smart applications = proceedings of RAAISA 2023 / by: Mandal, Jyotsna Kumar.; Hinchey, Michael G.; SpringerLink (Online service); Chakrabarti, Satyajit.; International Conference on Recent Advances in Artificial Intelligence and Smart Applications (2023 :) (Electronic resources)