The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Till Mossakowski: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Maura Cerioli, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner, Till Mossakowski
    Permissive Subsorted Partial Logic in CASL. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:91-107 [Conf]
  2. Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer
    The Development Graph Manager MAYA. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:495-501 [Conf]
  3. Till Mossakowski
    Parameterized Recursion Theory - A Tool for the Systematic Classification of Specification Methods. [Citation Graph (0, 0)][DBLP]
    AMAST, 1993, pp:137-144 [Conf]
  4. Till Mossakowski
    Monad-Based Logics for Computational Effects. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:3-4 [Conf]
  5. 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]
  6. Lutz Schröder, Till Mossakowski
    Generic Exception Handling and the Java Monad. [Citation Graph (0, 0)][DBLP]
    AMAST, 2004, pp:443-459 [Conf]
  7. Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski
    High-Level Nets with Nets and Rules as Tokens. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:268-288 [Conf]
  8. Till Mossakowski
    Institutional 2-cells and Grothendieck Institutions. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:124-149 [Conf]
  9. 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]
  10. Dennis Walter, Lutz Schröder, Till Mossakowski
    Parametrized Exceptions. [Citation Graph (0, 0)][DBLP]
    CALCO, 2005, pp:424-438 [Conf]
  11. Till Mossakowski
    A Hierarchy of Institutions Seperated by Properties of Parameterized Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1994, pp:389-405 [Conf]
  12. Till Mossakowski
    Using Limits of Parchment to Systematically Construct Institutions of partial Algebras. [Citation Graph (0, 0)][DBLP]
    COMPASS/ADT, 1995, pp:379-393 [Conf]
  13. Stefan Wölfl, Till Mossakowski
    Casl Specifications of Qualitative Calculi. [Citation Graph (0, 0)][DBLP]
    COSIT, 2005, pp:200-217 [Conf]
  14. Till Mossakowski
    Equivalences among Various Logical Frameworks of Partial Algebras. [Citation Graph (0, 0)][DBLP]
    CSL, 1995, pp:403-433 [Conf]
  15. Till Mossakowski, Andrzej Tarlecki, Wieslaw Pawlowski
    Combining and Representing Logical Systems. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1997, pp:177-196 [Conf]
  16. Till Mossakowski
    Heterogeneous Theories and the Heterogeneous Tool Set. [Citation Graph (0, 0)][DBLP]
    Semantic Interoperability and Integration, 2005, pp:- [Conf]
  17. 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]
  18. Till Mossakowski, Serge Autexier, Dieter Hutter
    Extending Development Graphs with Hiding. [Citation Graph (0, 0)][DBLP]
    FASE, 2001, pp:269-283 [Conf]
  19. Lutz Schröder, Till Mossakowski
    Monad-Independent Hoare Logic in HASCASL. [Citation Graph (0, 0)][DBLP]
    FASE, 2003, pp:261-277 [Conf]
  20. 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]
  21. Till Mossakowski
    Heterogeneous Development Graphs and Heterogeneous Borrowing. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2002, pp:326-341 [Conf]
  22. Serge Autexier, Till Mossakowski
    Integrating HOL-CASL into the Development Graph Manager MAYA. [Citation Graph (0, 0)][DBLP]
    FroCos, 2002, pp:2-17 [Conf]
  23. Till Mossakowski
    Different Types of Arrow Between Logical Frameworks. [Citation Graph (0, 0)][DBLP]
    ICALP, 1996, pp:158-169 [Conf]
  24. Lutz Schröder, Till Mossakowski, Andrzej Tarlecki
    Amalgamation in CASL via Enriched Signatures. [Citation Graph (0, 0)][DBLP]
    ICALP, 2001, pp:993-1004 [Conf]
  25. Sergey Goncharov, Lutz Schröder, Till Mossakowski
    Completeness of Global Evaluation Logic. [Citation Graph (0, 0)][DBLP]
    MFCS, 2006, pp:447-458 [Conf]
  26. 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]
  27. Till Mossakowski
    Comorphism-Based Grothendieck Logics. [Citation Graph (0, 0)][DBLP]
    MFCS, 2002, pp:593-604 [Conf]
  28. Bernd Krieg-Brückner, Udo Frese, Klaus Lüttich, Christian Mandel, Till Mossakowski, Robert J. Ross
    Specification of an Ontology for Route Graphs. [Citation Graph (0, 0)][DBLP]
    Spatial Cognition, 2004, pp:390-412 [Conf]
  29. Till Mossakowski
    CASL: From Semantics to Tools. [Citation Graph (0, 0)][DBLP]
    TACAS, 2000, pp:93-108 [Conf]
  30. Till Mossakowski, Michael Drouineaud, Karsten Sohr
    A temporal-logic extension of role-based access control covering dynamic separation of duties. [Citation Graph (0, 0)][DBLP]
    TIME, 2003, pp:83-90 [Conf]
  31. Klaus Lüttich, Till Mossakowski, Bernd Krieg-Brückner
    Ontologies for the Semantic Web in Casl. [Citation Graph (0, 0)][DBLP]
    WADT, 2004, pp:106-125 [Conf]
  32. Till Mossakowski
    Foundations of Heterogeneous Specification. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:359-375 [Conf]
  33. Till Mossakowski
    Colimits of order-sorted specifications. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:316-332 [Conf]
  34. Till Mossakowski
    Translationg OBJ3 into CASL: The Institution Level. [Citation Graph (0, 0)][DBLP]
    WADT, 1998, pp:198-215 [Conf]
  35. Till Mossakowski
    Specifications in an Arbitrary Institution with Symbols. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:252-270 [Conf]
  36. Till Mossakowski, Bartek Klin
    Institution Independent Static Analysis for CASL. [Citation Graph (0, 0)][DBLP]
    WADT, 2001, pp:221-237 [Conf]
  37. Till Mossakowski, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner
    Subsorted Partial Higher-Order Locig as an Extension of CASL. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:126-145 [Conf]
  38. Till Mossakowski, Kolyang, Bernd Krieg-Brückner
    Static semantic analysis and theorem proving for CASL. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:333-348 [Conf]
  39. 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]
  40. Till Mossakowski, Donald Sannella, Andrzej Tarlecki
    A Simple Refinement Language for Casl. [Citation Graph (0, 0)][DBLP]
    WADT, 2004, pp:162-185 [Conf]
  41. Till Mossakowski, Andrzej Tarlecki, Wieslaw Pawlowski
    Combining and representing logical systems using model-theoretic parchments. [Citation Graph (0, 0)][DBLP]
    WADT, 1997, pp:349-364 [Conf]
  42. Markus Roggenbach, Lutz Schröder, Till Mossakowski
    Specifying Real Numbers in CASL. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:146-161 [Conf]
  43. Lutz Schröder, Till Mossakowski
    Monad-Independent Dynamic Logic in Has Casl. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:425-441 [Conf]
  44. 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]
  45. Kathrin Hoffmann, Till Mossakowski
    Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:253-267 [Conf]
  46. Till Mossakowski, Anne Elisabeth Haxthausen, Donald Sannella, Andrzej Tarlecki
    Casl - The Common Algebraic Specification Language: Semantics and Proof Theory. [Citation Graph (0, 0)][DBLP]
    Computers and Artificial Intelligence, 2003, v:22, n:3, pp:- [Journal]
  47. Kathrin Hoffmann, Till Mossakowski, Francesco Parisi-Presicce
    Higher-Order Nets for Mobile Policies. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:127, n:2, pp:87-105 [Journal]
  48. 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]
  49. Till Mossakowski, Serge Autexier, Dieter Hutter
    Development graphs - Proof management for structured specifications. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2006, v:67, n:1-2, pp:114-145 [Journal]
  50. 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]
  51. 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]
  52. Hans-Jörg Kreowski, Till Mossakowski
    Equivalence and Difference between Institutions: Simulating Horn Clause Logic with Based Algebras. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1995, v:5, n:2, pp:189-215 [Journal]
  53. 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]
  54. Till Mossakowski
    Relating CASL with other specification languages: the institution level. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:286, n:2, pp:367-475 [Journal]
  55. 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]
  56. 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]
  57. Till Mossakowski, Christian Maeder, Klaus Lüttich
    The Heterogeneous Tool Set, Hets. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:519-522 [Conf]
  58. Lutz Schröder, Till Mossakowski
    Coalgebraic Modal Logic in CoCasl. [Citation Graph (0, 0)][DBLP]
    WADT, 2006, pp:127-141 [Conf]
  59. Klaus Lüttich, Till Mossakowski
    Reasoning Support for Caslwith Automated Theorem Proving Systems. [Citation Graph (0, 0)][DBLP]
    WADT, 2006, pp:74-91 [Conf]
  60. Till Mossakowski, Markus Roggenbach
    Structured CSP - A Process Algebra as an Institution. [Citation Graph (0, 0)][DBLP]
    WADT, 2006, pp:92-110 [Conf]

  61. Towards Ontological Blending. [Citation Graph (, )][DBLP]


  62. The Heterogeneous Tool Set (Hets). [Citation Graph (, )][DBLP]


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


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


  65. Conservativity in Structured Ontologies. [Citation Graph (, )][DBLP]


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


  67. The VSE Refinement Method in Hets. [Citation Graph (, )][DBLP]


  68. Modules in Transition - Conservativity, Composition, and Colimits. [Citation Graph (, )][DBLP]


  69. Qualitative Reasoning about Convex Relations. [Citation Graph (, )][DBLP]


  70. Heterogeneous Logical Environments for Distributed Specifications. [Citation Graph (, )][DBLP]


  71. The OWL in the CASL - Designing Ontologies Across Logics. [Citation Graph (, )][DBLP]


  72. Oriented Straight Line Segment Algebra: Qualitative Spatial Reasoning about Oriented Objects [Citation Graph (, )][DBLP]


Search in 0.410secs, Finished in 0.412secs
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