Louise Dennis

2013

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

Whom Louise Dennis trusts overall

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

  1. Gerard J. Holzmann
  2. Leslie Lamport
  3. Rajeev Alur
  4. Willem Visser
  5. Barbara Messing
  6. Paulo Tabuada
  7. Patrizio Pelliccione
  8. Thomas A. Henzinger
  9. Rafael Heitor Bordini

Papers from Louise Dennis's perspective

Ordered by how strongly the researchers Louise Dennis 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. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
  9. Handbook of Modal Logic
  10. Verification and Control of Hybrid Systems - A Symbolic Approach

Their papers