pldb wrapped

MNRMarkus N. Rabe

6 papers

cited 92×

cites 63

Reply guy/gal

CHChristopher Hahn

cited you 11×

Mutuals

1. ASAlex Sanchez-Stern2 ⇄ 3
2. OGOrna Grumberg2 ⇄ 2
3. Arjun Guha1 ⇄ 1
4. BCPBenjamin C. Pierce1 ⇄ 2
5. CLGClaire Le Goues2 ⇄ 1

you ⇄ them

Parasocial crush

RBRoderick Bloem

you: 5 · them: 0

Secret admirer

BBBorzoo Bonakdarpour

them: 6 · you: 0

Main character

Algorithms for Model Checking HyperLTL and HyperCTL ^*

CAV 2015 · cited 38×

Ratio'd

Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model…

CAV 1999 · cited 13× · by your 38×

Vintage

You cite like it's 2014

Deepest dig

Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model…

CAV 1999

Lamport number4

1. MNRyou
2. PFPeter Faymonville
3. DAPDoron A. Peled
4. RPKRobert P. Kurshan
5. 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.