pldb wrapped

RSRoberto Sebastiani

18 papers

cited 326×

cites 117

Reply guy/gal

CWBClark W. Barrett

cited you 16×

Mutuals

1. BDBruno Dutertre7 ⇄ 5
2. MRMarco Roveri5 ⇄ 6
3. AGArie Gurfinkel4 ⇄ 9
4. ABArmin Biere7 ⇄ 4
5. Aws Albarghouthi4 ⇄ 9

you ⇄ them

Parasocial crush

OSOfer Strichman

you: 7 · them: 0

Secret admirer

ANAina Niemetz

them: 14 · you: 0

Main character

The MathSAT5 SMT Solver

TACAS 2013 · cited 130×

Ratio'd

A Fast Linear-Arithmetic Solver for DPLL(T)

CAV 2006 · cited 89× · by your 130×

Vintage

You cite like it's 2004

Deepest dig

Simplification by Cooperating Decision Procedures

TOPLAS 1979

Lamport number3

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