pldb wrapped

RFRanan Fraer

4 papers

cited 45×

cites 32

Reply guy/gal

RSRoberto Sebastiani

cited you 6×

Mutuals

1. KLMKenneth L. McMillan3 ⇄ 3
2. ACAlessandro Cimatti2 ⇄ 3
3. EMCEdmund M. Clarke11 ⇄ 2
4. ESEli Singerman2 ⇄ 3
5. OSOfer Strichman2 ⇄ 2

you ⇄ them

Parasocial crush

SVASérgio Vale Aguiar Campos

you: 3 · them: 0

Secret admirer

NPNir Piterman

them: 4 · you: 0

Main character

Benefits of Bounded Model Checking at an Industrial Setting

CAV 2001 · cited 21×

Ratio'd

Symbolic Reachability Analysis Based on SAT-Solvers

TACAS 2000 · cited 14× · by your 21×

Vintage

You cite like it's 1999

Deepest dig

Checking That Finite State Concurrent Programs Satisfy Their Linear…

POPL 1985

Lamport number3

1. RFyou
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.