pldb wrapped

Ezio Bartocci

@eziobartocci.bsky.social

19 papers

cited 83×

cites 140

Reply guy/gal

JKJoost-Pieter Katoen

cited you 18×

Mutuals

1. JKJoost-Pieter Katoen8 ⇄ 18
2. BLKBenjamin Lucien Kaminski6 ⇄ 11
3. CMChristoph Matheja4 ⇄ 10
4. HFHongfei Fu6 ⇄ 4
5. JHJustin Hsu3 ⇄ 3

you ⇄ them

Parasocial crush

ACAleksandar Chakarov

you: 6 · them: 0

Secret admirer

DHDarion Haase

them: 6 · you: 0

Main character

TOOLympics 2019: An Overview of Competitions in Formal Methods

TACAS 2019 · cited 14×

Ratio'd

The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models -…

TACAS 2019 · cited 11× · by your 14×

Vintage

You cite like it's 2016

Deepest dig

On the Temporal Analysis of Fairness

POPL 1980

Lamport number4

1. you
2. RGRadu Grosu
3. RARajeev Alur
4. RPKRobert P. Kurshan
5. 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.