Heiko Schmidt

According to our database, Heiko Schmidt authored at least 7 papers between 2007 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

A C++ library for turbulent mixing simulation using Hierarchical Parcel Swapping (HiPS).

Masoomeh Behrang, Tommy Starick, Heiko Schmidt, David O. Lignell

SoftwareX, 2025

2024

EyeLiveMetrics: Real-time Analysis of Online Reading with Eye Tracking.

Daniel Hienert, Heiko Schmidt, Thomas Krämer, Dagmar Kern

Proceedings of the 2024 Symposium on Eye Tracking Research and Applications, 2024

2009

On the role of nondeterminism and refinement in model-driven top-down development of software systems.

Heiko Schmidt

PhD thesis, 2009

On the Expressiveness of Refinement Settings.

Harald Fecher, David de Frutos-Escrig, Gerald Lüttgen, Heiko Schmidt

Proceedings of the Fundamentals of Software Engineering, 2009

2008

Comparing disjunctive modal transition systems with an one-selecting variant.

Harald Fecher, Heiko Schmidt

J. Log. Algebraic Methods Program., 2008

2007

Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems.

Harald Fecher, Heiko Schmidt

Proceedings of the Fourth Workshop on Structural Operational Semantics, 2007

Refinement Sensitive Formal Semantics of State Machines With Persistent Choice.

Harald Fecher, Michael Huth, Heiko Schmidt, Jens Schönborn

Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, 2007