SeidlHelmut

A succinct solver for ALFP

NielsonFlemming, NielsonHanne Riis, SeidlHelmut, 2002 .

Solving systems of rational equations through strategy iteration

SeidlHelmut, GawlitzaThomas Martin, 2011 .

Precise interprocedural analysis through linear algebra

SeidlHelmut, Müller-OlmMarkus, 2004 .

Equivalence of Deterministic Top-Down Tree-to-String Transducers Is Decidable

SeidlHelmut, ManethSebastian, KemperGregor, 2018 .

Analysis of modular arithmetic

SeidlHelmut, Müller-OlmMarkus, 2007 .