| Composing monads using coproducts C Lüth, N Ghani ACM SIGPLAN Notices 37 (9), 133-144, 2002 | 93 | 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 | 68 | 2012 |
| A framework for interactive proof D Aspinall, C Lüth, D Winterstein International Conference on Mathematical Knowledge Management, 161-175, 2007 | 45 | 2007 |
| Theorem reuse by proof term transformation EB Johnsen, C Lüth International Conference on Theorem Proving in Higher Order Logics, 152-167, 2004 | 45 | 2004 |
| Monads and modular term rewriting C Lüth, N Ghani International Conference on Category Theory and Computer Science, 69-86, 1997 | 41 | 1997 |
| 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 | 40 | 1999 |
| 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 | 37 | 2016 |
| Type class polymorphism in an institutional framework L Schröder, T Mossakowski, C Lüth Recent Trends in Algebraic Development Techniques: 17th International …, 2005 | 34 | 2005 |
| 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 | 34 | 2001 |
| 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 | 33 | 2010 |
| Monads and modularity C Lüth, N Ghani Frontiers of Combining Systems: 4th International Workshop, FroCoS 2002 …, 2002 | 32 | 2002 |
| Structured formal development in Isabelle M Bortin, EB Johnsen, C Lüth Nord. J. Comput. 13 (1-2), 2-21, 2006 | 29 | 2006 |
| Dualising initial algebras N Ghani, C Lüth, F De Marchi, J Power Mathematical Structures in Computer Science 13 (2), 349-370, 2003 | 28 | 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 | 28 | 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 | 26 | 2004 |
| A web interface for Isabelle: The next generation C Lüth, M Ring International Conference on Intelligent Computer Mathematics, 326-329, 2013 | 24 | 2013 |
| Assisted proof document authoring D Aspinall, C Lüth, B Wolff Mathematical Knowledge Management: 4th International Conference, MKM 2005 …, 2006 | 24 | 2006 |
| TAS—a generic window inference system C Lüth, B Wolff International Conference on Theorem Proving in Higher Order Logics, 406-423, 2000 | 21 | 2000 |
| 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 | 20 | 2018 |
| 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 | 20 | 1998 |
David AspinallProfessor in Computer Science, University of EdinburghVerified email at ed.ac.uk
