Michael Merritt
4 papers
cited 9×
cites 8
Vintage
You cite like it's 1989
Early adopter
cited 1 paper before they were published
e.g. Modelling Asynchrony with a Synchronous… (1995) → Symbolic Model Checking (CAV 1996)
Lamport number2
Load-bearing co-author: Robert P. Kurshan. Without them: 5.
pldb.kirancodes.me/fun · within PLDB