Christoph Lüth

	2012
47		David Aspinall, Ewen Denney, Christoph Lüth: Querying Proofs. LPAR 2012: 92-106
46		Holger Täubig, Udo Frese, Christoph Hertzberg, Christoph Lüth, Stefan Mohr, Elena Vorobev, Dennis Walter: Guaranteeing functional safety: design for provability and computer-aided verification. Auton. Robots 32(3): 303-331 (2012)
	2010
45		Maksym Bortin, Christoph Lüth: Structured Formal Development with Quotient Types in Isabelle/HOL. AISC/MKM/Calculemus 2010: 34-48
44		Serge Autexier, Christoph Lüth: Adding Change Impact Analysis to the Formal Verification of C Programs. IFM 2010: 59-73
43		Dennis Walter, Holger Täubig, Christoph Lüth: Experiences in Applying Formal Verification in Robotics. SAFECOMP 2010: 347-360
42		David Aspinall, Ewen Denney, Christoph Lüth: Tactics for Hierarchical Proof. Mathematics in Computer Science 3(3): 309-330 (2010)
	2009
41		Christoph Lüth, Dennis Walter: Certifiable Specification and Verification of C Programs. FM 2009: 419-434
40		Christoph Lüth: User Interfaces for Theorem Provers: Necessary Nuisance or Unexplored Potential? ECEASST 23: (2009)
39		David Aspinall, Serge Autexier, Christoph Lüth, Marc Wagner: Towards Merging PlatOmega and PGIP. Electr. Notes Theor. Comput. Sci. 226: 3-21 (2009)
38		Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter: The Importance of Being Formal. Electr. Notes Theor. Comput. Sci. 238(4): 57-70 (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 Täubig, 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): 71-91 (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): 128-145 (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] [39] [42] [47]
3	Serge Autexier	[39] [44]
4	Maksym Bortin	[30] [45]
5	Ewen Denney	[37] [42] [47]
6	Ahsan Fayyaz	[31]
7	Udo Frese	[36] [38] [46]
8	Neil Ghani	[3] [9] [10] [12] [13] [14] [16] [17] [19] [26] [27]
9	Daniel Hausmann	[36] [38]
10	Christoph Hertzberg	[46]
11	Dieter Hutter	[11]
12	Einar Broch Johnsen	[15] [24] [30]
13	Einar W. Karlsen	[4]
14	Kolyang	[2] [4] [6]
15	Bernd Krieg-Brückner	[6] [11] [25] [32]
16	Arne Lindow	[11] [25]
17	Achim Mahnke	[11] [25]
18	Federico De Marchi	[9] [10] [14] [17] [19] [26]
19	Philipp Meier	[11]
20	Erica Melis	[11]
21	Thomas Meyer	[2]
22	Stefan Mohr	[46]
23	Till Mossakowski	[23]
24	Arnd Poetzsch-Heffter	[11]
25	John Power (A. John Power)	[9] [17]
26	Markus Roggenbach	[11] [22]
27	George Russell	[11] [25]
28	Lutz Schröder	[22] [23]
29	Jan-Georg Smaus	[11]
30	Holger Täubig	[36] [38] [43] [46]
31	Haykal Tej	[6]
32	Elena Vorobev	[46]
33	Marc Wagner	[39]
34	Dennis Walter	[36] [38] [41] [43] [46]
35	Stefan Westmeier	[4]
36	Daniel Winterstein	[29] [31] [34]
37	Martin Wirsing	[11]
38	Burkhart Wolff	[2] [4] [5] [7] [8] [28]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page