pldb wrapped

MPMaximilian Prokop

3 papers

cited 6×

cites 26

Reply guy/gal

NPNir Piterman

cited you 3×

Mutuals

1. NPNir Piterman4 ⇄ 3
2. ARAndoni Rodríguez3 ⇄ 2
3. CSCésar Sánchez3 ⇄ 2
4. LDSLuca Di Stefano2 ⇄ 2
5. SAShaun Azzopardi2 ⇄ 2

you ⇄ them

Parasocial crush

SSSalomon Sickert

you: 9 · them: 0

Main character

SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning

TACAS 2025 · cited 4×

Vintage

You cite like it's 2017

Deepest dig

Safraless Compositional Synthesis

CAV 2006

Lamport number5

1. MPyou
2. JKJan Kretínský
3. TAHThomas A. Henzinger
4. RARajeev Alur
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.