Marvin Schiller

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2011
c6		Serge Autexier, Dominik Dietrich, Marvin Schiller: Towards an Intelligent Tutor for Mathematical Proofs. THedu'11 2011: 1-28
	2009
c5		Marvin Schiller, Christoph Benzmüller: Granularity-Adaptive Proof Presentation. AIED 2009: 599-601
c4		Marvin Schiller, Christoph Benzmüller: Proof Granularity as an Empirical Problem? CSEDU (1) 2009: 350-354
c3		Marvin Schiller, Christoph Benzmüller: Presenting Proofs with Adapted Granularity. KI 2009: 289-297
i1		Marvin Schiller, Christoph Benzmüller: Granularity-Adaptive Proof Presentation. CoRR abs/0903.0314 (2009)
	2007
c2		Christoph Benzmüller, Dominik Dietrich, Marvin Schiller, Serge Autexier: Deep Inference for Automated Proof Tutoring? KI 2007: 435-439
	2006
c1		Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Henri Lesourd, Marvin Schiller, Magdalena Wolska: DiaWOz-II - A Tool for Wizard-of-Oz Experiments in Mathematics. KI 2006: 159-173

Coauthor Index

1	Serge Autexier	[c6] [c2]
2	Christoph Benzmüller (Christoph Benzmueller)	[c5] [c4] [c3] [i1] [c2] [c1]
3	Dominik Dietrich	[c6] [c2]
4	Helmut Horacek	[c1]
5	Ivana Kruijff-Korbayová	[c1]
6	Henri Lesourd	[c1]
7	Magdalena Wolska	[c1]

Last update Thu May 23 22:43:40 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page