Christoph Lüth

	2009
39		Christoph Lüth, Dennis Walter: Certifiable Specification and Verification of C Programs. FM 2009: 419-434
38		David Aspinall, Serge Autexier, Christoph Lüth, Marc Wagner: Towards Merging PlatOmega and PGIP. Electr. Notes Theor. Comput. Sci. 226: 3-21 (2009)
	2008
37		David Aspinall, Ewen Denney, Christoph Lüth: A Tactic Language for Hiproofs. AISC/MKM/Calculemus 2008: 339-354
36		Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Taubig, Dennis Walter: Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung. Software Engineering (Workshops) 2008: 335-338
35		Christoph Lüth: Positionsstatement: Über die Rolle von formalem Beweis und Entwicklung im Zertifizierungsprozeß. Software Engineering (Workshops) 2008: 341-342
	2007
34		David Aspinall, Christoph Lüth, Daniel Winterstein: A Framework for Interactive Proof. Calculemus/MKM 2007: 161-175
33		David Aspinall, Christoph Lüth: Special Issue on User Interfaces in Theorem Proving: Preface. J. Autom. Reasoning 39(2): 107-108 (2007)
32		Christoph Lüth, Bernd Krieg-Brückner: Sicherheit in der Künstlichen Intelligenz. KI 21(1): 51-52 (2007)
	2006
31		David Aspinall, Daniel Winterstein, Christoph Lüth, Ahsan Fayyaz: Proof general in Eclipse: system and architecture overview. ETX 2006: 45-49
30		Maksym Bortin, Einar Broch Johnsen, Christoph Lüth: Structured Formal Development in Isabelle. Nord. J. Comput. 13(1-2): 2-21 (2006)
	2005
29		Daniel Winterstein, David Aspinall, Christoph Lüth: Proof General / Eclipse: A Generic Interface for Interactive Proof. IJCAI 2005: 1587-1588
28		David Aspinall, Christoph Lüth, Burkhart Wolff: Assisted Proof Document Authoring. MKM 2005: 65-80
27		Michael Abbott, Neil Ghani, Christoph Lüth: Abstract Modularity. RTA 2005: 46-60
26		Neil Ghani, Christoph Lüth, Federico De Marchi: Monads of coalgebras: rational terms and term graphs. Mathematical Structures in Computer Science 15(3): 433-451 (2005)
	2004
25		Bernd Krieg-Brückner, Arne Lindow, Christoph Lüth, Achim Mahnke, George Russell: Semantic Interrelation of Documents via an Ontology. DeLFI 2004: 271-282
24		Einar Broch Johnsen, Christoph Lüth: Theorem Reuse by Proof Term Transformation. TPHOLs 2004: 152-167
23		Lutz Schröder, Till Mossakowski, Christoph Lüth: Type Class Polymorphism in an Institutional Framework. WADT 2004: 234-251
22		Christoph Lüth, Markus Roggenbach, Lutz Schröder: CCC - The Casl Consistency Checker. WADT 2004: 94-105
21		David Aspinall, Christoph Lüth: Preface. Electr. Notes Theor. Comput. Sci. 103: 1-2 (2004)
20		David Aspinall, Christoph Lüth: Proof General meets IsaWin: Combining Text-Based And Graphical User Interfaces. Electr. Notes Theor. Comput. Sci. 103: 3-26 (2004)
	2003
19		Federico De Marchi, Neil Ghani, Christoph Lüth: Solving Algebraic Equations Using Coalgebra. ITA 37(4): 301-314 (2003)
18		Christoph Lüth: Haskell in Space. J. Funct. Program. 13(6): 1077-1085 (2003)
17		Neil Ghani, Christoph Lüth, Federico De Marchi, John Power: Dualising Initial Algebras. Mathematical Structures in Computer Science 13(2): 349-370 (2003)
16		Neil Ghani, Christoph Lüth: Rewriting Via Coinserters. Nord. J. Comput. 10(4): 290-312 (2003)
15		Einar Broch Johnsen, Christoph Lüth: Abstracting Refinements for Transformation. Nord. J. Comput. 10(4): 313-336 (2003)
	2002
14		Neil Ghani, Christoph Lüth, Federico De Marchi: Coalgebraic approaches to algebraic terms. FICS 2002: 6-8
13		Christoph Lüth, Neil Ghani: Monads and Modularity. FroCos 2002: 18-32
12		Christoph Lüth, Neil Ghani: Composing monads using coproducts. ICFP 2002: 133-144
11		Bernd Krieg-Brückner, Dieter Hutter, Arne Lindow, Christoph Lüth, Achim Mahnke, Erica Melis, Philipp Meier, Arnd Poetzsch-Heffter, Markus Roggenbach, George Russell, Jan-Georg Smaus, Martin Wirsing: MultiMedia Instruction in Safe and Secure Systems. WADT 2002: 82-117
10		Neil Ghani, Christoph Lüth, Federico De Marchi: Coalgebraic Monads. Electr. Notes Theor. Comput. Sci. 65(1): (2002)
	2001
9		Neil Ghani, Christoph Lüth, Federico De Marchi, John Power: Algebras, Coalgebras, Monads and Comonads. Electr. Notes Theor. Comput. Sci. 44(1): (2001)
	2000
8		Christoph Lüth, Burkhart Wolff: More About TAS and IsaWin - Tools for Formal Program Development. FASE 2000: 367-370
7		Christoph Lüth, Burkhart Wolff: TAS - A Generic Window Inference System. TPHOLs 2000: 406-423
	1999
6		Christoph Lüth, Haykal Tej, Kolyang, Bernd Krieg-Brückner: TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving. FASE 1999: 239-243
5		Christoph Lüth, Burkhart Wolff: Functional Design and Implementation of Graphical User Interfaces for Theorem Provers. J. Funct. Program. 9(2): 167-189 (1999)
	1998
4		Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff: HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z. ZUM 1998: 116-134
	1997
3		Christoph Lüth, Neil Ghani: Monads and Modular Term Rewriting. Category Theory and Computer Science 1997: 69-86
2		Kolyang, Christoph Lüth, Thomas Meyer, Burkhart Wolff: TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving. TAPSOFT 1997: 855-858
	1996
1		Christoph Lüth: Compositional Term Rewriting: An Algebraic Proof of Toyama's Theorem. RTA 1996: 261-275

Coauthor Index

1	Michael Abbott	[27]
2	David Aspinall	[20] [21] [28] [29] [31] [33] [34] [37] [38]
3	Serge Autexier	[38]
4	Maksym Bortin	[30]
5	Ewen Denney	[37]
6	Ahsan Fayyaz	[31]
7	Udo Frese	[36]
8	Neil Ghani	[3] [9] [10] [12] [13] [14] [16] [17] [19] [26] [27]
9	Daniel Hausmann	[36]
10	Dieter Hutter	[11]
11	Einar Broch Johnsen	[15] [24] [30]
12	Einar W. Karlsen	[4]
13	Kolyang	[2] [4] [6]
14	Bernd Krieg-Brückner	[6] [11] [25] [32]
15	Arne Lindow	[11] [25]
16	Achim Mahnke	[11] [25]
17	Federico De Marchi	[9] [10] [14] [17] [19] [26]
18	Philipp Meier	[11]
19	Erica Melis	[11]
20	Thomas Meyer	[2]
21	Till Mossakowski	[23]
22	Arnd Poetzsch-Heffter	[11]
23	John Power (A. John Power)	[9] [17]
24	Markus Roggenbach	[11] [22]
25	George Russell	[11] [25]
26	Lutz Schröder	[22] [23]
27	Jan-Georg Smaus	[11]
28	Holger Taubig	[36]
29	Haykal Tej	[6]
30	Marc Wagner	[38]
31	Dennis Walter	[36] [39]
32	Stefan Westmeier	[4]
33	Daniel Winterstein	[29] [31] [34]
34	Martin Wirsing	[11]
35	Burkhart Wolff	[2] [4] [5] [7] [8] [28]

Colors in the list of coauthors