Stefan Schwoon

Identifiers

• name variant Stefan Schwoon 0.60 · backfill

Papers (3)

1. Computation of Summaries Using Net Unfoldings cs.LO · 2013 · author #3
2. Comparison of Algorithms for Checking Emptiness on Buechi Automata cs.LO · 2009 · author #2
3. Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains cs.DS · 2009 · author #2

Mentions

• 1310.2143 #3 · backfill · confidence 0.70 Stefan Schwoon
• 0910.3766 #2 · backfill · confidence 0.70 Stefan Schwoon
• 0901.0501 #2 · backfill · confidence 0.70 Stefan Schwoon

Frequent Coauthors

• Andreas Gaiser 1 shared papers
• Javier Esparza 1 shared papers
• Ji\v{r}\'i Srba 1 shared papers
• Lo\"ig Jezequel 1 shared papers
• Morten K\"uhnrich 1 shared papers
• Stefan Kiefer 1 shared papers