dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Michael Fisher (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLouise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres: Declarative Abstractions for Agent Based Hybrid Control Systems. DALT 2010: 96-111
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLouise A. Dennis, Michael Fisher, Alexei Lisitsa, Nicholas Lincoln, Sandor M. Veres: Satellite Control Using Rational Agent Programming. IEEE Intelligent Systems 25(3): 92-97 (2010)
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLouise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres: Agent Based Approaches to Engineering Autonomous Space Software FMA 2009: 63-67
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Fisher, Boris Konev, Alexei Lisitsa: Temporal Verification of Fault-Tolerant Protocols. Methods, Models and Tools for Fault Tolerance 2009: 44-56
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa: Practical First-Order Temporal Reasoning. TIME 2008: 156-163
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa: Efficient First-Order Temporal Logic for Infinite-State Systems CoRR abs/cs/0702036: (2007)
96no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa: Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings Springer 2006
86no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Fisher, Boris Konev, Alexei Lisitsa: Practical Infinite-State Verification with Temporal Reasoning. VISSAS 2005: 91-100
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Fisher, Alexei Lisitsa: Monodic ASMs and Temporal Verification. Abstract State Machines 2004: 95-110
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Brotherston, Anatoli Degtyarev, Michael Fisher, Alexei Lisitsa: Searching for Invariants Using Temporal Resolution. LPAR 2002: 86-101
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnatoli Degtyarev, Michael Fisher, Alexei Lisitsa: Equality and Monodic First-Order Temporal Logic. Studia Logica 72(2): 147-156 (2002)

Selection of 11 from 135 records - Michael Fisher has 82 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page