Michael Fisher

Best Publications

• The characteristics of the turbulence in the mixing region of a round jet

  P. O. A. L. Davies;M. J. Fisher;M. J. Barratt

  480
  Citations

• Measurements in subsonic and supersonic free jets using a laser velocimeter

  Jark C. Lau;Philip J. Morris;Michael J. Fisher

  447
  Citations

• A Survey of Concurrent METATEM - the Language and its Applications

  Michael Fisher

  362
  Citations

• Visual outcomes in children with neurofibromatosis type 1–associated optic pathway glioma following chemotherapy: a multicenter retrospective analysis

  Michael J. Fisher;Michael Loguidice;David H. Gutmann;Robert Listernick

  333
  Citations

• Jet engine noise source location: The polar correlation technique

  M.J. Fisher;M. Harper-Bourne;S.A.L. Glegg

  283
  Citations

• Formal Specification and Verification of Autonomous Robotic Systems: A Survey

  Matt Luckcuck;Marie Farrell;Louise A. Dennis;Clare Dixon

  279
  Citations

• Formal verification of ethical choices in autonomous systems

  Louise A. Dennis;Michael Fisher;Marija Slavkovik;Matt Webster

  268
  Citations

• Parenchymal cell apoptosis as a signal for sinusoidal sequestration and transendothelial migration of neutrophils in murine models of endotoxin and Fas-antibody-induced liver injury

  Judy A. Lawson;Michael A. Fisher;Carol A. Simmons;Anwar Farhood

  257
  Citations

• Clausal temporal resolution

  Michael Fisher;Clare Dixon;Martin Peim

  256
  Citations

• Correlation measurements in a non-frozen pattern of turbulence

  M. J. Fisher;P. O. A. L. Davies

  248
  Citations

• Model checking agentspeak

  Rafael H. Bordini;Michael Fisher;Carmen Pardavila;Michael Wooldridge

  223
  Citations

• Verifying Multi-agent Programs by Model Checking

  Rafael H. Bordini;Michael Fisher;Willem Visser;Michael Wooldridge

  218
  Citations

• Model checking multi-agent systems with MABLE

  Michael Wooldridge;Michael Fisher;Marc-Philippe Huget;Simon Parsons

  215
  Citations

• Outcomes by Clinical and Molecular Features in Children With Medulloblastoma Treated With Risk-Adapted Therapy: Results of an International Phase III Trial (SJMB03)

  Amar Gajjar;Giles W Robinson;Kyle S Smith;Tong Lin

  215
  Citations

• A resolution method for temporal logic

  Michael Fisher

  203
  Citations

• METATEM: A Framework for Programming in Temporal Logic

  Howard Barringer;Michael Fisher;Dov M. Gabbay;Graham Gough

  197
  Citations

• Model checking agent programming languages

  Louise A. Dennis;Michael Fisher;Matthew P. Webster;Rafael H. Bordini

  196
  Citations

• The intrinsic structure of turbulent jets

  J.C. Lau;M.J. Fisher;H.V. Fuchs

  191
  Citations

• Handbook of Temporal Reasoning in Artificial Intelligence

  Michael David Fisher;Dov M. Gabbay;Lluis Vila

  188
  Citations

• The imperative future: principles of executable temporal logic

  Howard Barringer;Michael Fisher;Dov Gabbay;Richard Owens

  183
  Citations

• Mapping the megathrust beneath the northern Gulf of Alaska using wide‐angle seismic data

  Thomas M. Brocher;Gary S. Fuis;Michael A. Fisher;George Plafker

  182
  Citations

• On the Formal Specification and Verification of Multi-Agent Systems

  Michael Fisher;Michael J. Wooldridge

  179
  Citations

• Upper crustal structure in Puget Lowland, Washington: Results from the 1998 Seismic Hazards Investigation in Puget Sound

  Thomas M. Brocher;Tom Parsons;Richard J. Blakely;Nikolas I. Christensen

  178
  Citations

• The vortex-street structure of ‘turbulent’ jets. Part 1

  J. C. Lau;M. J. Fisher

  177
  Citations

• Representing and executing agent-based systems

  Michael Fisher

  162
  Citations

• Verifying autonomous systems

  Michael Fisher;Louise Dennis;Matt Webster

  153
  Citations

• The influence of temperature on shock-free supersonic jet noise

  H.K. Tanna;P.D. Dean;M.J. Fisher

  151
  Citations

• Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  Farshid Amirabdollahian;Kerstin Dautenhahn;Clare Dixon;Kerstin I Eder

  1
  Citations