pldb wrapped

OKOndrej Kuncar

5 papers

cited 33×

cites 17

Reply guy/gal

DTDmitriy Traytel

cited you 10×

Mutuals

1. ALAndreas Lochbihler3 ⇄ 2
2. PLPeter Lammich3 ⇄ 2
3. AYAkihisa Yamada1 ⇄ 2
4. DTDmitriy Traytel1 ⇄ 10
5. JCBJasmin Christian Blanchette1 ⇄ 6

you ⇄ them

Parasocial crush

ASAlexander Schimpf

you: 2 · them: 0

Secret admirer

Talia Ringer

them: 3 · you: 0

Main character

Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL

CPP 2013 · cited 28×

Ratio'd

Representation Independence and Data Abstraction

POPL 1986 · cited 25× · by your 28×

Vintage

You cite like it's 2013

Deepest dig

Representation Independence and Data Abstraction

POPL 1986

Lamport number4

1. OKyou
2. APAndrei Popescu
3. ELGElsa L. Gunter
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Andrei Popescu. 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.