pldb wrapped

TQTim Quatmann

13 papers

cited 76×

cites 127

Reply guy/gal

SJSebastian Junges

cited you 16×

Mutuals

1. SJSebastian Junges13 ⇄ 16
2. BLKBenjamin Lucien Kaminski7 ⇄ 12
3. JKJoost-Pieter Katoen6 ⇄ 6
4. JKJan Kretínský6 ⇄ 5
5. KCKrishnendu Chatterjee5 ⇄ 6

you ⇄ them

Parasocial crush

MZKMarta Z. Kwiatkowska

you: 29 · them: 0

Secret admirer

MVMarck van der Vegt

them: 8 · you: 0

Main character

The Quantitative Verification Benchmark Set

TACAS 2019 · cited 30×

Ratio'd

JANI: Quantitative Model and Tool Interaction

TACAS 2017 · cited 26× · by your 30×

Vintage

You cite like it's 2017

Deepest dig

Certifying Model Checkers

CAV 2001

Lamport number4

1. TQyou
2. JKJoost-Pieter Katoen
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.