Refinement Sensitive Formal Semantics of State Machines With Persistent Choice. - Harald Fecher; Michael Huth 001; Heiko Schmidt; Jens Schönborn (AVoCS, 2007)

Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems. - Harald Fecher; Heiko Schmidt (SOS@LICS/ICALP, 2007)

Comparing disjunctive modal transition systems with an one-selecting variant. - Harald Fecher; Heiko Schmidt (J. Log. Algebraic Methods Program., 2008)

On the Expressiveness of Refinement Settings. - Harald Fecher; David de Frutos-Escrig; Gerald Lüttgen; Heiko Schmidt (FSEN, 2009)

On the role of nondeterminism and refinement in model-driven top-down development of software systems. - Heiko Schmidt (2009)

EyeLiveMetrics: Real-time Analysis of Online Reading with Eye Tracking. - Daniel Hienert; Heiko Schmidt; Thomas Krämer; Dagmar Kern (ETRA, 2024)