Classify

An experimental classification web service

Powered by the Classify Web Service.

Search Results

Search Criteria: author = Hinchey, Michael G. 1969-
Displaying 1 to 25 of 39
Title & Author Format Holdings Editions From To
Formal approaches to agent-based systems : First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000 : revised papers by Rash, James L.
DDC/LCC
  1034 39 2001 2005
Agent technology from a formal perspective by Rouff, Chris, 1960-
DDC/LCC
  804 31 2005 2019
Innovative concepts for autonomic and agent-based systems : Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005 : revised papers by Hinchey, Michael G. (Michael Gerard), 1969-
DDC/LCC
  559 19 2006 2019
Formal methods and software engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings by Butler, Michael, 1967-
DDC/LCC
  549 23 2007 2019
Autonomous and autonomic systems : with applications to NASA intelligent spacecraft operations and exploration systems by Truszkowski, Walt, 1939-
DDC/LCC
  494 28 2006 2019
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 by Hinchey, Michael G. (Michael Gerard), 1969-
DDC/LCC
  471 21 2010 2019
Software engineering and formal methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings by Eleftherakis, George
DDC/LCC
  445 18 2012 2012
Conquering complexity by Hinchey, Michael G. (Michael Gerard), 1969-
DDC/LCC
  442 14 2011 2012
Innovative concepts for agent-based systems : first International Workshop on Radical Agent Concepts, WRAC 2002, McLean, VA, USA, January 16-18, 2002 : revised papers by Truszkowski, Walt, 1939-
DDC/LCC
  432 20 2003 2003
Biologically-inspired collaborative computing : IFIP 20th World Computer Congress, Second IFIP TC10 International Conference on Biologically-inspired Collaborative Computing, September 8-9, 2008, Milano, Italy by Hinchey, Michael G. (Michael Gerard), 1969-
DDC/LCC
  428 18 2008 2008
ZUM'98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings by Bowen, J. P. (Jonathan Peter), 1956-
DDC/LCC
  410 19 1998 2013
Formal approaches to agent-based systems : second international workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002 : revised papers by Hinchey, Michael G. (Michael Gerard), 1969-
DDC/LCC
  399 16 2003 2003
ZUM '95, the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings by Bowen, J. P. (Jonathan Peter), 1956-
DDC/LCC
  399 15 1995 1995
Autonomy Requirements Engineering for Space Missions by Vassev, Emil
DDC/LCC
  390 17 2014 2014
ZUM '97, the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings by Bowen, J. P. (Jonathan Peter), 1956-
DDC/LCC
  367 15 1997 1997
Understanding formal methods by Monin, Jean François, 1960-
DDC/LCC
  350 23 2000 2003
Software technology : 10 years of innovation in IEEE Computer by Hinchey, Mike
DDC/LCC
  346 10 2017 2018
First IEEE International Conference Conference [sic] on Formal Engineering Methods : proceedings, Hiroshima, Japan, November 12-14, 1997 by IEEE International Conference on Formal Engineering Methods
DDC/LCC
  341 8 1997 2001
Nature of computation and communication : International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014 : revised selected papers by Cong-Vinh, Phan
DDC/LCC
  339 11 2015 2016
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 by SOFSEM (Conference) (43rd : 2017 : Limerick, Ireland)
DDC/LCC
  332 14 2017 2017
Second International Conference on Formal Engineering Methods : proceedings : December 9-11, 1998, Brisbane, Australia by IEEE International Conference on Formal Engineering Methods
DDC/LCC
  318 6 1998 1998
Provably correct systems by Bowen, J. P. 1956- [Editor]
DDC/LCC
  309 11 2017 2018
SEFM 2007 : Fifth IEEE International Conference on Software Engineering and Formal Methods : proceedings : 12-14 September, 2007, London, England by IEEE International Conference on Software Engineering and Formal Methods,
DDC/LCC
  307 3 2007 2007
ICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, 4-6 September 2000 by IEEE International Conference on Formal Engineering Methods (3rd : 2000 : York, England)
DDC/LCC
  296 3 2000 2000
Proceedings : Third IEEE International Workshop on Engineering of Autonomic & Autonomous Systems : EASe 2006 : March 27-30 2006, Potsdam, Germany, April 24-28 2006, Columbia, MD, USA by IEEE International Workshop on Engineering of Autonomic & Autonomous Systems (3rd : 2006 : Potsdam, Germany, and Columbia, Md.)
LCC
  290 5 2006 2006
Displaying 1 to 25 of 39
.