Christoph Lüth

2009
37	EE	David Aspinall, Serge Autexier, Christoph Lüth, Marc Wagner: Towards Merging PlatOmega and PGIP. Electr. Notes Theor. Comput. Sci. 226: 3-21 (2009)
2008
36	EE	David Aspinall, Ewen Denney, Christoph Lüth: A Tactic Language for Hiproofs. AISC/MKM/Calculemus 2008: 339-354
35		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
34		Christoph Lüth: Positionsstatement: Über die Rolle von formalem Beweis und Entwicklung im Zertifizierungsprozeß. Software Engineering (Workshops) 2008: 341-342
2007
33	EE	David Aspinall, Christoph Lüth, Daniel Winterstein: A Framework for Interactive Proof. Calculemus/MKM 2007: 161-175
32	EE	David Aspinall, Christoph Lüth: Special Issue on User Interfaces in Theorem Proving: Preface. J. Autom. Reasoning 39(2): 107-108 (2007)
2006
31	EE	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	EE	Daniel Winterstein, David Aspinall, Christoph Lüth: Proof General / Eclipse: A Generic Interface for Interactive Proof. IJCAI 2005: 1587-1588
28	EE	David Aspinall, Christoph Lüth, Burkhart Wolff: Assisted Proof Document Authoring. MKM 2005: 65-80
27	EE	Michael Abbott, Neil Ghani, Christoph Lüth: Abstract Modularity. RTA 2005: 46-60
26	EE	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	EE	Einar Broch Johnsen, Christoph Lüth: Theorem Reuse by Proof Term Transformation. TPHOLs 2004: 152-167
23	EE	Lutz Schröder, Till Mossakowski, Christoph Lüth: Type Class Polymorphism in an Institutional Framework. WADT 2004: 234-251
22	EE	Christoph Lüth, Markus Roggenbach, Lutz Schröder: CCC - The Casl Consistency Checker. WADT 2004: 94-105
21	EE	David Aspinall, Christoph Lüth: Preface. Electr. Notes Theor. Comput. Sci. 103: 1-2 (2004)
20	EE	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	EE	Federico De Marchi, Neil Ghani, Christoph Lüth: Solving Algebraic Equations Using Coalgebra. ITA 37(4): 301-314 (2003)
18	EE	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	EE	Christoph Lüth, Neil Ghani: Monads and Modularity. FroCos 2002: 18-32
12	EE	Christoph Lüth, Neil Ghani: Composing monads using coproducts. ICFP 2002: 133-144
11	EE	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	EE	Neil Ghani, Christoph Lüth, Federico De Marchi: Coalgebraic Monads. Electr. Notes Theor. Comput. Sci. 65(1): (2002)
2001
9	EE	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	EE	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] [32] [33] [36] [37]
3	Serge Autexier	[37]
4	Maksym Bortin	[30]
5	Ewen Denney	[36]
6	Ahsan Fayyaz	[31]
7	Udo Frese	[35]
8	Neil Ghani	[3] [9] [10] [12] [13] [14] [16] [17] [19] [26] [27]
9	Daniel Hausmann	[35]
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]
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	[35]
29	Haykal Tej	[6]
30	Marc Wagner	[37]
31	Dennis Walter	[35]
32	Stefan Westmeier	[4]
33	Daniel Winterstein	[29] [31] [33]
34	Martin Wirsing	[11]
35	Burkhart Wolff	[2] [4] [5] [7] [8] [28]

Colors in the list of coauthors