pldb wrapped

MMMichael Mendler

6 papers

cited 14×

cites 21

Reply guy/gal

AGAlain Girault

cited you 2×

Mutuals

1. NKNils Klarlund3 ⇄ 2
2. ADAchim Dannecker1 ⇄ 1
3. ACAndreas Claßen2 ⇄ 1
4. BSBernhard Steffen2 ⇄ 1
5. CFCarsten Friedrich1 ⇄ 1

you ⇄ them

Parasocial crush

ATAaron Turon

you: 2 · them: 0

Secret admirer

BJBengt Jonsson

them: 2 · you: 0

Main character

MOSEL: A FLexible Toolset for Monadic Second-Order Logic

TACAS 1997 · cited 8×

Vintage

You cite like it's 2003

Deepest dig

Ultracomputers

TOPLAS 1980

Lamport number5

1. MMyou
2. PKPeter Kelb
3. DDDennis Dams
4. KSNKedar S. Namjoshi
5. RPKRobert P. Kurshan
6. 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.