pldb wrapped

TVTomás Vojnar

51 papers

cited 324×

cites 379

Reply guy/gal

DBDirk Beyer

cited you 41×

Mutuals

1. DBDirk Beyer13 ⇄ 41
2. PAAParosh Aziz Abdulla15 ⇄ 12
3. TWThomas Wies11 ⇄ 14
4. ARAhmed Rezine8 ⇄ 9
5. GRG. Ramalingam6 ⇄ 6

you ⇄ them

Parasocial crush

JRJean-François Raskin

you: 9 · them: 0

Secret admirer

ZEZafer Esen

them: 10 · you: 0

Main character

Abstract Regular Model Checking

CAV 2004 · cited 33×

Ratio'd

Verifying Systems with Infinite but Regular State Spaces

CAV 1998 · cited 31× · by your 33×

Vintage

You cite like it's 2010

Deepest dig

Abstract Interpretation: A Unified Lattice Model for Static Analysis of…

POPL 1977

Early adopter

cited 1 paper before they were published

e.g. Programs with Lists Are Counter Automata (2006) → On Flat Programs with Lists (VMCAI 2007)

Lamport number4

1. TVyou
2. PAAParosh Aziz Abdulla
3. DAPDoron A. Peled
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.