pldb wrapped

MHMarieke Huisman

16 papers

cited 44×

cites 177

Reply guy/gal

Mike Dodds

cited you 5×

Mutuals

1. MJPMatthew J. Parkinson14 ⇄ 3
2. PMPeter Müller14 ⇄ 3
3. DBDirk Beyer2 ⇄ 2
4. Mike Dodds2 ⇄ 5
5. AMAlnis Murtovi2 ⇄ 1

you ⇄ them

Parasocial crush

AJSAlexander J. Summers

you: 14 · them: 0

Secret admirer

SJSuresh Jagannathan

them: 4 · 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 2013

Deepest dig

Ten Years of Hoare's Logic: A Survey - Part 1

TOPLAS 1981

Lamport number4

1. MHyou
2. GFGrigory Fedyukovich
3. HCHana Chockler
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Grigory Fedyukovich. 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.