Heiko Schmidt

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 1

Top Topics

Usability Evaluation

Visual Attention

Top Venues

University of Kiel, Germany (PHD)

Education History

University of Kiel, Germany

PHD

Publications

Daniel Hienert, Heiko Schmidt, Thomas Krämer, Dagmar Kern
EyeLiveMetrics: Real-time Analysis of Online Reading with Eye Tracking. ETRA (2024)
Harald Fecher, Michael Huth, Heiko Schmidt, Jens Schönborn
Refinement Sensitive Formal Semantics of State Machines With Persistent Choice. Electron. Notes Theor. Comput. Sci. 250 (1) (2009)
Harald Fecher, David de Frutos-Escrig, Gerald Lüttgen, Heiko Schmidt
On the Expressiveness of Refinement Settings. FSEN (2009)
Harald Fecher, Heiko Schmidt
Comparing disjunctive modal transition systems with an one-selecting variant. J. Log. Algebraic Methods Program. 77 (1-2) (2008)
Harald Fecher, Heiko Schmidt
Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems. Electron. Notes Theor. Comput. Sci. 192 (1) (2007)