pldb wrapped

MFMartin Fränzle

8 papers

cited 10×

cites 20

Reply guy/gal

ASArmando Solar-Lezama

cited you 1×

Mutuals

1. ASArmando Solar-Lezama1 ⇄ 1
2. EGEric Goubault1 ⇄ 1
3. LSLorenz Sahlmann1 ⇄ 1
4. SSSriram Sankaranarayanan1 ⇄ 1
5. SPSylvie Putot1 ⇄ 1

you ⇄ them

Parasocial crush

EMCEdmund M. Clarke

you: 3 · them: 0

Main character

Automatic Verification of Stability and Safety for Delay Differential Equations

CAV 2015 · cited 4×

Vintage

You cite like it's 2013

Deepest dig

From Duration Calculus To Linear Hybrid Automata

CAV 1995

Lamport number3

1. MFyou
2. LCLuca Cardelli
3. MAMartín Abadi
4. LLLeslie Lamport

Load-bearing co-author: Luca Cardelli. Without them: 4.

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.