pldb wrapped

PRPeter van Rossum

4 papers

cited 14×

cites 19

Reply guy/gal

SJSebastian Junges

cited you 3×

Mutuals

1. AOAlbert Oliveras2 ⇄ 1
2. JKJoost-Pieter Katoen1 ⇄ 2
3. RNRobert Nieuwenhuis2 ⇄ 1
4. SASSanjit A. Seshia3 ⇄ 1

you ⇄ them

Parasocial crush

LZLintao Zhang

you: 3 · them: 0

Secret admirer

BLKBenjamin Lucien Kaminski

them: 2 · you: 0

Main character

Conditional Probabilities over Probabilistic and Nondeterministic Systems

TACAS 2008 · cited 7×

Vintage

You cite like it's 2003

Deepest dig

Simplification by Cooperating Decision Procedures

TOPLAS 1979

Lamport number4

1. PRyou
2. RSRoberto Sebastiani
3. MYVMoshe Y. Vardi
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Roberto Sebastiani. 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.