pldb wrapped

BFBernd Finkbeiner

52 papers

cited 167×

cites 360

Reply guy/gal

THTzu-Han Hsu

cited you 16×

Mutuals

1. CSCésar Sánchez6 ⇄ 13
2. PMPeter Müller6 ⇄ 7
3. RBRoderick Bloem8 ⇄ 6
4. APAndreas Podelski6 ⇄ 5
5. BBBorzoo Bonakdarpour5 ⇄ 15

you ⇄ them

Parasocial crush

EMCEdmund M. Clarke

you: 15 · them: 0

Secret admirer

ACAlcino Cunha

them: 8 · you: 0

Main character

Algorithms for Model Checking HyperLTL and HyperCTL ^*

CAV 2015 · cited 38×

Ratio'd

On Automation of CTL* Verification for Infinite-State Systems

CAV 2015 · cited 16× · by your 23×

Vintage

You cite like it's 2013

Deepest dig

Abstract Interpretation: A Unified Lattice Model for Static Analysis of…

POPL 1977

Lamport number3

1. BFyou
2. DAPDoron A. Peled
3. RPKRobert P. Kurshan
4. LLLeslie Lamport

Load-bearing co-author: Doron A. Peled. 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.