pldb wrapped

AVAndrás Vörös

3 papers

cited 5×

cites 26

Reply guy/gal

DBDirk Beyer

cited you 4×

Mutuals

1. DBDirk Beyer4 ⇄ 4
2. JSJan Strejcek1 ⇄ 3
3. ZÁZsófia Ádám2 ⇄ 1

you ⇄ them

Parasocial crush

FHFei He

you: 5 · them: 0

Secret admirer

MJMarek Jankola

them: 2 · you: 0

Main character

Theta: Various Approaches for Concurrent Program Verification (Competition…

TACAS 2025 · cited 4×

Vintage

You cite like it's 2021

Deepest dig

Memory Efficient Algorithms for the Verification of Temporal Properties

CAV 1990

Lamport number6

1. AVyou
2. LBLevente Bajczi
3. DBDirk Beyer
4. TAHThomas A. Henzinger
5. RARajeev Alur
6. RPKRobert P. Kurshan
7. LLLeslie Lamport

Load-bearing co-author: Levente Bajczi. Without them: 7.

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.