pldb wrapped

MHMalte Helmert

1 papers

cited 3×

cites 3

Reply guy/gal

APAndreas Podelski

cited you 2×

Mutuals

1. SKSebastian Kupferschmid2 ⇄ 2
2. APAndreas Podelski1 ⇄ 2

you ⇄ them

Main character

The Causal Graph Revisited for Directed Model Checking

SAS 2009 · cited 3×

Deepest dig

Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern…

TACAS 2004

Lamport number5

1. MHyou
2. MWMartin Wehrle
3. RGRadu Grosu
4. RARajeev Alur
5. RPKRobert P. Kurshan
6. LLLeslie Lamport

Load-bearing co-author: Martin Wehrle. 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.