pldb wrapped

MGMarcelo Glusman

3 papers

cited 10×

cites 25

Reply guy/gal

OSOfer Strichman

cited you 2×

Mutuals

1. AGAnubhav Gupta1 ⇄ 1
2. EMCEdmund M. Clarke6 ⇄ 1
3. OSOfer Strichman1 ⇄ 2
4. OGOrna Grumberg2 ⇄ 1
5. OKOrna Kupferman1 ⇄ 1

you ⇄ them

Parasocial crush

LFLimor Fix

you: 3 · them: 0

Main character

Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial…

TACAS 2003 · cited 9×

Ratio'd

Stepwise CTL Model Checking of State/Event Systems

CAV 1999 · cited 7× · by your 9×

Vintage

You cite like it's 1999

Deepest dig

Checking That Finite State Concurrent Programs Satisfy Their Linear…

POPL 1985

Lamport number3

1. MGyou
2. MYVMoshe Y. Vardi
3. RPKRobert P. Kurshan
4. LLLeslie Lamport

Load-bearing co-author: Moshe Y. Vardi. Without them: 4.

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.