Martin Homik

	2009
2		Martin Homik, Andreas Meier: Designing a GUI for Proofs - Evaluation of an HCI Experiment CoRR abs/0903.3926: (2009)
	2005
1		Erica Melis, Philipp Kärger, Martin Homik: Interactive Concept Mapping in ActiveMath. DeLFI 2005: 247-258

Coauthor Index

1	Philipp Kärger	[1]
2	Andreas Meier	[2]
3	Erica Melis	[1]

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page