Mutuals
- Daniel Jackson5 ⇄ 4
- Andrew Gacek1 ⇄ 1
- Byron Cook1 ⇄ 1
- Carsten Varming1 ⇄ 1
- Cormac Flanagan4 ⇄ 1
you ⇄ them
Main character
Onward! 2011 · cited 16×
Vintage
You cite like it's 2001
Early adopter
cited 1 paper before they were published
e.g. Modular verification of… (2001) → DrScheme: a programming environment for Scheme (JFP 2002)
Lamport number3
Load-bearing co-author: Moshe Y. Vardi. Without them: 4.
pldb.kirancodes.me/fun · within PLDB