The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Lutz Schröder: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Lutz Schröder, Till Mossakowski
    HASCASL: Towards Integrated Specification and Development of Functional Programs. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:99-116 [Conf]
  2. Lutz Schröder, Till Mossakowski
    Generic Exception Handling and the Java Monad. [Citation Graph (0, 0)][DBLP]
    AMAST, 2004, pp:443-459 [Conf]
  3. Daniel Hausmann, Till Mossakowski, Lutz Schröder
    Towards a Coalgebraic Semantics of the Ambient Calculus. [Citation Graph (0, 0)][DBLP]
    CALCO, 2005, pp:232-246 [Conf]
  4. Dennis Walter, Lutz Schröder, Till Mossakowski
    Parametrized Exceptions. [Citation Graph (0, 0)][DBLP]
    CALCO, 2005, pp:424-438 [Conf]
  5. Lutz Schröder
    Life without the Terminal Type. [Citation Graph (0, 0)][DBLP]
    CSL, 2001, pp:429-442 [Conf]
  6. Lutz Schröder
    Henkin Models of the Partial sigma-Calculus. [Citation Graph (0, 0)][DBLP]
    CSL, 2003, pp:498-512 [Conf]
  7. Lutz Schröder
    The Logic of the Partial lambda-Calculus with Equality. [Citation Graph (0, 0)][DBLP]
    CSL, 2004, pp:385-399 [Conf]
  8. Daniel Hausmann, Till Mossakowski, Lutz Schröder
    Iterative Circular Coinduction for CoCasl in Isabelle/HOL. [Citation Graph (0, 0)][DBLP]
    FASE, 2005, pp:341-356 [Conf]
  9. Lutz Schröder, Till Mossakowski
    Monad-Independent Hoare Logic in HASCASL. [Citation Graph (0, 0)][DBLP]
    FASE, 2003, pp:261-277 [Conf]
  10. Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman
    Semantics of Architectural Specifications in CASL. [Citation Graph (0, 0)][DBLP]
    FASE, 2001, pp:253-268 [Conf]
  11. Lutz Schröder
    Expressivity of Coalgebraic Modal Logic: The Limits and Beyond. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2005, pp:440-454 [Conf]
  12. Lutz Schröder
    A Finite Model Construction for Coalgebraic Modal Logic. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:157-171 [Conf]
  13. Lutz Schröder, Till Mossakowski, Andrzej Tarlecki
    Amalgamation in CASL via Enriched Signatures. [Citation Graph (0, 0)][DBLP]
    ICALP, 2001, pp:993-1004 [Conf]
  14. Lutz Schröder, Dirk Pattinson
    PSPACE Bounds for Rank-1 Modal Logics. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:231-242 [Conf]
  15. Sergey Goncharov, Lutz Schröder, Till Mossakowski
    Completeness of Global Evaluation Logic. [Citation Graph (0, 0)][DBLP]
    MFCS, 2006, pp:447-458 [Conf]
  16. Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski
    Checking Amalgamability Conditions for C ASL Architectural Specifications. [Citation Graph (0, 0)][DBLP]
    MFCS, 2001, pp:451-463 [Conf]
  17. Lutz Schröder, Dirk Pattinson
    Rank-1 Modal Logics Are Coalgebraic. [Citation Graph (0, 0)][DBLP]
    STACS, 2007, pp:573-585 [Conf]
  18. Christoph Lüth, Markus Roggenbach, Lutz Schröder
    CCC - The Casl Consistency Checker. [Citation Graph (0, 0)][DBLP]
    WADT, 2004, pp:94-105 [Conf]
  19. Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder
    Algebraic-Coalgebraic Specification in Co Casl. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:376-392 [Conf]
  20. Markus Roggenbach, Lutz Schröder
    Towards Trustworthy Specifications I: Consistency Checks. [Citation Graph (0, 0)][DBLP]
    WADT, 2001, pp:305-327 [Conf]
  21. Markus Roggenbach, Lutz Schröder, Till Mossakowski
    Specifying Real Numbers in CASL. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:146-161 [Conf]
  22. Lutz Schröder, Till Mossakowski
    Monad-Independent Dynamic Logic in Has Casl. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:425-441 [Conf]
  23. 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]
  24. Lutz Schröder
    Monads on Composition Graphs. [Citation Graph (0, 0)][DBLP]
    Applied Categorical Structures, 2002, v:10, n:3, pp:221-236 [Journal]
  25. Till Mossakowski, Markus Roggenbach, Lutz Schröder
    CoCASL at Work -- Modelling Process Algebra. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
  26. Lutz Schröder
    Classifying categories for partial equational logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal]
  27. Till Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel
    Algebraic-coalgebraic specification in CoCasl. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2006, v:67, n:1-2, pp:146-197 [Journal]
  28. Lutz Schröder, Till Mossakowski
    Monad-independent Dynamic Logic in HasCasl. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2004, v:14, n:4, pp:571-619 [Journal]
  29. Lutz Schröder, Paulo Mateus
    Universal Aspects of Probabilistic Automata. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2002, v:12, n:4, pp:481-512 [Journal]
  30. Daniel Hausmann, Till Mossakowski, Lutz Schröder
    A coalgebraic approach to the semantics of the ambient calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:366, n:1-2, pp:121-143 [Journal]
  31. Lutz Schröder
    The HASCASL prologue: Categorical syntax and semantics of the partial lambda-calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:353, n:1-3, pp:1-25 [Journal]
  32. Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman
    Amalgamation in the semantics of CASL. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:331, n:1, pp:215-247 [Journal]
  33. Lutz Schröder
    Bootstrapping Types and Cotypes in HasCASL. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:447-461 [Conf]
  34. Stefan Wölfl, Till Mossakowski, Lutz Schröder
    Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. [Citation Graph (0, 0)][DBLP]
    FLAIRS Conference, 2007, pp:665-0 [Conf]
  35. Lutz Schröder, Dirk Pattinson
    Modular Algorithms for Heterogeneous Modal Logics. [Citation Graph (0, 0)][DBLP]
    ICALP, 2007, pp:459-471 [Conf]
  36. Lutz Schröder, Till Mossakowski
    Coalgebraic Modal Logic in CoCasl. [Citation Graph (0, 0)][DBLP]
    WADT, 2006, pp:127-141 [Conf]
  37. Lutz Schröder, Dirk Pattinson
    PSPACE Bounds for Rank-1 Modal Logics [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  38. Lutz Schröder
    A finite model construction for coalgebraic modal logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2007, v:73, n:1-2, pp:97-110 [Journal]

  39. Global Caching for Coalgebraic Description Logics. [Citation Graph (, )][DBLP]


  40. Kleene Monads: Handling Iteration in a Framework of Generic Effects. [Citation Graph (, )][DBLP]


  41. Flat Coalgebraic Fixed Point Logics. [Citation Graph (, )][DBLP]


  42. Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. [Citation Graph (, )][DBLP]


  43. Optimal Tableaux for Conditional Logics with Cautious Monotonicity. [Citation Graph (, )][DBLP]


  44. A Generic Complete Dynamic Logic for Reasoning About Purity and Effects. [Citation Graph (, )][DBLP]


  45. Formal Management of CAD/CAM Processes. [Citation Graph (, )][DBLP]


  46. Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics. [Citation Graph (, )][DBLP]


  47. Coalgebraic Hybrid Logic. [Citation Graph (, )][DBLP]


  48. Coalgebraic Correspondence Theory. [Citation Graph (, )][DBLP]


  49. Nominals for Everyone. [Citation Graph (, )][DBLP]


  50. Shallow Models for Non-iterative Modal Logics. [Citation Graph (, )][DBLP]


  51. How Many Toes Do I Have? Parthood and Number Restrictions in Description Logics. [Citation Graph (, )][DBLP]


  52. Probabilistic Description Logics for Subjective Uncertainty. [Citation Graph (, )][DBLP]


  53. Strong Completeness of Coalgebraic Modal Logics. [Citation Graph (, )][DBLP]


  54. Named Models in Coalgebraic Hybrid Logic. [Citation Graph (, )][DBLP]


  55. Generic Modal Cut Elimination Applied to Conditional Logics. [Citation Graph (, )][DBLP]


  56. Modal Logics are Coalgebraic. [Citation Graph (, )][DBLP]


  57. Free Factorizations. [Citation Graph (, )][DBLP]


  58. Free Adjunction of Morphisms. [Citation Graph (, )][DBLP]


  59. The craft of model making: PSPACE bounds for non-iterative modal logics [Citation Graph (, )][DBLP]


  60. Bootstrapping Inductive and Coinductive Types in HasCASL [Citation Graph (, )][DBLP]


  61. Strong Completeness of Coalgebraic Modal Logics [Citation Graph (, )][DBLP]


  62. Named Models in Coalgebraic Hybrid Logic [Citation Graph (, )][DBLP]


  63. Flat coalgebraic fixed point logics [Citation Graph (, )][DBLP]


  64. Admissibility of Cut in Coalgebraic Logics. [Citation Graph (, )][DBLP]


  65. CoLoSS: The Coalgebraic Logic Satisfiability Solver. [Citation Graph (, )][DBLP]


  66. Optimizing Conditional Logic Reasoning within CoLoSS. [Citation Graph (, )][DBLP]


Search in 0.947secs, Finished in 0.950secs
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