pldb wrapped

DODenis Oddoux

1 papers

cited 41×

cites 2

Reply guy/gal

YTYih-Kuen Tsay

cited you 5×

Mutuals

1. MYVMoshe Y. Vardi1 ⇄ 4

you ⇄ them

Secret admirer

JKJan Kretínský

them: 4 · you: 0

Main character

Fast LTL to Büchi Automata Translation

CAV 2001 · cited 41×

Ratio'd

Improved Automata Generation for Linear Temporal Logic

CAV 1999 · cited 19× · by your 41×

Deepest dig

Improved Automata Generation for Linear Temporal Logic

CAV 1999

Lamport number6

1. DOyou
2. PGPaul Gastin
3. RGR. Govind
4. PAAParosh Aziz Abdulla
5. DAPDoron A. Peled
6. RPKRobert P. Kurshan
7. LLLeslie Lamport

Load-bearing co-author: Paul Gastin. Without them: ∞.

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.