pldb wrapped

MDWMartin De Wulf

3 papers

cited 44×

cites 11

Reply guy/gal

LHLukás Holík

cited you 9×

Mutuals

1. EMCEdmund M. Clarke3 ⇄ 1
2. MYVMoshe Y. Vardi2 ⇄ 1

you ⇄ them

Parasocial crush

FGFausto Giunchiglia

you: 2 · them: 0

Secret admirer

OLOndrej Lengál

them: 6 · you: 0

Main character

Antichains: A New Algorithm for Checking Universality of Finite Automata

CAV 2006 · cited 35×

Ratio'd

Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic…

CAV 2005 · cited 7× · by your 9×

Vintage

You cite like it's 2000

Deepest dig

Another Look at LTL Model Checking

CAV 1994

Lamport number4

1. MDWyou
2. TAHThomas A. Henzinger
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.