pldb wrapped

PLPeter Lammich

15 papers

cited 75×

cites 87

Reply guy/gal

AMAnca Muscholl

cited you 7×

Mutuals

1. FPFrançois Pottier4 ⇄ 7
2. ACArthur Charguéraud7 ⇄ 3
3. AGArmaël Guéneau2 ⇄ 2
4. OKOndrej Kuncar2 ⇄ 3
5. AGAarti Gupta8 ⇄ 1

you ⇄ them

Parasocial crush

FIFranjo Ivancic

you: 5 · them: 0

Secret admirer

IWIgor Walukiewicz

them: 7 · you: 0

Main character

A Fully Verified Executable LTL Model Checker

CAV 2013 · cited 15×

Ratio'd

A Verified Model Checker for the Modal µ-calculus in Coq

TACAS 1998 · cited 10× · by your 15×

Vintage

You cite like it's 2012

Deepest dig

Memory Efficient Algorithms for the Verification of Temporal Properties

CAV 1990

Lamport number4

1. PLyou
2. APAndrei Popescu
3. ELGElsa L. Gunter
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Andrei Popescu. 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.