Christine Müller

	2009
9		Cristian S. Calude, Christine Müller: Formal Proof: Reconciling Correctness and Understanding. Calculemus/MKM 2009: 217-232
8		Christine Müller: Communities of Practice and Semantic Web Stimulating Collaboration by Document Markup. UNISCON 2009: 432-437
	2008
7		Michael Kohlhase, Christine Müller, Florian Rabe: Notations for Living Mathematical Documents. AISC/MKM/Calculemus 2008: 504-519
6		Christine Müller: Towards CoPing with Information Overload. LWA 2008: 33-40
5		Christine Müller: Towards the Adaptation of Scientific Course Material powered by Communities of Practice. LWA 2008: 41-43
4		Christine Müller, Michael Kohlhase: Towards a Community of Practice Toolkit Based on Semantically Marked Up Artifacts. WSKS (1) 2008: 41-50
	2007
3		Christine Müller, Michael Kohlhase: panta rhei. LWA 2007: 318-323
2		Michael Kohlhase, Achim Mahnke, Christine Müller: Managing Variants in Document Content and Narrative Structures. LWA 2007: 324-329
	1991
1		Christine Müller: Anforderungen an eine graphische Darstellung für objekt-orientierte Modellierung. Grundlagen von Datenbanken 1991: 93-97

Coauthor Index

1	Cristian S. Calude (Cristian Calude)	[9]
2	Michael Kohlhase	[2] [3] [4] [7]
3	Achim Mahnke	[2]
4	Florian Rabe	[7]

Colors in the list of coauthors