pldb wrapped

JPJaco van de Pol

25 papers

cited 86×

cites 197

Reply guy/gal

OLOndrej Lhoták

cited you 7×

Mutuals

1. OLOndrej Lhoták10 ⇄ 7
2. ACAlessandro Cimatti5 ⇄ 3
3. JIBJonathan Immanuel Brachthäuser6 ⇄ 3
4. FKFabrice Kordon2 ⇄ 5
5. GCGianfranco Ciardo6 ⇄ 2

you ⇄ them

Parasocial crush

MYVMoshe Y. Vardi

you: 8 · them: 0

Secret admirer

MLMatthew Lutze

them: 6 · you: 0

Main character

LTSmin: High-Performance Language-Independent Model Checking

TACAS 2015 · cited 25×

Ratio'd

Model Checking of Real-Time Reachability Properties Using Abstractions

TACAS 1998 · cited 18× · by your 25×

Vintage

You cite like it's 2009

Deepest dig

An Efficient Unification Algorithm

TOPLAS 1982

Lamport number4

1. JPyou
2. MTDMuhammad Torabi Dashti
3. MMMarius Minea
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Muhammad Torabi Dashti. Without them: 5.

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.