pldb wrapped

ADAlex Dixon

2 papers

cited 4×

cites 2

Reply guy/gal

POPhilip Offtermatt

cited you 2×

Mutuals

1. CHChristoph Haase1 ⇄ 1
2. MBMichael Blondin1 ⇄ 1

you ⇄ them

Main character

KReach: A Tool for Reachability in Petri Nets

TACAS 2020 · cited 4×

Deepest dig

Analysis of Recursively Parallel Programs

TOPLAS 2013

Lamport number5

1. ADyou
2. RLRanko Lazic
3. MJMarcin Jurdzinski
4. MYVMoshe Y. Vardi
5. RPKRobert P. Kurshan
6. LLLeslie Lamport

Load-bearing co-author: Ranko Lazic. 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.