Search the dblp DataBase
Till Mossakowski :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] Serge Autexier , Dieter Hutter , Till Mossakowski , Axel Schairer The Development Graph Manager MAYA. [Citation Graph (0, 0)][DBLP ] AMAST, 2002, pp:495-501 [Conf ] 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 ] Till Mossakowski Monad-Based Logics for Computational Effects. [Citation Graph (0, 0)][DBLP ] AMAST, 2006, pp:3-4 [Conf ] 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 ] Lutz Schröder , Till Mossakowski Generic Exception Handling and the Java Monad. [Citation Graph (0, 0)][DBLP ] AMAST, 2004, pp:443-459 [Conf ] 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 ] Till Mossakowski Institutional 2-cells and Grothendieck Institutions. [Citation Graph (0, 0)][DBLP ] Essays Dedicated to Joseph A. Goguen, 2006, pp:124-149 [Conf ] 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 ] Dennis Walter , Lutz Schröder , Till Mossakowski Parametrized Exceptions. [Citation Graph (0, 0)][DBLP ] CALCO, 2005, pp:424-438 [Conf ] 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 ] 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 ] Stefan Wölfl , Till Mossakowski Casl Specifications of Qualitative Calculi. [Citation Graph (0, 0)][DBLP ] COSIT, 2005, pp:200-217 [Conf ] Till Mossakowski Equivalences among Various Logical Frameworks of Partial Algebras. [Citation Graph (0, 0)][DBLP ] CSL, 1995, pp:403-433 [Conf ] 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 ] Till Mossakowski Heterogeneous Theories and the Heterogeneous Tool Set. [Citation Graph (0, 0)][DBLP ] Semantic Interoperability and Integration, 2005, pp:- [Conf ] 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 ] Till Mossakowski , Serge Autexier , Dieter Hutter Extending Development Graphs with Hiding. [Citation Graph (0, 0)][DBLP ] FASE, 2001, pp:269-283 [Conf ] Lutz Schröder , Till Mossakowski Monad-Independent Hoare Logic in HASCASL. [Citation Graph (0, 0)][DBLP ] FASE, 2003, pp:261-277 [Conf ] 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 ] Till Mossakowski Heterogeneous Development Graphs and Heterogeneous Borrowing. [Citation Graph (0, 0)][DBLP ] FoSSaCS, 2002, pp:326-341 [Conf ] Serge Autexier , Till Mossakowski Integrating HOL-CASL into the Development Graph Manager MAYA. [Citation Graph (0, 0)][DBLP ] FroCos, 2002, pp:2-17 [Conf ] Till Mossakowski Different Types of Arrow Between Logical Frameworks. [Citation Graph (0, 0)][DBLP ] ICALP, 1996, pp:158-169 [Conf ] Lutz Schröder , Till Mossakowski , Andrzej Tarlecki Amalgamation in CASL via Enriched Signatures. [Citation Graph (0, 0)][DBLP ] ICALP, 2001, pp:993-1004 [Conf ] Sergey Goncharov , Lutz Schröder , Till Mossakowski Completeness of Global Evaluation Logic. [Citation Graph (0, 0)][DBLP ] MFCS, 2006, pp:447-458 [Conf ] 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 ] Till Mossakowski Comorphism-Based Grothendieck Logics. [Citation Graph (0, 0)][DBLP ] MFCS, 2002, pp:593-604 [Conf ] 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 ] Till Mossakowski CASL: From Semantics to Tools. [Citation Graph (0, 0)][DBLP ] TACAS, 2000, pp:93-108 [Conf ] 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 ] 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 ] Till Mossakowski Foundations of Heterogeneous Specification. [Citation Graph (0, 0)][DBLP ] WADT, 2002, pp:359-375 [Conf ] Till Mossakowski Colimits of order-sorted specifications. [Citation Graph (0, 0)][DBLP ] WADT, 1997, pp:316-332 [Conf ] Till Mossakowski Translationg OBJ3 into CASL: The Institution Level. [Citation Graph (0, 0)][DBLP ] WADT, 1998, pp:198-215 [Conf ] Till Mossakowski Specifications in an Arbitrary Institution with Symbols. [Citation Graph (0, 0)][DBLP ] WADT, 1999, pp:252-270 [Conf ] Till Mossakowski , Bartek Klin Institution Independent Static Analysis for CASL. [Citation Graph (0, 0)][DBLP ] WADT, 2001, pp:221-237 [Conf ] 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 ] 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 ] 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 ] Till Mossakowski , Donald Sannella , Andrzej Tarlecki A Simple Refinement Language for Casl. [Citation Graph (0, 0)][DBLP ] WADT, 2004, pp:162-185 [Conf ] 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 ] Markus Roggenbach , Lutz Schröder , Till Mossakowski Specifying Real Numbers in CASL. [Citation Graph (0, 0)][DBLP ] WADT, 1999, pp:146-161 [Conf ] Lutz Schröder , Till Mossakowski Monad-Independent Dynamic Logic in Has Casl. [Citation Graph (0, 0)][DBLP ] WADT, 2002, pp:425-441 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Till Mossakowski , Christian Maeder , Klaus Lüttich The Heterogeneous Tool Set, Hets. [Citation Graph (0, 0)][DBLP ] TACAS, 2007, pp:519-522 [Conf ] Lutz Schröder , Till Mossakowski Coalgebraic Modal Logic in CoCasl. [Citation Graph (0, 0)][DBLP ] WADT, 2006, pp:127-141 [Conf ] Klaus Lüttich , Till Mossakowski Reasoning Support for Caslwith Automated Theorem Proving Systems. [Citation Graph (0, 0)][DBLP ] WADT, 2006, pp:74-91 [Conf ] Till Mossakowski , Markus Roggenbach Structured CSP - A Process Algebra as an Institution. [Citation Graph (0, 0)][DBLP ] WADT, 2006, pp:92-110 [Conf ] Towards Ontological Blending. [Citation Graph (, )][DBLP ] The Heterogeneous Tool Set (Hets). [Citation Graph (, )][DBLP ] Kleene Monads: Handling Iteration in a Framework of Generic Effects. [Citation Graph (, )][DBLP ] Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. [Citation Graph (, )][DBLP ] Conservativity in Structured Ontologies. [Citation Graph (, )][DBLP ] A Generic Complete Dynamic Logic for Reasoning About Purity and Effects. [Citation Graph (, )][DBLP ] The VSE Refinement Method in Hets. [Citation Graph (, )][DBLP ] Modules in Transition - Conservativity, Composition, and Colimits. [Citation Graph (, )][DBLP ] Qualitative Reasoning about Convex Relations. [Citation Graph (, )][DBLP ] Heterogeneous Logical Environments for Distributed Specifications. [Citation Graph (, )][DBLP ] The OWL in the CASL - Designing Ontologies Across Logics. [Citation Graph (, )][DBLP ] Oriented Straight Line Segment Algebra: Qualitative Spatial Reasoning about Oriented Objects [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.458secs