pldb wrapped

GJHGerard J. Holzmann

15 papers

cited 105×

cites 21

Reply guy/gal

BFBernd Fischer

cited you 5×

Mutuals

1. MYMihalis Yannakakis2 ⇄ 3
2. PGPatrice Godefroid2 ⇄ 2
3. ABArmin Biere1 ⇄ 1
4. DLDDavid L. Dill1 ⇄ 2
5. DAPDoron A. Peled1 ⇄ 1

you ⇄ them

Parasocial crush

MBDMatthew B. Dwyer

you: 4 · them: 0

Secret admirer

Abhik Roychoudhury

them: 4 · you: 0

Main character

Randomized Differential Testing as a Prelude to Formal Verification

ICSE 2007 · cited 25×

Ratio'd

Timing Verification by Successive Approximation

CAV 1992 · cited 12× · by your 21×

Vintage

You cite like it's 1998

Deepest dig

Memory Efficient Algorithms for the Verification of Temporal Properties

CAV 1990

Lamport number3

1. GJHyou
2. RARajeev Alur
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.