pldb wrapped

RGRichard Gerber

4 papers

cited 53×

cites 39

Reply guy/gal

GDGiorgio Delzanno

cited you 7×

Mutuals

1. NHNicolas Halbwachs4 ⇄ 2
2. APSA. Prasad Sistla2 ⇄ 1
3. JHKJames H. Kukula1 ⇄ 1
4. NKNils Klarlund2 ⇄ 1
5. PRPascal Raymond1 ⇄ 1

you ⇄ them

Parasocial crush

EMCEdmund M. Clarke

you: 6 · them: 0

Secret admirer

APAndreas Podelski

them: 4 · you: 0

Main character

Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic

CAV 1997 · cited 32×

Ratio'd

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

SAS 1995 · cited 18× · by your 20×

Vintage

You cite like it's 1994

Deepest dig

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

POPL 1977

Lamport number5

1. RGyou
2. WWPWilliam W. Pugh
3. JGJoseph Gil
4. AIAlon Itai
5. RPKRobert P. Kurshan
6. LLLeslie Lamport

Load-bearing co-author: William W. Pugh. Without them: 6.

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.