pldb wrapped

TITetsuo Ida

5 papers

cited 1×

cites 1

Reply guy/gal

CPChristian Prehofer

cited you 1×

Mutuals

1. MHMichael Hanus1 ⇄ 1

you ⇄ them

Main character

Leftmost Outside-In Narrowing Calculi

JFP 1997 · cited 1×

Deepest dig

A Needed Narrowing Strategy

POPL 1994

Lamport number7

1. TIyou
2. MMMircea Marin
3. PCÖPeter Csaba Ölveczky
4. MZMin Zhang
5. CWBClark W. Barrett
6. KSNKedar S. Namjoshi
7. RPKRobert P. Kurshan
8. LLLeslie Lamport

Load-bearing co-author: Mircea Marin. Without them: ∞.

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.