pldb wrapped

ASAlexander Schimpf

1 papers

cited 15×

cites 5

Reply guy/gal

APAndrei Popescu

cited you 2×

Secret admirer

ABArmin Biere

them: 2 · 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 2001

Deepest dig

Memory Efficient Algorithms for the Verification of Temporal Properties

CAV 1990

Lamport number5

1. ASyou
2. JEJavier Esparza
3. Rupak Majumdar
4. RARajeev Alur
5. RPKRobert P. Kurshan
6. 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.