Hinchey, Michael G. (Michael Gerard), 1969-
Hinchey, Michael Gerard, 1969-....
Hinchey, Michael G. 1969-....
Hinchey, Mike 1969-
Michael Hinchey computer scientist
Hinchey, Michael G. (Michael Gerald), 1969-
Hinchey, Michael G
Hinchey, Michael G. (Michael Gerard)
VIAF ID: 79161115 (Personal)
Permalink: http://viaf.org/viaf/79161115
Preferred Forms
- 200 _ | ‡a Hinchey ‡b Michael G. ‡f 1969-....
-
- 100 1 _ ‡a Hinchey, Michael G. ‡d 1969-
-
- 100 1 _ ‡a Hinchey, Michael G. ‡q (Michael Gerard)
- 100 1 _ ‡a Hinchey, Michael G. ‡q (Michael Gerard), ‡d 1969-
-
-
-
-
- 100 1 _ ‡a Hinchey, Michael G. ‡q (Michael Gerard), ‡d 1969-
-
- 100 1 _ ‡a Hinchey, Michael Gerard ‡d 1969-
- 100 1 _ ‡a Hinchey, Michael Gerard, ‡d 1969-....
- 100 1 _ ‡a Hinchey, Mike ‡d 1969-
- 100 0 _ ‡a Michael Hinchey ‡c computer scientist
4xx's: Alternate Name Forms (11)
Works
Title | Sources |
---|---|
27, 2004, REVISED SELECTED PAPERS | |
Agent Technology from a Formal Perspective | |
Applications of formal methods | |
Autonomous and autonomic systems : with applications to NASA intelligent spacecraft operations and exploration Systems | |
BICC 2010 | |
Biologically-inspired collaborative computing / Ed. by Mike Hinchey. - New York, cop. 2008. | |
Concurrent systems, 1995: | |
Conquering complexity | |
DIPES 2010 | |
Distributed, parallel and biologically inspired systems : 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, held as part of WCC 2010, Brisbane, Australia, September 20-23, 2010 : proceedings | |
Editorial | |
Experience from the DARPA Urban Challenge | |
FAABS 2004 | |
Formal approaches to agent-based systems second international workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 : revised papers | |
Formal engineering methods | |
Formal Versus Agile: Survival of the Fittest | |
Formality, Agility, Security, and Evolution in Software Development | |
Guest Editor’s introduction | |
High-integrity system specification and design | |
ICFEM 2007 | |
Industrial-strength formal methods in practice | |
Innov. syst. softw. eng. (Internet) | |
Innovations in systems and software engineering : a NASA journal | |
International Workshop on Radical Agent Concepts (1st : 2002 : McLean, Va.). Innovative concepts for agent-based systems, 2003: | |
Introduction aux méthodes formelles | |
Quality in Conference Publishing | |
Simplicity in IT: The Power of Less | |
SOFSEM 2017 theory and practice of computer science : 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, proceedings | |
Software technology : 10 years of innovation in IEEE Computer | |
WRAC 2005 | |
ZUM'97 : the Z formal specification notation : 10th international conference of Z users, Reading, UK, April 3-4, 1997 : proceedings | |
ZUM'98 | |
সম্পাদকীয় |