pldb wrapped

TMTobias Meggendorfer

12 papers

cited 52×

cites 175

Reply guy/gal

JKJoost-Pieter Katoen

cited you 7×

Mutuals

1. JKJoost-Pieter Katoen14 ⇄ 7
2. EKGEhsan Kafshdar Goharshady5 ⇄ 5
3. TQTim Quatmann4 ⇄ 4
4. NPNir Piterman5 ⇄ 3
5. PNPetr Novotný11 ⇄ 3

you ⇄ them

Parasocial crush

JEJavier Esparza

you: 12 · them: 0

Secret admirer

Rupak Majumdar

them: 5 · you: 0

Main character

Sound and Complete Certificates for Quantitative Termination Analysis of…

CAV 2022 · cited 22×

Ratio'd

MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff…

TACAS 2015 · cited 6× · by your 8×

Vintage

You cite like it's 2017

Deepest dig

Abstract Interpretation: A Unified Lattice Model for Static Analysis of…

POPL 1977

Lamport number4

1. TMyou
2. KCKrishnendu Chatterjee
3. MYVMoshe Y. Vardi
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Krishnendu Chatterjee. 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.