pldb wrapped

RDJRalph D. Jeffords

2 papers

cited 6×

cites 14

Reply guy/gal

AGArie Gurfinkel

cited you 1×

Mutuals

1. RBRamesh Bharadwaj3 ⇄ 1
2. SSSteve Sims1 ⇄ 1

you ⇄ them

Parasocial crush

HSHassen Saïdi

you: 4 · them: 0

Main character

Automatic Generation of State Invariants from Requirements Specifications

FSE 1998 · cited 6×

Vintage

You cite like it's 1997

Deepest dig

Model Checking and Abstraction

TOPLAS 1994

Lamport number7

1. RDJyou
2. CLHConstance L. Heitmeyer
3. SRFStuart R. Faulk
4. LGVLawrence G. Votta
5. LJJLalita Jategaonkar Jagadeesan
6. RARajeev Alur
7. RPKRobert P. Kurshan
8. LLLeslie Lamport

Load-bearing co-author: Constance L. Heitmeyer. Without them: ∞.

pldb.kirancodes.me/fun · within PLDB

Counts are citations between papers in PLDB, one per pair of papers; self-citations excluded. Mutuals: you cite each other (you ⇄ them). Older papers have thinner citation data.

Pictures come from Bluesky accounts we could match to dblp names. Not showing yours, or showing the wrong one? Email me.