The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Christoph Lüth: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Christoph Lüth, Neil Ghani
    Monads and Modular Term Rewriting. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1997, pp:69-86 [Conf]
  2. Bernd Krieg-Brückner, Arne Lindow, Christoph Lüth, Achim Mahnke, George Russell
    Semantic Interrelation of Documents via an Ontology. [Citation Graph (0, 0)][DBLP]
    DeLFI, 2004, pp:271-282 [Conf]
  3. Christoph Lüth, Haykal Tej, Kolyang, Bernd Krieg-Brückner
    TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving. [Citation Graph (0, 0)][DBLP]
    FASE, 1999, pp:239-243 [Conf]
  4. Christoph Lüth, Burkhart Wolff
    More About TAS and IsaWin - Tools for Formal Program Development. [Citation Graph (0, 0)][DBLP]
    FASE, 2000, pp:367-370 [Conf]
  5. Neil Ghani, Christoph Lüth, Federico De Marchi
    Coalgebraic approaches to algebraic terms. [Citation Graph (0, 0)][DBLP]
    FICS, 2002, pp:6-8 [Conf]
  6. Christoph Lüth, Neil Ghani
    Monads and Modularity. [Citation Graph (0, 0)][DBLP]
    FroCos, 2002, pp:18-32 [Conf]
  7. Christoph Lüth, Neil Ghani
    Composing monads using coproducts. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:133-144 [Conf]
  8. Daniel Winterstein, David Aspinall, Christoph Lüth
    Proof General / Eclipse: A Generic Interface for Interactive Proof. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:1587-1588 [Conf]
  9. David Aspinall, Christoph Lüth, Burkhart Wolff
    Assisted Proof Document Authoring. [Citation Graph (0, 0)][DBLP]
    MKM, 2005, pp:65-80 [Conf]
  10. Michael Abbott, Neil Ghani, Christoph Lüth
    Abstract Modularity. [Citation Graph (0, 0)][DBLP]
    RTA, 2005, pp:46-60 [Conf]
  11. Christoph Lüth
    Compositional Term Rewriting: An Algebraic Proof of Toyama's Theorem. [Citation Graph (0, 0)][DBLP]
    RTA, 1996, pp:261-275 [Conf]
  12. Kolyang, Christoph Lüth, Thomas Meyer, Burkhart Wolff
    TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:855-858 [Conf]
  13. Einar Broch Johnsen, Christoph Lüth
    Theorem Reuse by Proof Term Transformation. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2004, pp:152-167 [Conf]
  14. Christoph Lüth, Burkhart Wolff
    TAS - A Generic Window Inference System. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2000, pp:406-423 [Conf]
  15. Christoph Lüth, Markus Roggenbach, Lutz Schröder
    CCC - The Casl Consistency Checker. [Citation Graph (0, 0)][DBLP]
    WADT, 2004, pp:94-105 [Conf]
  16. 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
    MultiMedia Instruction in Safe and Secure Systems. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:82-117 [Conf]
  17. Lutz Schröder, Till Mossakowski, Christoph Lüth
    Type Class Polymorphism in an Institutional Framework. [Citation Graph (0, 0)][DBLP]
    WADT, 2004, pp:234-251 [Conf]
  18. Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff
    HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:116-134 [Conf]
  19. David Aspinall, Christoph Lüth
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:1-2 [Journal]
  20. David Aspinall, Christoph Lüth
    Proof General meets IsaWin: Combining Text-Based And Graphical User Interfaces. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:3-26 [Journal]
  21. Neil Ghani, Christoph Lüth, Federico De Marchi
    Coalgebraic Monads. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:1, pp:- [Journal]
  22. Neil Ghani, Christoph Lüth, Federico De Marchi, John Power
    Algebras, Coalgebras, Monads and Comonads. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:1, pp:- [Journal]
  23. Federico De Marchi, Neil Ghani, Christoph Lüth
    Solving Algebraic Equations Using Coalgebra. [Citation Graph (0, 0)][DBLP]
    ITA, 2003, v:37, n:4, pp:301-314 [Journal]
  24. Christoph Lüth, Burkhart Wolff
    Functional Design and Implementation of Graphical User Interfaces for Theorem Provers. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1999, v:9, n:2, pp:167-189 [Journal]
  25. Christoph Lüth
    Haskell in Space. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2003, v:13, n:6, pp:1077-1085 [Journal]
  26. Neil Ghani, Christoph Lüth, Federico De Marchi
    Monads of coalgebras: rational terms and term graphs. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2005, v:15, n:3, pp:433-451 [Journal]
  27. Neil Ghani, Christoph Lüth, Federico De Marchi, John Power
    Dualising Initial Algebras. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2003, v:13, n:2, pp:349-370 [Journal]
  28. Neil Ghani, Christoph Lüth
    Rewriting Via Coinserters. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2003, v:10, n:4, pp:290-312 [Journal]
  29. Einar Broch Johnsen, Christoph Lüth
    Abstracting Refinements for Transformation. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2003, v:10, n:4, pp:313-336 [Journal]
  30. David Aspinall, Christoph Lüth, Daniel Winterstein
    A Framework for Interactive Proof. [Citation Graph (0, 0)][DBLP]
    Calculemus/MKM, 2007, pp:161-175 [Conf]
  31. David Aspinall, Christoph Lüth
    Special Issue on User Interfaces in Theorem Proving: Preface. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2007, v:39, n:2, pp:107-108 [Journal]

  32. A Tactic Language for Hiproofs. [Citation Graph (, )][DBLP]


  33. Structured Formal Development with Quotient Types in Isabelle/HOL. [Citation Graph (, )][DBLP]


  34. Certifiable Specification and Verification of C Programs. [Citation Graph (, )][DBLP]


  35. Experiences in Applying Formal Verification in Robotics. [Citation Graph (, )][DBLP]


  36. Positionsstatement: Über die Rolle von formalem Beweis und Entwicklung im Zertifizierungsprozeß. [Citation Graph (, )][DBLP]


  37. Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung. [Citation Graph (, )][DBLP]


  38. Proof general in Eclipse: system and architecture overview. [Citation Graph (, )][DBLP]


  39. Towards Merging PlatOmega and PGIP. [Citation Graph (, )][DBLP]


  40. The Importance of Being Formal. [Citation Graph (, )][DBLP]


Search in 1.199secs, Finished in 1.201secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002