pldb wrapped

RDRenzo Degiovanni

10 papers

cited 20×

cites 88

Reply guy/gal

HWHai Wan

cited you 6×

Mutuals

1. SUSebastián Uchitel7 ⇄ 3
2. HWHai Wan2 ⇄ 6
3. WLWeilin Luo2 ⇄ 6
4. BYBinhao Yang1 ⇄ 4
5. DADalal Alrajeh1 ⇄ 2

you ⇄ them

Parasocial crush

ACAlessandro Cimatti

you: 7 · them: 0

Secret admirer

FCFrancisco Cirelli

them: 3 · you: 0

Main character

Automated goal operationalisation based on interpolation and SAT solving

ICSE 2014 · cited 7×

Ratio'd

Debugging Overconstrained Declarative Models Using Unsatisfiable Cores

ASE 2003 · cited 5× · by your 6×

Vintage

You cite like it's 2011

Deepest dig

Synthesis of Communicating Processes from Temporal Logic Specifications

TOPLAS 1984

Lamport number5

1. RDyou
2. DGDiego Garbervetsky
3. ZPZvonimir Pavlinovic
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.