pldb wrapped

AKAndreas Kuehlmann

5 papers

cited 29×

cites 18

Reply guy/gal

DKDaniel Kroening

cited you 7×

Mutuals

1. AAAdnan Aziz4 ⇄ 4
2. ACAlessandro Cimatti3 ⇄ 1
3. ABArmin Biere3 ⇄ 1
4. EMCEdmund M. Clarke4 ⇄ 1
5. KLMKenneth L. McMillan1 ⇄ 2

you ⇄ them

Parasocial crush

APAbelardo Pardo

you: 2 · them: 0

Secret admirer

FAZFadi A. Zaraket

them: 4 · you: 0

Main character

Generalizing DPLL to Richer Logics

CAV 2009 · cited 15×

Ratio'd

On Combining Formal and Informal Verification

CAV 1997 · cited 6× · by your 10×

Vintage

You cite like it's 2000

Deepest dig

Functional Extension of Symbolic Model Checking

CAV 1991

Lamport number3

1. AKyou
2. HJHoonSang Jin
3. RPKRobert P. Kurshan
4. LLLeslie Lamport

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.