Compositional Term Rewriting: An Algebraic Proof of Toyama's Theorem. - Christoph Lüth (RTA, 1996)

Monads and Modular Term Rewriting. - Christoph Lüth; Neil Ghani (Category Theory and Computer Science, 1997)

TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving. - Kolyang 001; Christoph Lüth; Thomas Meyer 001; Burkhart Wolff (TAPSOFT, 1997)

Tool Integration in the UniForM-Workbench. - Christoph Lüth; Einar W. Karlsen; Kolyang 001; Stefan Westmeier; Burkhart Wolff (Tool Support for System Specification, Development and Verification, 1998)

HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z. - Christoph Lüth; Einar W. Karlsen; Kolyang 001; Stefan Westmeier; Burkhart Wolff (ZUM, 1998)

Categorical term rewriting : monads and modularity. - Christoph Lüth (1998)

TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving. - Christoph Lüth; Haykal Tej; Kolyang 001; Bernd Krieg-Brückner (FASE, 1999)

Functional Design and Implementation of Graphical User Interfaces for Theorem Provers. - Christoph Lüth; Burkhart Wolff (J. Funct. Program., 1999)

More About TAS and IsaWin - Tools for Formal Program Development. - Christoph Lüth; Burkhart Wolff (FASE, 2000)

TAS - A Generic Window Inference System. - Christoph Lüth; Burkhart Wolff (TPHOLs, 2000)

Algebras, Coalgebras, Monads and Comonads. - Neil Ghani; Christoph Lüth; Federico De Marchi; John Power (CMCS, 2001)

Coalgebraic approaches to algebraic terms. - Neil Ghani; Christoph Lüth; Federico De Marchi (FICS, 2002)

Monads and Modularity. - Christoph Lüth; Neil Ghani (FroCoS, 2002)

Composing monads using coproducts. - Christoph Lüth; Neil Ghani (ICFP, 2002)

MultiMedia Instruction in Safe and Secure Systems. - Bernd Krieg-Brückner; Dieter Hutter; Arne Lindow; Christoph Lüth; Achim Mahnke; Erica Melis; Philipp Meier; Arnd Poetzsch-Heffter; Markus Roggenbach; George Russell; Jan-Georg Smaus; Martin Wirsing (WADT, 2002)

Coalgebraic Monads. - Neil Ghani; Christoph Lüth; Federico De Marchi (CMCS, 2002)

Preface. - David Aspinall 001; Christoph Lüth (UITP@TPHOLs, 2003)

Proof General meets IsaWin: Combining Text-Based And Graphical User Interfaces. - David Aspinall 001; Christoph Lüth (UITP@TPHOLs, 2003)

Solving Algebraic Equations Using Coalgebra. - Federico De Marchi; Neil Ghani; Christoph Lüth (RAIRO Theor. Informatics Appl., 2003)

Haskell in Space. - Christoph Lüth (J. Funct. Program., 2003)

Dualising Initial Algebras. - Neil Ghani; Christoph Lüth; Federico De Marchi; John Power (Math. Struct. Comput. Sci., 2003)

Rewriting Via Coinserters. - Neil Ghani; Christoph Lüth (Nord. J. Comput., 2003)

Abstracting Refinements for Transformation. - Einar Broch Johnsen; Christoph Lüth (Nord. J. Comput., 2003)

Semantic Interrelation of Documents via an Ontology. - Bernd Krieg-Brückner; Arne Lindow; Christoph Lüth; Achim Mahnke; George Russell (DeLFI, 2004)

Theorem Reuse by Proof Term Transformation. - Einar Broch Johnsen; Christoph Lüth (TPHOLs, 2004)

CCC - The Casl Consistency Checker. - Christoph Lüth; Markus Roggenbach; Lutz Schröder (WADT, 2004)

Type Class Polymorphism in an Institutional Framework. - Lutz Schröder; Till Mossakowski; Christoph Lüth (WADT, 2004)

Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland. - Manfred Broy; Matthias Jarke; Manfred Nagl; Hans Dieter Rombach; Armin B. Cremers; Jürgen Ebert; Sabine Glesner; Martin Glinz; Michael Goedicke; Gerhard Goos; Volker Gruhn; Wilhelm Hasselbring; et al. (Perspectives Workshop, 2005)

Proof General / Eclipse: A Generic Interface for Interactive Proof. - Daniel Winterstein; David Aspinall 001; Christoph Lüth (IJCAI, 2005)

Assisted Proof Document Authoring. - David Aspinall 001; Christoph Lüth; Burkhart Wolff (MKM, 2005)

Abstract Modularity. - Michael Gordon Abbott; Neil Ghani; Christoph Lüth (RTA, 2005)

Monads of coalgebras: rational terms and term graphs. - Neil Ghani; Christoph Lüth; Federico De Marchi (Math. Struct. Comput. Sci., 2005)

Proof general in Eclipse: system and architecture overview. - David Aspinall 001; Daniel Winterstein; Christoph Lüth; Ahsan Fayyaz (ETX, 2006)

Structured Formal Development in Isabelle. - Maksym Bortin; Einar Broch Johnsen; Christoph Lüth (Nord. J. Comput., 2006)

A Framework for Interactive Proof. - David Aspinall 001; Christoph Lüth; Daniel Winterstein (Calculemus/MKM, 2007)

Special Issue on User Interfaces in Theorem Proving: Preface. - David Aspinall 001; Christoph Lüth (J. Autom. Reason., 2007)

Sicherheit in der Künstlichen Intelligenz. - Christoph Lüth; Bernd Krieg-Brückner (Künstliche Intell., 2007)

A Tactic Language for Hiproofs. - David Aspinall 001; Ewen Denney; Christoph Lüth (AISC/MKM/Calculemus, 2008)

Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung. - Udo Frese; Daniel Hausmann 001; Christoph Lüth; Holger Täubig; Dennis Walter (Software Engineering (Workshops), 2008)

Positionsstatement: Über die Rolle von formalem Beweis und Entwicklung im Zertifizierungsprozeß. - Christoph Lüth (Software Engineering (Workshops), 2008)

Towards Merging PlatOmega and PGIP. - David Aspinall 001; Serge Autexier; Christoph Lüth; Marc Wagner 001 (UITP@TPHOLs, 2008)

The Importance of Being Formal. - Udo Frese; Daniel Hausmann 001; Christoph Lüth; Holger Täubig; Dennis Walter (SafeCert@ETAPS, 2008)

Certifiable Specification and Verification of C Programs. - Christoph Lüth; Dennis Walter (FM, 2009)

User Interfaces for Theorem Provers: Necessary Nuisance or Unexplored Potential? - Christoph Lüth (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Structured Formal Development with Quotient Types in Isabelle/HOL. - Maksym Bortin; Christoph Lüth (AISC/MKM/Calculemus, 2010)

Adding Change Impact Analysis to the Formal Verification of C Programs. - Serge Autexier; Christoph Lüth (IFM, 2010)

Experiences in Applying Formal Verification in Robotics. - Dennis Walter; Holger Täubig; Christoph Lüth (SAFECOMP, 2010)

Tactics for Hierarchical Proof. - David Aspinall 001; Ewen Denney; Christoph Lüth (Math. Comput. Sci., 2010)

SmartTies - Management of Safety-Critical Developments. - Serge Autexier; Dominik Dietrich; Dieter Hutter; Christoph Lüth; Christian Maeder (ISoLA (1), 2012)

Querying Proofs. - David Aspinall 001; Ewen Denney; Christoph Lüth (LPAR, 2012)

Guaranteeing functional safety: design for provability and computer-aided verification. - Holger Täubig; Udo Frese; Christoph Hertzberg; Christoph Lüth; Stefan Mohr; Elena Vorobev; Dennis Walter (Auton. Robots, 2012)

A Semantic Basis for Proof Queries and Transformations. - David Aspinall 001; Ewen Denney; Christoph Lüth (LPAR, 2013)

A Web Interface for Isabelle: The Next Generation. - Christoph Lüth; Martin Ring (MKM/Calculemus/DML, 2013)

Real-time collaborative Scala development with Clide. - Martin Ring; Christoph Lüth (SCALA@ECOOP, 2014)

Collaborative Interactive Theorem Proving with Clide. - Martin Ring; Christoph Lüth (ITP, 2014)

Change impact analysis for hardware designs from natural language to system level. - Martin Ring; Jannis Stoppe; Christoph Lüth; Rolf Drechsler (FDL, 2016)

Hybrid Teams of Humans, Robots, and Virtual Agents in a Production Setting. - Tim Schwartz; Michael Feld; Christian Bürckert; Svilen Dimitrov; Joachim Folz; Dieter Hutter; Peter Hevesi; Bernd Kiefer; Hans-Ulrich Krieger; Christoph Lüth; Dennis Mronga; Gerald Pirkl; et al. (Intelligent Environments, 2016)

Model-Based Specification and Refinement for Cyber-Physical Systems. - Rolf Drechsler; Serge Autexier; Christoph Lüth (LDIC, 2016)

Hybrid Teams: Flexible Collaboration Between Humans, Robots and Virtual Agents. - Tim Schwartz; Ingo Zinnikus; Hans-Ulrich Krieger; Christian Bürckert; Joachim Folz; Bernd Kiefer; Peter Hevesi; Christoph Lüth; Gerald Pirkl; Torsten Spieldenner; Norbert Schmitz; Malte Wirkus; et al. (MATES, 2016)

Interactive Proof Presentations with Cobra. - Martin Ring; Christoph Lüth (UITP, 2016)

Semantically Weighted Similarity Analysis for XML-based Content Components. - Jan Oevermann; Christoph Lüth (DocEng, 2018)

Towards Self-Explaining Digital Systems: A Design Methodology for the Next Generation. - Rolf Drechsler; Christoph Lüth; Görschwin Fey; Tim Güneysu (IVSW, 2018)

Better Late Than Never : Verification of Embedded Systems After Deployment. - Martin Ring; Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler (DATE, 2019)

Code is Ethics - Formal Techniques for a Better World. - Rolf Drechsler; Christoph Lüth (DSD, 2019)

Let's Prove It Later - Verification at Different Points in Time. - Martin Ring; Christoph Lüth (SEFM, 2019)

Towards Automatic Hardware Synthesis from Formal Specification to Implementation. - Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler (ASP-DAC, 2020)

Verification Runtime Analysis: Get the Most Out of Partial Verification. - Martin Ring; Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler (DATE, 2020)

Integer Overflow Detection in Hardware Designs at the Specification Level. - Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler (MODELSWARD, 2020)

Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications. - Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler (MODELSWARD (Revised Selected Papers), 2020)

Performance Aspects of Correctness-oriented Synthesis Flows. - Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler (MODELSWARD, 2021)

Das Bremen Ambient Assisted Living Lab und darüber hinaus - Intelligente Umgebungen, smarte Services und Künstliche Intelligenz in der Medizin für den Menschen. - Serge Autexier; Christoph Lüth; Rolf Drechsler (Künstliche Intelligenz im Gesundheitswesen, 2022)

Analytic Estimation of Region of Attraction of an LQR Controller for Torque Limited Simple Pendulum. - Lukas Gross; Lasse Maywald; Shivesh Kumar; Frank Kirchner; Christoph Lüth (CDC, 2022)

Using Gated Recurrent Unit Networks for the Prediction of Hemodynamic and Pulmonary Decompensation. - Christian Mandel; Kathrin Stich; Serge Autexier; Christoph Lüth; Ariane Ziehn; Karin Hochbaum; Rolf Dembinski; Christoph Int-Veen (EMBC, 2022)

Virtual Prototype based Analysis of Neural Network Cache Behavior for Tiny Edge Device. - Alexander Fratzer; Vladimir Herdt; Christoph Lüth; Rolf Drechsler (FDL, 2022)

Deriving Rewards for Reinforcement Learning from Symbolic Behaviour Descriptions of Bipedal Walking. - Daniel Harnack; Christoph Lüth; Lukas Gross; Shivesh Kumar; Frank Kirchner (CDC, 2023)

Verified Value Chains, Innovation and Competition. - Arnd Weber; Sylvain Guilley; René Rathfelder; Marc Stöttinger; Christoph Lüth; Maja Malenko; Torsten Grawunder; Steffen Reith; Armand Puccetti; Jean-Pierre Seifert; Norbert Herfurth; Hagen Sankowski; et al. (CSR, 2023)

Minimally Invasive Generation of RISC-V Instruction Set Simulators from Formal ISA Models. - Sören Tempel; Tobias Brandt; Christoph Lüth; Rolf Drechsler (FDL, 2023)

Versatile and Flexible Modelling of the RISC-V Instruction Set Architecture. - Sören Tempel; Tobias Brandt; Christoph Lüth (TFP, 2023)

Finding the perfect MRI sequence for your patient - Towards an optimisation workflow for MRI-sequences. - Christina Plump; Daniel Christopher Hoinkiss; Jörn Huber; Bernhard J. Berger; Matthias Günther; Christoph Lüth; Rolf Drechsler (CEC, 2024)

Evaluating an Open-Source Hardware Approach from HDL to GDS for a Security Chip Design - a Review of the Final Stage of Project HEP. - Tim Henkes; Steffen Reith; Marc Stöttinger; Norbert Herfurth; Goran Panic; Julian Wälde; Fabian Buschkowski; Pascal Sasdrich; Christoph Lüth; Milan Funck; Tuba Kiyan; Arnd Weber; et al. (DATE, 2024)

BinSym: Binary-Level Symbolic Execution using Formal Descriptions of Instruction Semantics. - Sören Tempel; Tobias Brandt; Christoph Lüth; Rolf Drechsler (CoRR, 2024)

How Deduction Systems Can Help You To Verify Stability Properties. - Mario Gleirscher; Rehab Massoud; Dieter Hutter; Christoph Lüth (CoRR, 2024)