pldb wrapped

JSJuraj Síc

5 papers

cited 21×

cites 123

Reply guy/gal

MHMichal Hecko

cited you 6×

Mutuals

1. PRPhilipp Rümmer24 ⇄ 5
2. AWLAnthony W. Lin20 ⇄ 4
3. MVMargus Veanes7 ⇄ 3
4. DHDenghang Hu4 ⇄ 2
5. MHMatthew Hague13 ⇄ 2

you ⇄ them

Parasocial crush

PAAParosh Aziz Abdulla

you: 18 · them: 0

Secret admirer

EZEkaterina Zhuchko

them: 3 · you: 0

Main character

Solving String Constraints with Lengths by Stabilization

OOPSLA 2023 · cited 11×

Vintage

You cite like it's 2016

Deepest dig

An Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended…

SAS 1995

Lamport number5

1. JSyou
2. YCYu-Fang Chen
3. BWBow-Yaw Wang
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.