dblp.uni-trier.dewww.uni-trier.de

Christoph Lüth Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
38EEDavid Aspinall, Serge Autexier, Christoph Lüth, Marc Wagner: Towards Merging PlatOmega and PGIP. Electr. Notes Theor. Comput. Sci. 226: 3-21 (2009)
2008
37EEDavid 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
34EEDavid Aspinall, Christoph Lüth, Daniel Winterstein: A Framework for Interactive Proof. Calculemus/MKM 2007: 161-175
33EEDavid Aspinall, Christoph Lüth: Special Issue on User Interfaces in Theorem Proving: Preface. J. Autom. Reasoning 39(2): 107-108 (2007)
32EEChristoph Lüth, Bernd Krieg-Brückner: Sicherheit in der Künstlichen Intelligenz. KI 21(1): 51-52 (2007)
2006
31EEDavid 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
29EEDaniel Winterstein, David Aspinall, Christoph Lüth: Proof General / Eclipse: A Generic Interface for Interactive Proof. IJCAI 2005: 1587-1588
28EEDavid Aspinall, Christoph Lüth, Burkhart Wolff: Assisted Proof Document Authoring. MKM 2005: 65-80
27EEMichael Abbott, Neil Ghani, Christoph Lüth: Abstract Modularity. RTA 2005: 46-60
26EENeil 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
24EEEinar Broch Johnsen, Christoph Lüth: Theorem Reuse by Proof Term Transformation. TPHOLs 2004: 152-167
23EELutz Schröder, Till Mossakowski, Christoph Lüth: Type Class Polymorphism in an Institutional Framework. WADT 2004: 234-251
22EEChristoph Lüth, Markus Roggenbach, Lutz Schröder: CCC - The Casl Consistency Checker. WADT 2004: 94-105
21EEDavid Aspinall, Christoph Lüth: Preface. Electr. Notes Theor. Comput. Sci. 103: 1-2 (2004)
20EEDavid 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
19EEFederico De Marchi, Neil Ghani, Christoph Lüth: Solving Algebraic Equations Using Coalgebra. ITA 37(4): 301-314 (2003)
18EEChristoph 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
13EEChristoph Lüth, Neil Ghani: Monads and Modularity. FroCos 2002: 18-32
12EEChristoph Lüth, Neil Ghani: Composing monads using coproducts. ICFP 2002: 133-144
11EEBernd 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
10EENeil Ghani, Christoph Lüth, Federico De Marchi: Coalgebraic Monads. Electr. Notes Theor. Comput. Sci. 65(1): (2002)
2001
9EENeil Ghani, Christoph Lüth, Federico De Marchi, John Power: Algebras, Coalgebras, Monads and Comonads. Electr. Notes Theor. Comput. Sci. 44(1): (2001)
2000
8EEChristoph Lüth, Burkhart Wolff: More About TAS and IsaWin - Tools for Formal Program Development. FASE 2000: 367-370
7EEChristoph 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
2EE 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
1EEChristoph Lüth: Compositional Term Rewriting: An Algebraic Proof of Toyama's Theorem. RTA 1996: 261-275

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)