pldb wrapped

FHFalk Howar

15 papers

cited 84×

cites 117

Reply guy/gal

DBDirk Beyer

cited you 22×

Mutuals

1. DBDirk Beyer10 ⇄ 22
2. DGDimitra Giannakopoulou3 ⇄ 2
3. GSGaëtan Staquet2 ⇄ 3
4. GAPGuillermo A. Pérez2 ⇄ 3
5. JRJurriaan Rot2 ⇄ 2

you ⇄ them

Parasocial crush

NSBNikolaj S. Bjørner

you: 8 · them: 0

Secret admirer

JSJan Strejcek

them: 8 · you: 0

Main character

JDart: A Dynamic Symbolic Analysis Framework

TACAS 2016 · cited 20×

Ratio'd

libalf: The Automata Learning Framework

CAV 2010 · cited 15× · by your 19×

Vintage

You cite like it's 2013

Deepest dig

Functional Specification of Synchronized Processes Based on Modal Logic

ICSE 1982

Lamport number4

1. FHyou
2. BJBengt Jonsson
3. DAPDoron A. Peled
4. RPKRobert P. Kurshan
5. LLLeslie Lamport

Load-bearing co-author: Bengt Jonsson. Without them: 5.

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.