|
|
2013
- Frank Dylla; Till Mossakowski; Thomas Schneider; Diedrich Wolter
Algebraic Properties of Qualitative Spatio-Temporal Calculi.
In: Conference On Spatial Information Theory . Conference On Spatial Information Theory (COSIT-13), September 2-5, North Yorkshire, United Kingdom, Springer, 2013.
- Christoph Lange; Marco B. Caminati; Manfred Kerber; Till Mossakowski; Colin Rowat; Makarius Wenzel; Wolfgang Windsteiger
A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory.
In: Jacques Carette; James H. Davenport; Wolfgang Windsteiger; Petr Sojka; David Aspinall; Christoph Lange (Hrsg.). Conferences on Intelligent Computer Mathematics, Lecture Notes in Computer Science. Conferences on Intelligent Computer Mathematics (CICM-13), July 8-12, Bath, United Kingdom, Springer, 2013.
- Till Mossakowski; Oliver Kutz; Christoph Lange
Three Semantics for the Core of the Distributed Ontology Language.
In: International Joint Conference on Artificial Intelligence . International Joint Conference on Artificial Intelligence (IJCAI-13), The 2013 International Joint Conference on Artificial Intelligence, August 3-9, Beijing, China, nnn, 2013.
2012
- Mihai Codescu
Lambda Expressions in CASL Architectural Specifications.
In: Till Mossakowski; Hans-Jörg Kreowski (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-10), located at 20th, July 1-4, Schloss Etelsen, Germany, LNCS, Vol. 7137, Springer, 2012.
- Mihai Codescu; Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe; Kristina Sojakova
Towards Logical Frameworks in the Heterogeneous Tool Set Hets.
In: Hans-Jörg Kreowski; Till Mossakowski (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-10), 20th, July 1-4, Schloss Etelsen, Germany, Lecture Notes in Computer Science (LNCS), Vol. 7137, Springer, 2012.
- Mihai Codescu; Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe
A Proof Theoretic Interpretation of Model Theoretic Hiding.
In: Hans-Jörg Kreowski; Till Mossakowski (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-10), 20th, July 1-4, Schloss Etelsen, Germany, Pages 118-138, Lecture Notes in Computer Science (LNCS), Vol. 7137, Springer, 2012.
- Mihai Codescu; Bruno Langenstein; Christian Maeder; Till Mossakowski
The VSE Refinement Method in Hets.
In: Electronic Communications of the EASST, Vol. o.A. Page o.A. o.A. 2012.
- Christian Galinski; Oliver Kutz; Christoph Lange; Till Mossakowski
The Distributed Ontology Language (DOL): Use Cases, Syntax, and Semantics.
In: Terminology and Knowledge Engineering Conference . Terminology and Knowledge Engineering Conference (TKE-12), June 20-21, Madrid, Spain, o.A. 2012.
- Oliver Kutz; Till Mossakowski; Joana Hois; Mehul Bhatt; John Bateman
Ontological Blending in DOL.
In: Computational Creativity, Concept Invention, and General Intelligence - 1st International Workshop. International Workshop on Computational Creativity, Concept Invention, and General Intelligence (C3GI-12), First, located at ECAI 2012, August 27, Montpellier, France, Publication Series of the Institute of Cognitive Science , 2012.
- Oliver Kutz; Janna Hastings; Till Mossakowski
Modelling Highly Symmetrical Molecules: Linking Ontologies and Graphs.
In: 15th International Conference on Artificial Intelligence: Methodology, Systems, and Applications. Artificial Intelligence: Methodology, Systems, and Applications (AIMSA-12), 15th, September 13-15, Varna, Bulgaria, Pages 103-111, Lecture Notes in Artificial Intelligence (LNAI), Vol. 7557, Springer, 2012.
- Christoph Lange; Oliver Kutz; Till Mossakowski; Michael Grüninger
The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization.
In: Conferences on Intelligent Computer Mathematics. Conferences on Intelligent Computer Mathematics (CICM-12), July 8-13, Bremen, Germany, Lecture Notes in Computer Science (LNCS), Vol. 7362, Springer , 2012.
- Christoph Lange; Till Mossakowski; Oliver Kutz
LoLa: A Modular Ontology of Logics, Languages, and Translations.
In: Modular Ontologies - Proceedings of the 6th International Workshop. International Workshop on Modular Ontologies (WoMO-12), 6th, located at FOIS 2012, July 24, Graz, Austria, Vol. 875, IOS Press, 2012.
- Till Mossakowski; Christoph Lange; Oliver Kutz
Three Semantics for the Core of the Distributed Ontology Language.
In: International Conference on Formal Ontology in Information Systems . International Conference on Formal Ontology in Information Systems (FOIS-12), July 24-27, Graz, Austria, Pages 337-352, IOS Press, 2012.
- Till Mossakowski; Reinhard Moratz
Qualitative Reasoning about Relative Direction of Oriented Points.
In: Artificial Intelligence (AIJ), Vol. 180–181, Pages 34-45, o.A. 2012.
- Liam O'Reilly; Till Mossakowski; Markus Roggenbach
Compositional modelling and reasoning in an institution for processes and data.
In: Till Mossakowski; Hans-Jörg Kreowski (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-10), 20th, July 1-4, Etelsen, Germany, Pages 251-269, Lecture Notes in Computer Science (LNCS), Vol. 7137, Springer, 2012.
- Falko Schmid; Oliver Kutz; Lutz Frommberger; Till Mossakowski; Tomi Kauppinen; Cunyuan Cai
Intuitive and Natural Interfaces for Geospatial Data Classification.
In: Maria Vasardani; Stephan Winter; Kai-Florian Richter; Krzysztof Janowicz; William Mackaness (Hrsg.). Proceedings of the International Workshop on Place-related Knowledge Acquisition Research. International Workshop on Place-Related Knowledge Acquisition Research (P-KAR-12), August 31, Kloster Seeon, Germany, Pages 26-32, Vol. 881, CEUR-WS.org, 2012.
- Till Mossakowski; Oliver Kutz; Christoph Lange
Semantics of the distributed ontology language: Institutes and Institutions.
In: Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-12), June 7-10, Salamanca, Spain, Springer, 2012.
2011
- Mihai Codescu; Gregor Horsinka; Oliver Kutz; Till Mossakowski; Rafaela Rau
DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap.
In: C. Claramunt; S. Levashkin; M. Bertolotto (Hrsg.). Fourth International Conference on GeoSpatial Semantics. International Conference on GeoSpatial Semantics (GeoS-11), 4th, May 12-13, Brest, France, Pages 88-107, Lecture Notes in Computer Science (LNCS), Vol. 6631, Springer Verlag, Berlin, 2011.
- Mihai Codescu; Till Mossakowski
Refinement trees: calculi, tools and applications.
In: Andrea Corradini; Bartek Klin (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science (CALCO-11), 4th, August 30 - September 2, Winchster, United Kingdom, Pages 145-160, Lecture Notes in Computer Science (LNCS), Vol. 6859, Springer Verlag, Berlin, 2011.
- Till Mossakowski; Mihai Codescu; Oliver Kutz
Ontologie-basierte Routenplanung für eine aktivitätsorientierte Elektromobilität mit OpenStreetMap.
In: Michael Schenk; Hartmut Zadek; Gerhard Müller; Klaus Richter; Holger Seidel (Hrsg.). 16. Magdeburger Logistiktage "Sichere und nachhaltige Logistik". Magdeburger Logistiktage, 16., located at IFF Wissenschaftstage, June 29 - July 1, Magdeburg, Germany, Pages 19-28, Selbstverlag, 2011.
- Mihai Codescu; Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe
Project Abstract: Logic Atlas and Integrator (LATIN).
In: James H. Davenport; William M. Farmer; Josef Urban; Florian Rabe (Hrsg.). Intelligent Computer Mathematics. Conference on Intelligent Computer Mathematics (CICM-11), July 18-23, Bertinoro, Forli, Italy, Pages 289-291, Lecture Notes in Computer Science (LNCS), Vol. 6824, Springer, 2011.
- Janna Hastings; Oliver Kutz; Till Mossakowski
How to model the shapes of molecules? Combining topology and ontology using heterogeneous specifications.
In: Deep Knowledge Representation Challenge Workshop. International Conference on Knowledge Capture (K-Cap-11), 6th, located at co-located with K-CAP 2011, June 25-29, Banff, Alberta, Canada, o.A. 2011.
- Oliver Kutz; Till Mossakowski
A Modular Consistency Proof for Dolce.
In: Wolfram Burgard; Dan Roth (Hrsg.). Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence and the Twenty-Third Innovative Applications of Artificial Intelligence Conference. AAAI Conference on Artificial Intelligence (AAAI-11), 5th, located at combined with the Twenty-Third Innovative Applications of Artificial Intelligence Conference, August 7-11, San Francisco, CA, United States, Pages 227-234, AAAI Press, Menlo Park, CA, 2011.
- Oliver Kutz; Till Mossakowski; Christian Galinski; Christoph Lange
Towards a Standard for Heterogeneous Ontology Integration and Interoperability.
In: Key-Sun Choi (Hrsg.). Proceedings of the First International Conference on Terminology, Languages and Content Resources (LarC 2011). International Conference on Terminology, Languages and Content Resources (LarC-11), June 10-11, Seoul, Korea, Republic of, KATS e.a. Seoul, 2011.
- Oliver Kutz; Till Mossakowski; Janna Hastings; Alexander Garcia Castro; Aleksandra Sojic
Hyperontology for the Biomedical Ontologist - A Sketch and Some Examples.
In: George Gkoutos; Pierre Grenon (Hrsg.). Workshop on Working with Multiple Biomedical Ontologies. International Conference on Biomedical Ontologies (ICBO-11), located at at ICBO 2011, July 26-30, University of Buffalo, NY, United States, o.A. 2011.
- Oliver Kutz; Till Mossakowski
The Onto-Logical Translation Graph.
In: O. Kutz; T. Schneider (Hrsg.). Modular Ontologies - Proceedings of the Fifth International Workshop. International Workshop on Modular Ontologies (WoMO-11), 5th, August 8-12, Ljubljana, Slovenia, Pages 94-109, Frontiers in Artificial Intelligence and Applications, ISBN 978-1-60750-798-7, IOS Press, Amsterdam, 2011.
- Dominik Lücke; Till Mossakowski; Reinhard Moratz
Streets to the OPRA - Finding your destination with imprecise knowledge.
In: Jochen Renz; Anthony G. Cohn; Stefan Wölfl (Hrsg.). IJCAI Workshop on Benchmarks and Applications of Spatial Reasoning. IJCAI Workshop on Benchmarks and Applications of Spatial Reasoning, located at IJCAI, July 17, Barcelona, Spain, Pages 25-32, o.A. 2011.
- Reinhard Moratz; Dominik Lücke; Till Mossakowski
A Condensed Semantics for Qualitative Spatial Reasoning About Oriented Straight Line Segments.
In: Artificial Intelligence (AIJ), Vol. 175, No. 16-17, Pages 2099-2127, Elsevier, Amsterdam, 2011.
2010
- Till Mossakowski; Lutz Schröder; Sergey Goncharov
A Generic Complete Dynamic Logic for Reasoning about Purity and Effects.
In: Formal Aspects of Computing (FAC), Vol. 22, No. 3-4, Pages 363-384, Springer, Berlin, 5/2010.
- Mihai Codescu; Till Mossakowski; Adrian Riesco; Christian Maeder
Integrating Maude into HETS.
In: Proceedings of the 13th International Conference on Algebraic Methodology and Software Technology. International Conference on Algebraic Methodology and Software Technology (AMAST-2010), Thirteenth, June 23-25, Manoir St-Castin, Quebec, Canada, LNCS, Springer, 2010.
- Glauber Cabral; Christian Maeder; Till Mossakowski; Lutz Schröder
Creating a HasCASL library.
In: Jonathan Aldrich; Ricardo Massa (Hrsg.). 14th Brazilian Symposium on Programming Languages. Brazilian Symposium on Programming Languages (SBLP-10), located at Brazilian Conference on Software: Theory and Practice, September 27 - October 1, Salvador-Bahia, Brazil, o.A. 9/2010.
- Joana Hois; Oliver Kutz; Till Mossakowski; John A. Bateman
Towards Ontological Blending.
In: Darina Dicheva; Danail Dochev (Hrsg.). Artificial Intelligence: Methodology, Systems, and Applications. Proceedings. Artificial Intelligence: Methodology, Systems, and Applications (AIMSA-10), 14th International Conference, September 8-10, Varna, Bulgaria, Pages 263-264, Lecture Notes in Computer Science (LNCS), Vol. 6304, Springer Verlag, Berlin, 2010.
- Oliver Kutz; Till Mossakowski; Dominik Lücke
Carnap, Goguen, and the Hyperontologies - Logical Pluralism and Heterogeneous Structuring in Ontology Design.
In: Jean-Yves BĂ©ziau (Hrsg.). Logica Universalis, Vol. 4, No. 2, Pages 255-333, Birkäuser, Basel, 2010.
- Oliver Kutz; Immanuel Normann; Till Mossakowski; Dirk Walther
Chinese Whispers and Connected Alignments .
In: Pavel Shvaiko et al. (Hrsg.). Proceedings of the 5th International Workshop on Ontology Matching. International Workshop on Ontology Matching (OM-10), 5th, located at collocated with the 9th International Semantic Web Conference ISWC-2010, November 7, Shanghai, China, Pages 25-36, CEUR-WS online proceedings, Vol. 689, CEUR-WS online proceedings, 2010.
- Dominik Lücke; Till Mossakowski
A much better polynomial time approximation of consistency in the LR calculus.
In: A. Gomez-Perez; T. Agotnes (Hrsg.). Proceedings of the 5th Starting AI Researcher Symposium. Starting AI Researcher Symposium (STAIRS-10), 5th, located at ECAI 2010 and PAIS 2010, August 16-20, Lisbon, Germany, Pages 175-185, Frontiers in Artificial Intelligence and Applications , Vol. 222, IOS Press, Amsterdam, 2010.
- Till Mossakowski; Ugo Montanari
Preface.
In: Till Mossakowski; Ugo Montanari (Hrsg.). Logical Methods in Computer Science (LMCS), Vol. SPECIAL ISSUE: Selected Papers of the Conference "Algebraic and Coalgebraic Methods in Computer Science 2007" Bergen, Norway, 2007, Pages 1-2, o.A. 2010.
2009
- Lutz Schröder; Till Mossakowski
HasCASL: Integrated Higher-Order Specification and Program Development.
In: Theoretical Computer Science, Vol. 410, No. 12-13, Pages 1217-1260, Elsevier, 2009.
- Sergey Goncharov; Lutz Schröder; Till Mossakowski
Kleene Monads: Handling Iteration in a Framework of Generic Effects.
In: Alexander Kurz; Andrzej Tarlecki (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science (CALCO-09), Third International Conference, September 6-10, Udine, Italy, Pages 18-33, Lecture Notes in Computer Science (LNCS), Vol. 5728, Springer, Berlin, 9/2009.
- Mihai Codescu; Bruno Langenstein; Christian Maeder; Till Mossakowski
The VSE Refinement Method in HETS.
In: K. Breitman; A. Cavalcanti (Hrsg.). Proceedings of the 11th International Conference on Formal Engineering Methods. International Conference on Formal Engineering Methods (ICFEM-2009), December 9-12, Rio de Janeiro, Brazil, Lecture Notes in Computer Science (LNCS), Vol. 5885, Springer, 2009.
- Till Mossakowski
On Teaching Logic and Algebraic Specification.
In: Frank Drewes; Annegret Habel; Berthold Hoffmann; Detlef Plump (Hrsg.). Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday. Pages 269-286, Universität Bremen, 2009.
- Till Mossakowski; Razvan Diaconescu; Andrzej Tarlecki
What is a logic translation?.
In: Logica Universalis, Vol. 3, No. 1, Pages 95-124, Birkhäuser, Basel, 2009.
- Till Mossakowski; Andrzej Tarlecki
Heterogeneous Logical Environments for Distributed Specifications.
In: Andrea Corradini; Ugo Montanari (Hrsg.). Recent Trends in Algebraic Development Techniques: 19th International Workshop. International Workshop on Algebraic Development Techniques (WADT-2008), June 13-16, Pisa, Italy, Pages 266-289, Lecture Notes in Computer Science (LNCS), Vol. 5486, ISBN 978-3-642-03428-2, Springer, Berlin, Heidelberg, 2009.
2008
- Oliver Kutz; Till Mossakowski; Mihai Codescu
Shapes of Alignments - Construction, Combination, and Computation.
In: Ulrike Sattler; Andrei Tamilin (Hrsg.). International Workshop on Ontologies: Reasoning and Modularity. Ontologies: Reasoning and Modularity. Workshop (WORM-08), located at the 5th European Semantic Web Conference ESWC-08, June 2, Tenerife, Spain, CEUR-WS online proceedings, Vol. 348, CEUR, 2008.
- Oliver Kutz; Dominik Lücke; Till Mossakowski
Heterogeneously Structured Ontologies: Integration, Connection, and Refinement.
In: T. Meyer; M.A. Orgun (Hrsg.). Knowledge Representation Ontology Workshop. KROW-08, located at KR-2008, September 16-19, Sidney, Australia, Pages 41-50, CRPIT, Vol. 90, ASR, 2008.
- Till Mossakowski; Lutz Schröder; Sergey Goncharov
A generic complete dynamic logic for reasoning about purity and effects.
In: J. Fiadeiro; P. Inverardi (Hrsg.). Fundamental Approaches to Software Engineering. Fundamental Approaches to Software Engineering (FASE-08), located at 11th Conference of the European Joint Conferences on Theory and Practice of Software (ETAPS 2008), March 29 - April 6, Budapest, Hungary, Pages 199-214, Lecture Notes in Computer Science (LNCS), Vol. 4961, Springer, 2008.
- Till Mossakowski
Parameterized Recursion Theory -- A Tool for the Systematic Classification of Specification Methods.
In: Theoretical Computer Science, Vol. o.A. Pages o.A.-o.A. o.A. 2008.
- Mihai Codescu; Till Mossakowski
Heterogeneous colimits.
In: Frédéric Boulanger; Christophe Gaston; Pierre-Yves Schobbens (Hrsg.). Workshop on Modeling, Validation and Heterogeneity. Workshop on Modeling, Validation and Heterogeneity (MoVaH-08), located at IEEE International Conference on Software Testing Verification and Validation, April 9-11, Lillehammer, Norway, IEEE press, 2008.
- Oliver Kutz; Dominik Lücke; Till Mossakowski; Immanueal Normann
The OWL in the CASL - Designing Ontologies Across Logics.
In: Catherine Dolbear; Alan Ruttenberg; Uli Sattler (Hrsg.). OWL: Experiences and Directions, 5th International Workshop. The OWL: Experiences and Directions Workshop (OWLED-08), October 26-27, Karlsruhe, Germany, No. 432, CEUR-WS, 2008.
- Oliver Kutz; Dominik Lücke; Till Mossakowski
Modular Construction of Models - Towards a Consistency Proof for the Foundational Ontology DOLCE.
In: First International Workshop on Foundations of Computer Science as Logic-Related. International Workshop on Foundations of Computer Science as Logic-Related, located at 5th International Colloquium on Theoretical Aspects of Computing (ICTAC-08), August 30, Istanbul, Turkey, o.A. 2008.
- Oliver Kutz; Till Mossakowski
Conservativity in Structured Ontologies.
In: Malik Ghallab; Constantine D. Spyropoulos; Nikos Fakotakis; Nikos Avouris (Hrsg.). Proceedings of the 18th European Conference on Artificial Intelligence. European Conference on Artificial Intelligence (ECAI-2008), July 21-25, Patras, Greece, Pages 89-93, Frontiers in Artificial Intelligence and Applications, Vol. 178, ISBN 978-1-58603-891-5, IOS Press, Amsterdam, The Netherlands, 2008.
- Dominik Lücke; Till Mossakowski; Diedrich Wolter
Qualitative reasoning about convex relations.
In: Christian Freksa; Nora S. Newcombe; Peter Gärdenfors; Stefan Wölfl (Hrsg.). Spatial Cognition VI. Learning, Reasoning, and Talking about Space. International Conference Spatial Cognition (Spatial Cognition-08), September 15-19, Freiburg, Germany, Pages 426-440, Lecture Notes in Computer Science, Vol. 5248, ISBN 978-3-540-87600-7, Springer, Berlin, Heidelberg, 2008.
2007
- Till Mossakowski; A. Haxthausen; D. Sannella; A. Tarlecki
CASL- the Common Algebraic Specification Language.
In: D. Bjorner; M. Henson (Hrsg.). Logics of Formal Specification Languages. Chapter 3, Pages 241-298, Monographs in Theoretical Computer Science, Springer, Heidelberg, 2007.
- John Bateman; Stefano Borgo; Klaus Lüttich; Claudio Masolo; Till Mossakowski
Ontological Modularity and Spatial Diversity.
In: Spatial Cognition and Computation, Vol. 7, No. 1, Pages 97-128, o.A. 2007.
- Klaus Lüttich; Till Mossakowski
Reasoning Support for CASL with Automated Theorem Proving Systems.
In: J. Fiadeiro (Hrsg.). WADT 2006. 18th International Workshop on Algebraic Development Techniques (WADT-06), June 1-3, La Roche en Ardenne, Belgium, Pages 74-91, Vol. 4409, Springer-Verlag, Heidelberg, 2007.
- Till Mossakowski; Christian Maeder; Klaus Lüttich
The Heterogeneous Tool Set.
In: Orna Grumberg; Michael Huth (Hrsg.). TACAS 2007. Thirteenth International Conference on TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS-2007), located at the European Joint Conferences on Theory and Practice of Software (ETAPS 2007), March 24 - April 1, Braga, Portugal, Pages 519-522, Lecture Notes in Computer Science (LNCS), Vol. 4424, Springer-Verlag, Heidelberg, 2007.
- Joseph Goguen; Till Mossakowski; Valeria De Paiva; Florian Rabe; Lutz Schröder
An Institutional View on Categorical Logic.
In: International Journal of Software and Informatics (IJSI) Int J Software Informatics. Vol. 1, No. 1, Pages 129-152, o.A. 2007.
- Till Mossakowski; Ugo Montanari; Magne Haveraaen (Hrsg.)
CALCO 2007. Second conference on algebra and coalgebra in computer science.
Lecture Notes in Computer Science (LNCS), Vol. 4624, Springer-Verlag, Heidelberg, 2007.
- Till Mossakowski; Christian Maeder; Klaus Lüttich
The Heterogeneous Tool Set.
In: Bernhard Beckert (Hrsg.). VERIFY 2007, 4th International Verification Workshop. Pages 119-135, CEUR Workshop Proceedings, Vol. 259, o.A. 2007.
- Till Mossakowski; Joseph Goguen; Razvan Diaconescu; Andrzej Tarlecki
What is a Logic? (revised version).
In: Jean-Yves BĂ©ziau (Hrsg.). Logica Universalis. Pages 111-133, No. second edition, Birkhäuser, 2007.
- Till Mossakowski; Markus Roggenbach
Structured CSP -- A Process Algebra as an Institution.
In: J. Fiadeiro (Hrsg.). WADT 2006. 18th International Workshop on Algebraic Development Techniques (WADT-06), June 1-3, La Roche en Ardenne, Belgium, Pages 92-110, Lecture Notes in Computer Science (LNCS), Vol. 4409, Springer-Verlag, Heidelberg, 2007.
- Lutz Schröder
Bootstrapping Types and Cotypes in HasCASL.
In: Till Mossakowski; Udo Montanari (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science (CALCO-07), August 20-24, Bergen, Norway, Pages 447-462, Lecture Notes in Computer Science (LNCS), Vol. 4624, Springer, 2007.
- Lutz Schröder; Till Mossakowski
Coalgebraic Modal Logic in CoCASL.
In: José Luiz Fiadeiro (Hrsg.). Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006. International Workshop on Algebraic Development Techniques (WADT-2006), June 1-3, La Roche en Ardenne, Belgium, Pages 128-142, Lecture Notes in Computer Science (LNCS), Vol. 4409, Springer, 2007.
- Stefan Wölfl; Till Mossakowski; Lutz Schröder
Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables.
In: David Wilson; Geoff Sutcliffe (Hrsg.). 20th International FLAIRS Conference. International FLAIRS Conference (FLAIRS-20), May 7-9, Key West, Florida, United States, Pages 665-670, AAAI Press, 2007.
- Till Mossakowski; Andrzej Tarlecki; Razvan Diaconescu
What is a logic translation?.
Pages 95-124, Logica Universalis, Vol. 3 (1), 2007.
- Oliver Kutz; Till Mossakowski
Modules in Transition - Conservativity, Composition, and Colimits.
In: Bernardo Cuenca-Grau; Vasant Honavar; Anne Schlicht; Frank Wolter (Hrsg.). Second International Workshop on Modular Ontologies. International Workshop on Modular Ontologies (WoMO-07), located at Fourth International Conference on Knowledge Capture (K-CAP-07), October 28, Whistler, BC, Canada, CEUR Workshop Proceedings, Vol. 315, CEUR-WS, 2007.
2006
- Till Mossakowski; Serge Autexier; Dieter Hutter
Development Graphs -- Proof Management for Structured Specifications.
In: Journal of Logic and Algebraic Programming, Vol. 67, No. 1--2, Pages 114-145, o.A. 2006.
- Sergey Goncharov; Lutz Schröder; Till Mossakowski
Completeness of Global Evaluation Logic.
In: Rastislav Kralovic; Pawel Urzyczyn (Hrsg.). Mathematical Foundations of Computer Science. International Symposium on Mathematical Foundations of Computer Science (MFCS-2006), August 28 - September 1, Stará Lesná, Slovakia, Pages 447-458, Lecture Notes in Computer Science (LNCS), Vol. 4162, Springer; http://www.springer.de, Berlin, 2006.
- Daniel Hausmann; Till Mossakowski; Lutz Schröder
A Coalgebraic Approach to the Semantics of the Ambient Calculus.
In: Theoretical Computer Science, Vol. 366, No. 1-2, Pages 121-143, o.A. 2006.
- Stefan Wölfl; Till Mossakowski (Hrsg.)
Qualitative Constraint Calculi: Application and Integration, Workshop at KI 2006, Bremen, Germany, June 14, 2006, Workshop Proceedings.
Qualitative Constraint Calculi: Application and Integration, Workshop (KI-2006), located at 29th annual German Conference on Artificial Intelligence, June 14, Bremen, Germany, ISBN 3-88722-666-6, o.A. 2006.
- Till Mossakowski
Institutional 2-cells and Grothendieck institutions.
In: K. Futatsugi; J.-P. Jouannaud; J. Meseguer (Hrsg.). Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday. June 28, San Diego, California, United States, Pages 124-149, Lecture Notes in Computer Science (LNCS), Vol. 4060, ISBN 354035462X, Springer; http://www.springer.de, Berlin, 2006.
- Till Mossakowski
Monad-Based Logics for Computational Effects.
In: M. Johnson; V. Vene (Hrsg.). AMAST 2006. 11th International Conference on Algebraic Methodology and Software Technology (AMAST-06), July 5-8, Kuressaare, Estonia, Pages 3-4, Lecture Notes in Computer Science, Vol. 4019, Springer; http://www.springer.de, Berlin, 2006.
- Till Mossakowski
Hets User Guide.
Department of Computer Science; Universität Bremen, o.A. Vol. o.A. 2006.
- Till Mossakowski; Lutz Schröder; Stefan Wölfl
A Categorical Perspective on Qualitative Constraint Calculi.
In: Stefan Wölfl; Till Mossakowski (Hrsg.). Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006. Qualitative Constraint Calculi - Application and Integration. Workshop (KI -2006), located at 29th annual German Conference on Artificial Intelligence, June 14-19, Bremen, Germany, Pages 28-39, o.A. 2006.
- Till Mossakowski; Lutz Schröder; Markus Roggenbach; Horst Reichel
Algebraic-co-algebraic specification in CoCASL.
In: Journal of Logic and Algebraic Programming (JLAP), Vol. 67, No. 1-2, Pages 146-197, o.A. 2006.
- Till Mossakowski; Serge Autexier; Dieter Hutter
Development Graphs -- Proof Management for Structured Specifications.
In: Journal of Logic and Algebraic Programming, Vol. 67, No. 1-2, Pages 114-145, o.A. 2006.
2005
- Daniel Hausmann; Till Mossakowski; Lutz Schröder
Towards a Coalgebraic Approach to the Semantics of the Ambient Calculus.
In: Jose Fiadeiro; Neil Harman; Markus Roggenbach; Jan Rutten (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science (CALCO-2005), September 3-6, Swansea, United Kingdom, Pages 232-246, Lecture Notes in Computer Science (LNCS), Vol. 3629, ISBN 3-540-28620-9, Springer, Berlin, 2005.
- Dennis Walter; Lutz Schröder; Till Mossakowski
Parametrized Exceptions.
In: Jose Fiadeiro; Jan Rutten (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science (CALCO-2005), September 3-6, Swansea, United Kingdom, Pages 424-438, Lecture Notes in Computer Science, Vol. 3629, ISBN 3-540-28620-9, Springer; http://www.springer.de, Berlin, 2005.
2004
2002
2001
|
|
