Michael Fisher

Genetics in Medicine · with Amirabdollahian · 2013–2021

A researcher in the Science corpus: 3 papers; trusts 0 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Whom Michael Fisher trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Gerard J. Holzmann
  2. Leslie Lamport
  3. Rajeev Alur

Papers from Michael Fisher's perspective

Ordered by how strongly the researchers Michael Fisher trusts endorse each paper. Same corpus, a different order for every researcher.

  1. The SPIN Model Checker - primer and reference manual
  2. Discrete abstractions of hybrid systems (Proceedings of the IEEE)
  3. Model checking programs (Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering)
  4. An Introduction to MultiAgent Systems
  5. Jadex: A BDI Reasoning Engine (Multi-Agent Programming)
  6. Model Checking
  7. PHAVer: algorithmic verification of hybrid systems past HyTech (International Journal on Software Tools for Technology Transfer (STTT))
  8. The RASopathies (Annual review of genomics and human genetics (Print))
  9. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
  10. Handbook of Modal Logic

Their papers