Martin Homik

发表

Ressourcenoptimierung von Workflow Problemen

Martin Homik, 2002 .

Designing a GUI for Proofs - Evaluation of an HCI Experiment pdf

Andreas Meier, Martin Homik, A. Meier, 2009, ArXiv.

Interactive Concept Mapping in ActiveMath

Erica Melis, Martin Homik, Philipp Kärger, 2005, DeLFI.

Designing a Proof GUI for Non-Experts - Evaluation of an Experiment

Andreas Meier, Martin Homik, A. Meier, 2005 .

Semantic-aware components and services of ActiveMath

Paul Libbrecht, Erica Melis, Carsten Ullrich, 2006, Br. J. Educ. Technol..