pldb wrapped

EQElisa Quintarelli

1 papers

cited 44×

cites 11

Reply guy/gal

Francesco Ranzato

cited you 9×

Mutuals

1. PCPatrick Cousot4 ⇄ 5
2. RCRadhia Cousot3 ⇄ 3
3. DASDavid A. Schmidt2 ⇄ 5
4. EMCEdmund M. Clarke3 ⇄ 1
5. Francesco Ranzato1 ⇄ 9

you ⇄ them

Secret admirer

IMIsabella Mastroeni

them: 7 · you: 0

Main character

Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking

SAS 2001 · cited 44×

Ratio'd

Types as Abstract Interpretations

POPL 1997 · cited 43× · by your 44×

Vintage

You cite like it's 1997

Deepest dig

Abstract Interpretation: A Unified Lattice Model for Static Analysis of…

POPL 1977

Lamport number5

1. EQyou
2. RGRoberto Giacobazzi
3. SKDSaumya K. Debray
4. RDSRichard D. Schlichting
5. FBSFred B. Schneider
6. LLLeslie Lamport

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