Christoph Lüth
Cited by
Cited by
Composing monads using coproducts
C Lüth, N Ghani
ACM SIGPLAN Notices 37 (9), 133-144, 2002
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, 303-331, 2012
A framework for interactive proof
D Aspinall, C Lüth, D Winterstein
International Conference on Mathematical Knowledge Management, 161-175, 2007
Theorem reuse by proof term transformation
EB Johnsen, C Lüth
International Conference on Theorem Proving in Higher Order Logics, 152-167, 2004
Monads and modular term rewriting
C Lüth, N Ghani
International Conference on Category Theory and Computer Science, 69-86, 1997
Hybrid teams: flexible collaboration between humans, robots and virtual agents
T Schwartz, I Zinnikus, HU Krieger, C Bürckert, J Folz, B Kiefer, P Hevesi, ...
Multiagent System Technologies: 14th German Conference, MATES 2016 …, 2016
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
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
Type class polymorphism in an institutional framework
L Schröder, T Mossakowski, C Lüth
Recent Trends in Algebraic Development Techniques: 17th International …, 2005
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
Structured formal development in Isabelle
M Bortin, EB Johnsen, C Lüth
Nord. J. Comput. 13 (1-2), 2-21, 2006
Dualising initial algebras
N Ghani, C Lüth, F De Marchi, J Power
Mathematical Structures in Computer Science 13 (2), 349-370, 2003
Multimedia instruction in safe and secure systems
B Krieg-Brückner, D Hutter, A Lindow, C Lüth, A Mahnke, E Melis, P Meier, ...
Recent Trends in Algebraic Development Techniques: 16th International …, 2003
Semantic interrelation of documents via an ontology
B Krieg-Brückner, A Lindow, C Lüth, A Mahnke, G Russell
Gesellschaft für Informatik eV, 2004
Categorical term rewriting: monads and modularity
C Lüth
University of Edinburgh. College of Science and Engineering. School of …, 1998
Assisted proof document authoring
D Aspinall, C Lüth, B Wolff
Mathematical Knowledge Management: 4th International Conference, MKM 2005 …, 2006
A web interface for Isabelle: The next generation
C Lüth, M Ring
International Conference on Intelligent Computer Mathematics, 326-329, 2013
Hol-Z in the UniForM-workbench–a case study in tool integration for Z
C Lüth, EW Karlsen, ( ) Kolyang, S Westmeier, B Wolff
ZUM’98: The Z Formal Specification Notation: 11th International Conference …, 1998
Towards self-explaining digital systems: A design methodology for the next generation
R Drechsler, C Lüth, G Fey, T Güneysu
2018 IEEE 3rd International Verification and Security Workshop (IVSW), 1-6, 2018
Coalgebraic monads
N Ghani, C Lüth, F De Marchi
Electronic Notes in Theoretical Computer Science 65 (1), 71-91, 2002
The system can't perform the operation now. Try again later.
Articles 1–20