pldb wrapped

SMSergio Mover

11 papers

cited 116×

cites 122

Reply guy/gal

KYRKristin Yvonne Rozier

cited you 7×

Mutuals

1. RSRoberto Sebastiani6 ⇄ 3
2. KLMKenneth L. McMillan3 ⇄ 2
3. MYVMoshe Y. Vardi2 ⇄ 2
4. NSBNikolaj S. Bjørner2 ⇄ 2
5. ARBAaron R. Bradley5 ⇄ 1

you ⇄ them

Parasocial crush

ATAshish Tiwari

you: 7 · them: 0

Secret admirer

JLJianwen Li

them: 6 · you: 0

Main character

The nuXmv Symbolic Model Checker

CAV 2014 · cited 62×

Ratio'd

InvGen: An Efficient Invariant Generator

CAV 2009 · cited 44× · by your 62×

Vintage

You cite like it's 2011

Deepest dig

Model Checking and Abstraction

TOPLAS 1994

Lamport number4

1. SMyou
2. PCPavol Cerný
3. RARajeev Alur
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.