pldb wrapped

EBElliot Barlas

1 papers

cited 5×

cites 8

Reply guy/gal

CACyrille Artho

cited you 3×

Mutuals

1. CACyrille Artho1 ⇄ 3

you ⇄ them

Parasocial crush

MBDMatthew B. Dwyer

you: 2 · them: 0

Secret admirer

MHMasami Hagiya

them: 3 · you: 0

Main character

Netstub: a framework for verification of distributed java applications

ASE 2007 · cited 5×

Vintage

You cite like it's 2003

Deepest dig

Model Checking for Programming Languages using Verisoft

POPL 1997

Lamport number6

1. EByou
2. TBTevfik Bultan
3. CWChao Wang
4. ZYZijiang Yang
5. RARajeev Alur
6. RPKRobert P. Kurshan
7. LLLeslie Lamport

Load-bearing co-author: Tevfik Bultan. 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.