pldb wrapped

ADAlexandre David

4 papers

cited 42×

cites 6

Reply guy/gal

DPDavid Parker

cited you 5×

Mutuals

1. ACAlessandro Cimatti1 ⇄ 1
2. DPDavid Parker1 ⇄ 5
3. GNGethin Norman1 ⇄ 1
4. MRMarco Roveri1 ⇄ 1
5. MBMarius Bozga1 ⇄ 1

you ⇄ them

Secret admirer

SJSebastian Junges

them: 4 · you: 0

Main character

UPPAAL-Tiga: Time for Playing Games!

CAV 2007 · cited 16×

Ratio'd

Romeo: A Tool for Analyzing Time Petri Nets

CAV 2005 · cited 5× · by your 8×

Vintage

You cite like it's 2005

Deepest dig

Kronos: A Model-Checking Tool for Real-Time Systems

CAV 1998

Lamport number5

1. ADyou
2. ALAxel Legay
3. LALuca de Alfaro
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.