pldb wrapped

APAndré Platzer

18 papers

cited 30×

cites 51

Reply guy/gal

JTSJ. Tanner Slagel

cited you 3×

Mutuals

1. AIAhmed Irfan1 ⇄ 1
2. AAAlessandro Abate1 ⇄ 1
3. APAndrea Peruffo1 ⇄ 1
4. ASArmando Solar-Lezama1 ⇄ 1
5. AVMArnaldo Vieira Moura4 ⇄ 1

you ⇄ them

Parasocial crush

MNMichael Norrish

you: 4 · them: 0

Secret admirer

LMWLauren M. White

them: 3 · you: 0

Main character

Computing Differential Invariants of Hybrid Systems as Fixedpoints

CAV 2008 · cited 15×

Vintage

You cite like it's 2014

Deepest dig

Simplification by Cooperating Decision Procedures

TOPLAS 1979

Lamport number4

1. APyou
2. EMCEdmund M. Clarke
3. EAEE. Allen Emerson
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Edmund M. Clarke. 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.