N. Lincoln

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 N. Lincoln trusts overall

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

  1. Gerard J. Holzmann
  2. Leslie Lamport

Papers from N. Lincoln's perspective

Ordered by how strongly the researchers N. Lincoln 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