pldb wrapped

CJMChris J. Myers

7 papers

cited 6×

cites 21

Reply guy/gal

AHArnd Hartmanns

cited you 1×

Mutuals

1. MVMatthias Volk1 ⇄ 1
2. SJSebastian Junges1 ⇄ 1
3. TYTomohiro Yoneda2 ⇄ 1
4. VWVerena Wolf2 ⇄ 1

you ⇄ them

Parasocial crush

BWBjörn Wachter

you: 3 · them: 0

Main character

Automatic Verification of Timed Circuits

CAV 1994 · cited 3×

Vintage

You cite like it's 2000

Deepest dig

Using Partial Orders to Improve Automatic Verification Methods

CAV 1990

Lamport number5

1. CJMyou
2. TYTomohiro Yoneda
3. EMCEdmund M. Clarke
4. EAEE. Allen Emerson
5. RPKRobert P. Kurshan
6. 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.