Følg
Christoph Lüth
Titel
Citeret af
Citeret af
År
Composing monads using coproducts
C Lüth, N Ghani
ACM SIGPLAN Notices 37 (9), 133-144, 2002
86*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
682012
A framework for interactive proof
D Aspinall, C Lüth, D Winterstein
International Conference on Mathematical Knowledge Management, 161-175, 2007
452007
Theorem reuse by proof term transformation
EB Johnsen, C Lüth
International Conference on Theorem Proving in Higher Order Logics, 152-167, 2004
442004
Monads and modular term rewriting
C Lüth, N Ghani
International Conference on Category Theory and Computer Science, 69-86, 1997
421997
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
381999
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
372016
Type class polymorphism in an institutional framework
L Schröder, T Mossakowski, C Lüth
Recent Trends in Algebraic Development Techniques: 17th International …, 2005
332005
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
332001
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
312010
Structured formal development in Isabelle
M Bortin, EB Johnsen, C Lüth
Nord. J. Comput. 13 (1-2), 2-21, 2006
292006
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
272003
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
262004
Dualising initial algebras
N Ghani, C Lüth, F De Marchi, J Power
Mathematical Structures in Computer Science 13 (2), 349-370, 2003
262003
Categorical term rewriting: monads and modularity
C Lüth
University of Edinburgh. College of Science and Engineering. School of …, 1998
261998
Assisted proof document authoring
D Aspinall, C Lüth, B Wolff
Mathematical Knowledge Management: 4th International Conference, MKM 2005 …, 2006
242006
A web interface for Isabelle: The next generation
C Lüth, M Ring
International Conference on Intelligent Computer Mathematics, 326-329, 2013
222013
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
191998
Coalgebraic monads
N Ghani, C Lüth, F De Marchi
Electronic Notes in Theoretical Computer Science 65 (1), 71-91, 2002
182002
TAS—a generic window inference system
C Lüth, B Wolff
International Conference on Theorem Proving in Higher Order Logics, 406-423, 2000
182000
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–20