Steffen Zschaler

Identifiers

• name variant Steffen Zschaler 0.60 · backfill

Papers (2)

1. A Nesting-Free Normal Form for Nested Conditions in Finite Lattices of Subgraphs math.CT · 2026 · author #2
2. Automatic Generation of Atomic Consistency Preserving Search Operators for Search-Based Model Engineering cs.AI · 2019 · author #2

Mentions

• 2601.18376 #2 · arxiv_oai · confidence 0.70 Steffen Zschaler

Frequent Coauthors

• Alexandru Burdusel 1 shared papers
• Jens Kosiol 1 shared papers
• Stefan John 1 shared papers