pldb wrapped

FBFrantisek Blahoudek

4 papers

cited 39×

cites 26

Reply guy/gal

OLOndrej Lengál

cited you 11×

Mutuals

1. JEJavier Esparza4 ⇄ 3
2. SSSalomon Sickert3 ⇄ 4
3. ATAndrea Turrini2 ⇄ 9
4. FSFabio Somenzi2 ⇄ 2
5. JKJan Kretínský4 ⇄ 2

you ⇄ them

Parasocial crush

YTYih-Kuen Tsay

you: 3 · them: 0

Secret admirer

VHVojtech Havlena

them: 10 · you: 0

Main character

The Hanoi Omega-Automata Format

CAV 2015 · cited 25×

Ratio'd

LTL to Büchi Automata Translation: Fast and More Deterministic

TACAS 2012 · cited 20× · by your 25×

Vintage

You cite like it's 2014

Deepest dig

Efficient Büchi Automata from LTL Formulae

CAV 2000

Lamport number4

1. FByou
2. UTUfuk Topcu
3. RARajeev Alur
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.