pldb wrapped

ABArmin Biere

26 papers

cited 421×

cites 132

Reply guy/gal

CWBClark W. Barrett

cited you 21×

Mutuals

1. CWBClark W. Barrett8 ⇄ 21
2. DKDaniel Kroening8 ⇄ 9
3. CTCesare Tinelli7 ⇄ 11
4. KLMKenneth L. McMillan7 ⇄ 11
5. ANAina Niemetz6 ⇄ 5

you ⇄ them

Parasocial crush

NSBNikolaj S. Bjørner

you: 6 · them: 0

Secret admirer

AGAarti Gupta

them: 12 · you: 0

Main character

Symbolic Model Checking without BDDs

TACAS 1999 · cited 245×

Ratio'd

Model Checking and Abstraction

TOPLAS 1994 · cited 110× · by your 245×

Vintage

You cite like it's 2009

Deepest dig

On the Temporal Analysis of Fairness

POPL 1980

Lamport number4

1. AByou
2. EMCEdmund M. Clarke
3. EAEE. Allen Emerson
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

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.