pldb wrapped

ATAndrea Turrini

14 papers

cited 59×

cites 144

Reply guy/gal

VHVojtech Havlena

cited you 9×

Mutuals

1. LHLukás Holík7 ⇄ 7
2. JKJoost-Pieter Katoen4 ⇄ 8
3. DPDavid Parker12 ⇄ 3
4. OLOndrej Lengál3 ⇄ 6
5. ADAlexandre Duret-Lutz8 ⇄ 2

you ⇄ them

Parasocial crush

APAndreas Podelski

you: 8 · them: 0

Secret admirer

TQTim Quatmann

them: 7 · you: 0

Main character

JANI: Quantitative Model and Tool Interaction

TACAS 2017 · cited 26×

Ratio'd

The Hanoi Omega-Automata Format

CAV 2015 · cited 25× · by your 26×

Vintage

You cite like it's 2013

Deepest dig

Modalities for Model Checking: Branching Time Strikes Back

POPL 1985

Lamport number3

1. ATyou
2. MYVMoshe Y. Vardi
3. RPKRobert P. Kurshan
4. LLLeslie Lamport

Load-bearing co-author: Moshe Y. Vardi. 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.