Christoph Lüth - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

2009

Towards Merging PlatOmega and PGIPDavid Aspinall, Serge Autexier, Christoph Lüth, Marc Wagner. ENTCS, 226:3-21, 2009. [doi]

User Interfaces for Theorem Provers: Necessary Nuisance or Unexplored Potential?Christoph Lüth. eceasst, 23, 2009. [doi]

2008

A Tactic Language for HiproofsDavid Aspinall, Ewen Denney, Christoph Lüth. AISC 2008: 339-354 [doi]

Zertifizierung einer Sicherungskomponente mittels durchgängig formaler ModellierungUdo Frese, Daniel Hausmann, Christoph Lüth, Holger Taubig, Dennis Walter. se 2008: 335-338

Positionsstatement: Über die Rolle von formalem Beweis und Entwicklung im ZertifizierungsprozeßChristoph Lüth. se 2008: 341-342

2007

A Framework for Interactive ProofDavid Aspinall, Christoph Lüth, Daniel Winterstein. AISC 2007: 161-175 [doi]

Special Issue on User Interfaces in Theorem Proving: PrefaceDavid Aspinall, Christoph Lüth. JAR, 39(2):107-108, 2007. [doi]

2006

Proof general in Eclipse: system and architecture overviewDavid Aspinall, Daniel Winterstein, Christoph Lüth, Ahsan Fayyaz. eclipse 2006: 45-49 [doi]

Structured Formal Development in IsabelleMaksym Bortin, Einar Broch Johnsen, Christoph Lüth. njc, 13(1-2):2-21, 2006.

2005

2004

2003

Dualising Initial AlgebrasNeil Ghani, Christoph Lüth, Federico De Marchi, John Power. mscs, 13(2):349-370, 2003.

Rewriting Via CoinsertersNeil Ghani, Christoph Lüth. njc, 10(4):290-312, 2003.

Abstracting Refinements for TransformationEinar Broch Johnsen, Christoph Lüth. njc, 10(4):313-336, 2003.

Haskell in SpaceChristoph Lüth. JFP, 13(6):1077-1085, 2003. [doi]

Solving Algebraic Equations Using CoalgebraFederico De Marchi, Neil Ghani, Christoph Lüth. ita, 37(4):301-314, 2003. [doi]

2002

2001

Algebras, Coalgebras, Monads and ComonadsNeil Ghani, Christoph Lüth, Federico De Marchi, John Power. ENTCS, 44(1), 2001. [doi]

2000

More About TAS and IsaWin - Tools for Formal Program DevelopmentChristoph Lüth, Burkhart Wolff. FASE 2000: 367-370 [doi]

TAS - A Generic Window Inference SystemChristoph Lüth, Burkhart Wolff. tphol 2000: 406-423

1999

TAS and IsaWin: Tools for Transformational Program Development and Theorem ProvingChristoph Lüth, Haykal Tej, Kolyang, Bernd Krieg-Brückner. FASE 1999: 239-243

Functional Design and Implementation of Graphical User Interfaces for Theorem ProversChristoph Lüth, Burkhart Wolff. JFP, 9(2):167-189, 1999.

1998

HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for ZChristoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff. zum 1998: 116-134

1997

TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem ProvingKolyang, Christoph Lüth, Thomas Meyer, Burkhart Wolff. tapsoft 1997: 855-858

Monads and Modular Term RewritingChristoph Lüth, Neil Ghani. ctcs 1997: 69-86

1996

Compositional Term Rewriting: An Algebraic Proof of Toyama s TheoremChristoph Lüth. RTA 1996: 261-275