pldb wrapped

JKJean-Pierre Krimm

3 papers

cited 16×

cites 18

Reply guy/gal

FLFrédéric Lang

cited you 4×

Mutuals

1. RMRadu Mateescu2 ⇄ 3
2. HGHubert Garavel3 ⇄ 1
3. JKJeff Kramer3 ⇄ 1
4. MSMihaela Sighireanu2 ⇄ 1

you ⇄ them

Parasocial crush

AKAlain Kerbrat

you: 3 · them: 0

Secret admirer

CSPCorina S. Pasareanu

them: 3 · you: 0

Main character

Compositional State Space Generation from Lotos Programs

TACAS 1997 · cited 13×

Ratio'd

Symbolic Equivalence Checking

CAV 1993 · cited 7× · by your 13×

Vintage

You cite like it's 1997

Deepest dig

Compositional Minimization of Finite State Systems

CAV 1990

Lamport number4

1. JKyou
2. SGSusanne Graf
3. DAPDoron A. Peled
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Susanne Graf. 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.