Christoph Lüth
TitleCited byYear
Composing monads using coproducts
C Lüth, N Ghani
ACM SIGPLAN Notices 37 (9), 133-144, 2002
672002
Guaranteeing functional safety: design for provability and computer-aided verification
H Täubig, U Frese, C Hertzberg, C Lüth, S Mohr, E Vorobev, D Walter
Autonomous Robots 32 (3), 303-331, 2012
472012
A framework for interactive proof
D Aspinall, C Lüth, D Winterstein
Towards Mechanized Mathematical Assistants, 161-175, 2007
432007
Monads and modular term rewriting
C Lüth, N Ghani
International Conference on Category Theory and Computer Science, 69-86, 1997
391997
Functional design and implementation of graphical user interfaces for theorem provers
C Lüth, B Wolff
Journal of Functional Programming 9 (2), 167-189, 1999
361999
Theorem reuse by proof term transformation
EB Johnsen, C Lüth
International Conference on Theorem Proving in Higher Order Logics, 152-167, 2004
352004
Type class polymorphism in an institutional framework
L Schröder, T Mossakowski, C Lüth
International Workshop on Algebraic Development Techniques, 234-251, 2004
322004
Algebras, coalgebras, monads and comonads
N Ghani, C Lüth, F De Marchi, J Power
Electronic Notes in Theoretical Computer Science 44 (1), 128-145, 2001
272001
Structured formal development in Isabelle
M Bortin, EB Johnsen, C Lüth
Nordic Journal of Computing 13 (1/2), 2, 2006
262006
Categorical term rewriting: monads and modularity
C Lüth
University of Edinburgh. College of Science and Engineering. School of …, 1998
251998
Dualising initial algebras
N Ghani, C Lüth, F De Marchi, J Power
Mathematical Structures in Computer Science 13 (2), 349-370, 2003
222003
Multimedia instruction in safe and secure systems
B Krieg-Brückner, D Hutter, A Lindow, C Lüth, A Mahnke, E Melis, P Meier, ...
International Workshop on Algebraic Development Techniques, 82-117, 2002
222002
Assisted proof document authoring
D Aspinall, C Lüth, B Wolff
International Conference on Mathematical Knowledge Management, 65-80, 2005
212005
Semantic interrelation of documents via an ontology
B Krieg-Brückner, A Lindow, C Lüth, A Mahnke, G Russell
DeLFI 2004: Die 2. e-Learning Fachtagung Informatik, Tagung der Fachgruppe e …, 2004
212004
Experiences in applying formal verification in robotics
D Walter, H Täubig, C Lüth
International Conference on Computer Safety, Reliability, and Security, 347-360, 2010
192010
TAS—a generic window inference system
C Lüth, B Wolff
International Conference on Theorem Proving in Higher Order Logics, 406-423, 2000
192000
A web interface for Isabelle: The next generation
C Lüth, M Ring
International Conference on Intelligent Computer Mathematics, 326-329, 2013
172013
Coalgebraic monads
N Ghani, C Lüth, F De Marchi
Electronic Notes in Theoretical Computer Science 65 (1), 71-91, 2002
172002
TAS and IsaWin: Tools for transformational program development and theorem proving
C Lüth, H Tej, B Krieg-Brückner
International Conference on Fundamental Approaches to Software Engineering …, 1999
171999
Hol-Z in the UniForM-workbench–a case study in tool integration for Z
C Lüth, EW Karlsen, S Westmeier, B Wolff
International Conference of Z Users, 116-134, 1998
171998
The system can't perform the operation now. Try again later.
Articles 1–20