Universität Bremen  
  university department wg bkb  
  Dept. Math. Comp. Sci. > Till Mossakowski > Deutsch
English
 

Till Mossakowski: List of Publications

 
 

Go to year:  to appear   2013   2012   2011   2010   2009   2008   2007   2006   2005   2004   2003   2002   2001   2000   1999   1998   1997   1996   1995   1993   1992   1991   1988   1987   1986   1984 


to appear     Back to top

Till Mossakowski. Parameterized Recursion Theory -- A Tool for the Systematic Classification of Specification Methods. In Theoretical Computer Science. To appear.   detail   postscript
Till Mossakowski, Wieslaw Pawlowski, Donald Sannella, Andrzej Tarlecki. Parchments for CafeOBJ logics. In Festschrift Symposium, Lecture Notes in Computer Science.   detail   pdf
Till Mossakowski, Andrzej Tarlecki. A relatively complete calculus for structured heterogeneous specifications. In Anca Muscholl (Ed.), 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg.   detail

2013     Back to top

Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski (2013). The VSE Refinement Method in Hets. In Electronic Communications of the EASST, Vol. 62.   detail     www   pdf
Mihai Codescu, Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe (2013). Compiling Logics. In Narciso Martí-Oliet, Miguel Palomino (Eds.), Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, Vol. 7841, pp. 111–126, Lecture Notes in Computer Science. Springer.   detail     www   pdf
Mihai Codescu, Till Mossakowski, Christian Maeder (2013). Checking conservativity with Hets. In Reiko Heckel, Stefan Milius (Eds.), CALCO 2013, Vol. 8089, pp. 315–321, Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg.   detail     www
Razvan Diaconescu, Till Mossakowski, Andrzej Tarlecki (2013). The Institution-Theoretic Scope of Logic Theorems. In Logica Universalis, pp. 1–14.   detail     www
Frank Dylla, Till Mossakowski, Thomas Schneider, Diedrich Wolter (2013). Algebraic Properties of Qualitative Spatio-Temporal Calculi. In Thora Tenbrink, John G. Stell, Antony Galton, Zena Wood (Eds.), Proceedings of Conference On Spatial Information Theory 2013, Vol. 8116, pp. 516–536, Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg.   detail     www
Phillip James, Alexander Knapp, Till Mossakowski, Markus Roggenbach (2013). Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain using CASL. In Narciso Martí-Oliet, Miguel Palomino (Eds.), Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, Vol. 7841, pp. 178–194, Lecture Notes in Computer Science. Springer.   detail     www   pdf
Christoph Lange, Marco B. Caminati, Manfred Kerber, Till Mossakowski, Colin Rowat, Makarius Wenzel, Wolfgang Windsteiger (2013). 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 (Eds.), Intelligent Computer Mathematics, Conferences on Intelligent Computer Mathematics, Vol. 7961, pp. 200–215, Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg.   detail     www   pdf
Till Mossakowski, Oliver Kutz, Christoph Lange (2013). Three Semantics for the Core of the Distributed Ontology Language. In Francesca Rossi (Ed.), IJCAI 2013. IJCAI 2013 track on Best Papers in Sister Conferences.   detail     www
Till Mossakowski, Oliver Kutz, Mihai Codescu, Christoph Lange (2013). The Distributed Ontology, Modeling and Specification Language. In Chiara Del Vescovo, Torsten Hahmann, David Pearce, Dirk Walther (Eds.), WoMo 2013, Vol. 1081, CEUR-WS online proceedings.   detail     www   pdf
Till Mossakowski, Oliver Kutz, Christoph Lange (2013). Semantics of the distributed ontology language: Institutes and Institutions. In Narciso Martí-Oliet, Miguel Palomino (Eds.), Recent Trends in Algebraic Development Techniques, 21th International Workshop, WADT 2012, Vol. 7841, pp. 212–230, Lecture Notes in Computer Science. Springer.   detail     www   pdf
André van Delden, Till Mossakowski (2013). Mastering Left and Right. Different Approaches to a Problem That is Not Straight Forward. In 36th Annual Conference on Artificial Intelligence (KI 2013), Vol. 8077, pp. 248–259, Lecture Notes in Artificial Intelligence. Springer.   detail     www

2012     Back to top

Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova (2012). Towards Logical Frameworks in the Heterogeneous Tool Set Hets. In Till Mossakowski, Hans-Jörg Kreowski (Eds.), Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010, Vol. 7137, pp. 139–159, Lecture Notes in Computer Science. Springer.   detail   pdf
Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe (2012). A Proof Theoretic Interpretation of Model Theoretic Hiding. In Till Mossakowski, Hans-Jörg Kreowski (Eds.), Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010, Vol. 7137, pp. 118–138, Lecture Notes in Computer Science. Springer.   detail   pdf
Christian Galinski, Oliver Kutz, Christoph Lange, Till Mossakowski (2012). The Distributed Ontology Language (DOL): Use Cases, Syntax, and Semantics. In TKE (Terminology and Knowledge Engineering) Conference 2012.   detail   pdf
Oliver Kutz, Till Mossakowski, Joana Hois, Mehul Bhatt, John Bateman (2012). Ontological Blending in DOL. In C2GI - Computational Creativity, Concept Invention, and General Intelligence, at ECAI 2012. Publication Series of the Institute of Cognitive Science.   detail     www   pdf
Oliver Kutz, Janna Hastings, Till Mossakowski (2012). Modelling Highly Symmetrical Molecules: Linking Ontologies and Graphs. In Allan Ramsay, Gennady Agre (Eds.), 15th International Conference on Artificial Intelligence: Methodology, Systems, Applications, Vol. 7557, pp. 103–111, Lecture Notes in Computer Science. Springer.   detail   pdf
Oliver Kutz, Christoph Lange, Till Mossakowski, C. Maria Keet, Fabian Neuhaus, Michael Grüninger (2012). The Babel of the Semantic Web Tongues - In Search of the Rosetta Stone of Interoperability. In Frank van Harmelen, James A. Hendler, Pascal Hitzler, Krzysztof Janowicz, Denny Vrandev ci'c (Eds.), What will the Semantic Web look like 10 Years from now? Workshop at ISWC.   detail     www   pdf
Christoph Lange, and Oliver Kutz, Till Mossakowski, Michael Grüninger (2012). The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization. In Conferences on Intelligent Computer Mathematics CICM 2012, Vol. 7362, Lecture Notes in Computer Science. Springer.   detail     www   pdf
Christoph Lange, Till Mossakowski, Oliver Kutz (2012). LoLa: A Modular Ontology of Logics, Languages, and Translations. In Thomas Schneider, Dirk Walther (Eds.), Workshop on modular ontologies, Vol. 875, CEUR-WS online proceedings.   detail     www   pdf
Till Mossakowski, Reinhard Moratz (2012). Qualitative Reasoning about Relative Direction of Oriented Points. In Artificial Intelligence Journal, Vol. 180–181, (p. 34–45). .   detail     www   pdf
Till Mossakowski, Christoph Lange, Oliver Kutz (2012). Three Semantics for the Core of the Distributed Ontology Language. In Maureen Donnelly, Giancarlo Guizzardi (Eds.), FOIS 2012: 7th International Conference on Formal Ontology in Information Systems , pp. 337–352. IOS Press, Amsterdam. Best paper award.   detail     www   pdf
Till Mossakowski, Hans-Jörg Kreowski (Eds.) (2012). Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010. Vol. 7137, Lecture Notes in Computer Science. Springer.   detail     www
Liam O'Reilly, Till Mossakowski, Markus Roggenbach (2012). Compositional modelling and reasoning in an institution for processes and data. In Till Mossakowski, Hans-Jörg Kreowski (Eds.), WADT 2010, Vol. 7137, pp. 251–269, Lecture Notes in Computer Science. Springer.   detail   pdf
Falko Schmid, Oliver Kutz, Lutz Frommberger, Till Mossakowski, Tomi Kauppinen, Cunyuan Cai (2012). Intuitive and Natural Interfaces for Geospatial Data Classification. In Place-related Knowledge Acquisition Research (P-KAR) workshop at Spatial Cognition 2012.   detail   pdf

2011     Back to top

Mihai Codescu, Gregor Horsinka, Oliver Kutz, Till Mossakowski, Rafaela Rau (2011). DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap. In C. Claramunt, S. Levashkin,, M. Bertolotto (Eds.), Fourth International Conference on GeoSpatial Semantics, Vol. 6631, (p. 88–107). , Lecture Notes in Computer Science. Springer.   detail     www   pdf
Mihai Codescu, Till Mossakowski (2011). Refinement trees: calculi, tools and applications. In Andrea Corradini, Bartek Klin (Eds.), Algebra and Coalgebra in Computer Science, CALCO'11, Vol. 6859, pp. 145–160, Lecture Notes in Computer Science. Springer.   detail     www   pdf
Till Mossakowski, Mihai Codescu, Oliver Kutz (2011). Ontologie-basierte Routenplanung für eine aktivitätsorientierte Elektromobilität mit OpenStreetMap. In Magdeburger Logistiktagung.   detail   pdf
Mihai Codescu, Gregor Horsinka, Oliver Kutz, Till Mossakowski, Rafaela Rau (2011). OSMonto - An Ontology of OpenStreetMap Tags. In State of the map Europe (SOTM-EU) 2011.   detail   pdf
Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe (2011). Project Abstract: Logic Atlas and Integrator (LATIN). In James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe (Eds.), Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings, Vol. 6824, pp. 289–291, Lecture Notes in Computer Science. Springer-Verlag Berlin Heidelberg.   detail     www   pdf
Janna Hastings, Oliver Kutz, Till Mossakowski (2011). How to model the shapes of molecules? Combining topology and ontology using heterogeneous specifications. In Deep Knowledge Representation Challenge Workshop, co-located with K-CAP 2011.   detail     www   pdf
Oliver Kutz, Till Mossakowski (2011). A Modular Consistency Proof for Dolce. In Wolfram Burgard, Dan Roth (Eds.), Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence and the Twenty-Third Innovative Applications of Artificial Intelligence Conference, pp. 227–234. AAAI Press, Menlo Park, CA.   detail     www   pdf
Oliver Kutz, Till Mossakowski, Christian Galinski, Christoph Lange (2011). Towards a Standard for Heterogeneous Ontology Integration and Interoperability. In Key-Sun Choi et al (Ed.), Proceedings of the First International Conference on terminology, languages and content resources (LarC 2011), pp. 97–106. Seoul: KATS e.a.   detail   pdf
Oliver Kutz, Till Mossakowski, Janna Hastings, Alexander Garcia Castro, Aleksandra Sojic (2011). Hyperontology for the Biomedical Ontologist - A Sketch and Some Examples. In Workshop on Working with Multiple Biomedical Ontologies (at ICBO 2011).   detail     www   pdf
Oliver Kutz, Till Mossakowski (2011). The Onto-Logical Translation Graph. In O. Kutz, T. Schneider (Eds.), Modular Ontologies Proceedings of the Fifth International Workshop (WoMO 2011), Vol. 230, pp. 94–109, Frontiers in Artificial Intelligence and Applications. IOS Press.   detail     www   pdf
Dominik Lücke, Till Mossakowski, Reinhard Moratz (2011). Streets to the OPRA - Finding your destination with imprecise knowledge. In Jochen Renz, Anthony G. Cohn, Stefan Wölfl (Eds.), IJCAI Workshop on Benchmarks and Applications of Spatial Reasoning, pp. 25–32.   detail     www   pdf
Reinhard Moratz, Dominik Lücke, Till Mossakowski (2011). A Condensed Semantics for Qualitative Spatial Reasoning About Oriented Straight Line Segments. In Artificial Intelligence Journal, Vol. 175, pp. 2099–2127.   detail     www   pdf

2010     Back to top

Serge Autexier, Dieter Hutter, Till Mossakowski (2010). Change Management for Heterogeneous Development Graphs. In Simon Siegler, Nathan Wasser (Eds.), Verification, Induction, Termination Analysis, Festschrift in honor of Christoph Walther, Vol. 6463, pp. 54–80, LNCS. Springer.   detail     www   pdf
Glauber Cabral, Christian Maeder, Till Mossakowski, Lutz Schröder (2010). Creating a HasCASL library. In Jonathan Aldrich, Ricardo Massa (Eds.), 14th Brazilian Symposium on Programming Languages (SBLP 2010).   detail
Mihai Codescu, Till Mossakowski, Adrían Riesco, Christian Maeder (2010). Integrating Maude into Hets. In Mike Johnson, Dusko Pavlovic (Eds.), AMAST 2010, Vol. 6486, pp. 60–75, Lecture Notes in Computer Science. Springer.   detail     www   pdf
Joana Hois, Oliver Kutz, Till Mossakowski, John A. Bateman (2010). Towards Ontological Blending. In Darina Dicheva, Danail Dochev (Eds.), Artificial Intelligence: Methodology, Systems, and Applications, 14th International Conference, AIMSA 2010, Varna, Bulgaria, September 8-10. 2010. Proceedings, Vol. 6304, pp. 263–264, Lecture Notes in Computer Science. Springer.   detail     www
Oliver Kutz, Till Mossakowski, Dominik Lücke (2010). Carnap, Goguen, and the Hyperontologies - Logical Pluralism and Heterogeneous Structuring in Ontology Design. In Logica Univeralis, 4 (2), pp. 255–333.   detail     www   pdf
Oliver Kutz, Immanuel Normann, Till Mossakowski, Dirk Walther (2010). Chinese Whispers and Connected Alignments . In Pavel Shvaiko et al. (Ed.), Proc. of the 5th International Workshop on Ontology Matching, OM-2010, collocated with the 9th International Semantic Web Conference ISWC-2010, November 7, 2010, Shanghai, China. , Vol. 689, pp. 25–36, CEUR-WS online proceedings.   detail     www
Dominik Lücke, Till Mossakowski (2010). A much better polynomial time approximation of consistency in the LR calculus. In A. Gomez-Perez, T. Agotnes (Eds.), Proceedings of the 5th Starting AI Researcher Symposium (STAIRS 2010), Vol. 222, pp. 175–185, Frontiers in Artificial Intelligence and Applications. IOS Press, Amsterdam.   detail     www   pdf
Till Mossakowski, Lutz Schröder, Sergey Goncharov (2010). A Generic Complete Dynamic Logic for Reasoning about Purity and Effects. In Formal Aspects of Computing, 22 (3-4), pp. 363–384.   detail     www   pdf
Till Mossakowski, Ugo Montanari (2010). Preface. In Logical Methods in Computer Science. SPECIAL ISSUE: Selected Papers of the Conference "Algebraic and Coalgebraic Methods in Computer Science 2007" Bergen, Norway, 2007.   detail     www
Till Mossakowski, Reinhard Moratz (2010). Qualitative Reasoning about Relative Direction on Adjustable Levels of Granularity. In CoRR. abs/0912.5533.   detail     www

2009     Back to top

Mihai Codescu, Bruno Langenstein, Christian Maeder, Till Mossakowski (2009). The VSE Refinement Method in HETS. In K. Breitman, A. Cavalcanti (Eds.), ICFEM 2009, Vol. 5885, pp. 660–678, Lecture Notes in Computer Science. Springer.   detail     www   pdf
Sergey Goncharov, Lutz Schröder, Till Mossakowski (2009). Kleene Monads: Handling Iteration in a Framework of Generic Effects. In Alexander Kurz, Andrzej Tarlecki (Eds.), Algebra and Coalgebra in Computer Science (CALCO 2009), Vol. 5728, pp. 18–33, Lecture Notes in Computer Science. Springer.   detail   pdf
Till Mossakowski, Andrzej Tarlecki, Razvan Diaconescu (2009). What is a logic translation?. In Logica Universalis, 3 (1), pp. 95–124. Winner of the universal logic 2007 contest..   detail     www   pdf
Till Mossakowski, Andrzej Tarlecki (2009). Heterogeneous Logical Environments for Distributed Specifications. In Andrea Corradini, Ugo Montanari (Eds.), WADT 2008, Vol. 5486, (p. 266–289). , Lecture Notes in Computer Science. Springer.   detail     www   pdf
Till Mossakowski (2009). On Teaching Logic and Algebraic Specification. In Frank Drewes, Annegret Habel, Berthold Hoffmann, Detlef Plump (Eds.), Manipulation of Graphs, Algebras and Pictures. Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday, pp. 269–286.   detail     www
Reinhard Moratz, Dominik Lücke, Till Mossakowski (2009). Oriented Straight Line Segment Algebra: Qualitative Spatial Reasoning about Oriented Objects. In CoRR. abs/0912.5533.   detail     www   pdf
Lutz Schröder, Till Mossakowski (2009). HasCASL: Integrated Higher-Order Specification and Program Development. In Theoretical Computer Science, 410 (12-13), pp. 1217–1260.   detail     www   pdf

2008     Back to top

Mihai Codescu, Till Mossakowski (2008). Heterogeneous colimits. In Frédéric Boulanger, Christophe Gaston, Pierre-Yves Schobbens (Eds.), MoVaH'08 Workshop on Modeling, Validation and Heterogeneity. IEEE press.   detail     www   pdf
Oliver Kutz, Till Mossakowski (2008). Conservativity in Structured Ontologies. In M. Ghallab, C.D. Spyropoulos, N. Fakotakis, N. Avouris (Eds.), ECAI 2008, Vol. 178, Frontiers in Artificial Intelligence and Applications. IOS Press.   detail   pdf
Oliver Kutz, Till Mossakowski, Mihai Codescu (2008). Shapes of Alignments - Construction, Combination, and Computation. In Ulrike Sattler, Andrei Tamilin (Eds.), International Workshop on Ontologies: Reasoning and Modularity (WORM-08), Vol. 348, CEUR-WS online proceedings.   detail     www   pdf
Oliver Kutz, Dominik Lücke, Till Mossakowski (2008). Heterogeneously Structured Ontologies: Integration, Connection, and Refinement. In Knowledge Representation Ontology Workshop, KR-08, Sydney, Australia, Vol. 90, CRPIT.   detail     www   pdf
Oliver Kutz, Dominik Lücke, Till Mossakowski, Immanueal Normann (2008). The OWL in the CASL - Designing Ontologies Across Logics. In Catherine Dolbear, Alan Ruttenberg, Uli Sattler (Eds.), OWL: Experiences and Directions, 5th International Workshop (OWLED-08), No. 432. CEUR-WS.   detail     www
Oliver Kutz, Dominik Lücke, Till Mossakowski (2008). 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, (ICTAC-08).   detail     www
Dominik Lücke, Till Mossakowski, Diedrich Wolter (2008). Qualitative reasoning about convex relations. In Christian Freksa, Nora S. Newcombe, Peter Gaerdenfors (Eds.), Spatial Cognition VI 2008, Vol. 5248, pp. 426–440, Lecture Notes in Computer Science. Springer.   detail     www   pdf
Till Mossakowski, Anne Haxthausen, Don Sannella, Andrzej Tarlecki (2008). CASL, the Common Algebraic Specification Language. In D. Bjorner, M. Henson (Eds.), Logics of formal specification languages, pp. 241–298, Monographs in Theoretical Computer Science . Springer-Verlag Heidelberg.   detail     www   pdf   postscript
Till Mossakowski, Lutz Schröder, Sergey Goncharov (2008). A generic complete dynamic logic for reasoning about purity and effects. In J. Fiadeiro, P. Inverardi (Eds.), Fundamental Approaches to Software Engineering (FASE 2008), Vol. 4961, pp. 199–214, Lecture Notes in Computer Science. Springer.   detail     www   pdf

2007     Back to top

John Bateman, Stefano Borgo, Klaus Lüttich, Claudio Masolo, Till Mossakowski (2007). Ontological Modularity and Spatial Diversity. In Spatial Cognition and Computation, 7 (1), pp. 97–128.   detail     www
Joseph Goguen, Till Mossakowski, Valeria De Paiva, Florian Rabe, Lutz Schröder (2007). An Institutional View on Categorical Logic. In Int J Software Informatics, 1 (1), pp. 129–152.   detail   pdf   postscript
Oliver Kutz, Till Mossakowski (2007). Modules in Transition - Conservativity, Composition, and Colimits. In Anne Schlicht (Ed.), Second International Workshop on Modular Ontologies.   detail     www   pdf
Klaus Lüttich, Till Mossakowski (2007). Reasoning Support for CASL with Automated Theorem Proving Systems. In J. Fiadeiro (Ed.), WADT 2006, Vol. 4409, pp. 74–91. Springer-Verlag Heidelberg.   detail   pdf   postscript
Till Mossakowski, Christian Maeder, Klaus Lüttich (2007). The Heterogeneous Tool Set. In Orna Grumberg, Michael Huth (Eds.), TACAS 2007, Vol. 4424, pp. 519–522, Lecture Notes in Computer Science. Springer-Verlag Heidelberg.   detail   pdf   postscript
Till Mossakowski, Markus Roggenbach (2007). Structured CSP -- A Process Algebra as an Institution. In J. Fiadeiro (Ed.), WADT 2006, Vol. 4409, pp. 92–110, Lecture Notes in Computer Science. Springer-Verlag Heidelberg.   detail   pdf   postscript
Till Mossakowski, Ugo Montanari, Magne Haveraaen (Eds.) (2007). CALCO 2007. Second conference on algebra and coalgebra in computer science. Vol. 4624, Lecture Notes in Computer Science. Springer-Verlag Heidelberg.   detail     www
Till Mossakowski, Christian Maeder, Klaus Lüttich (2007). The Heterogeneous Tool Set. In Bernhard Beckert (Ed.), VERIFY 2007, 4th International Verification Workshop, Vol. 259, pp. 119–135, CEUR Workshop Proceedings.   detail     www   pdf
Till Mossakowski, Joseph Goguen, Razvan Diaconescu, Andrzej Tarlecki (2007). What is a Logic? (revised version). In Jean-Yves Beziau (Ed.), Logica Universalis, pp. 111–133. Birkhäuser.   detail     www   pdf
Lutz Schröder, Till Mossakowski (2007). Coalgebraic Modal Logic in CoCASL. In José Luiz Fiadeiro (Ed.), Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, Vol. 4409, pp. 128–142, Lecture Notes in Computer Science. Springer.   detail     www   pdf
Paolo Torrini, Christpoh Lüth, Christian Maeder, Till Mossakowski (2007). Translating Haskell to Isabelle. In Klaus Schneider, Jens Brandt (Eds.), Theorem Proving in Higher-Order Logic: Emerging Trends Proceedings, (p. 178–193). . Uni Kaiserslautern.   detail     www   pdf
Stefan Wölfl, Till Mossakowski, Lutz Schröder (2007). Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. In David Wilson, Geoff Sutcliffe (Eds.), 20th International FLAIRS Conference (FLAIRS-20), pp. 665–670. AAAI Press.   detail   pdf

2006     Back to top

Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer (2006). Maya: Maintaining Structured Developments. In Michael Kohlhase (Ed.), OMDoc – An Open Markup Format for Mathematical Documents [version 1.2], Vol. 4180, pp. 281–285, Lecture Notes in Artificial Intelligence. Springer.   detail     www
Sergey Goncharov, Lutz Schröder, Till Mossakowski (2006). Completeness of Global Evaluation Logic. In Rastislav Kralovic, Pawel Urzyczyn (Eds.), Mathematical Foundations of Computer Science, Vol. 4162, pp. 447–458, Lecture Notes in Computer Science. Springer, Berlin.   detail     www   pdf   postscript
Daniel Hausmann, Till Mossakowski, Lutz Schröder (2006). A Coalgebraic Approach to the Semantics of the Ambient Calculus. In Theoretical Computer Science, 366 (1-2), pp. 121–143. Extends (Hausmann et al. 2005).   detail     www   pdf
Till Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel (2006). Algebraic-co-algebraic specification in CoCASL. In Journal of Logic and Algebraic Programming, 67 (1-2), pp. 146–197. Extends (Mossakowski et al. 2003).   detail     www   pdf   postscript
T. Mossakowski, S. Autexier, D. Hutter (2006). Development Graphs -- Proof Management for Structured Specifications. In Journal of Logic and Algebraic Programming, 67 (1-2), pp. 114–145.   detail     www   postscript
Till Mossakowski (2006). Institutional 2-cells and Grothendieck institutions. In K. Futatsugi, J.-P. Jouannaud, J. Meseguer (Eds.), Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, Vol. 4060, pp. 124–149, Lecture Notes in Computer Science. Springer, Berlin.   detail     www   pdf   postscript
Till Mossakowski (2006). Monad-Based Logics for Computational Effects. In M. Johnson, V. Vene (Eds.), AMAST 2006, Vol. 4019, pp. 3–4, Lecture Notes in Computer Science. Springer, Berlin.   detail   pdf   postscript
Till Mossakowski, Lutz Schröder, Stefan Wölfl (2006). A Categorical Perspective on Qualitative Constraint Calculi. In Stefan Wölfl, Till Mossakowski (Eds.), Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006, pp. 28–39.   detail   pdf   postscript
Till Mossakowski, Christian Maeder, Klaus Lüttich (2006). Hets User Guide. Department of Computer Science; Universität Bremen.   detail   pdf
Till Mossakowski, Christian Maeder, Klaus Lüttich (2006). Hets: The Heterogeneous Tool Set. In Michael Kohlhase (Ed.), Maya: Maintaining Structured Developments, Vol. 4180, pp. 286–289, Lecture Notes in Artificial Intelligence. Springer.   detail     www
Stefan Wölfl, Till Mossakowski (Eds.) (2006). Qualitative Constraint Calculi: Application and Integration, Workshop at KI 2006, Bremen, Germany, June 14, 2006, Workshop Proceedings.   detail

2005     Back to top

Daniel Hausmann, Till Mossakowski, Lutz Schröder (2005). Iterative Circular Coinduction for CoCASL in Isabelle/HOL. In Maura Cerioli (Ed.), Fundamental Approaches to Software Engineering 2005, Vol. 3442, pp. 341–356, Lecture Notes in Computer Science. Springer, Berlin.   detail     www   pdf   postscript
Daniel Hausmann, Till Mossakowski, Lutz Schröder (2005). Towards a Coalgebraic Approach to the Semantics of the Ambient Calculus. In Jose Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten (Eds.), Algebra and Coalgebra in Computer Science, Vol. 3629, pp. 232–246, Lecture Notes in Computer Science. Springer, Berlin.   detail     www   pdf   postscript
Kathrin Hoffmann, Francesco Parisi-Presicce, Till Mossakowski (2005). Higher-order nets for mobile policies. In Workshop on Petri Nets and Graph Transformations, 127 (2), pp. 87–105, Electronic Notes in Theoretical Computer Science. Elsevier Science.   detail   postscript
Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski (2005). High-Level Nets with Nets and Rules as Tokens. In 26th International Conference On Application and Theory of Petri Nets and Other Models of Concurrency, Vol. 3536, pp. 268–288, Lecture Notes in Computer Science. Springer Verlag, London.   detail     www   postscript
B. Krieg-Brückner, U. Frese, K. Lüttich, C. Mandel, T. Mossakowski, R. Ross (2005). Specification of an Ontology for Route Graphs. In C. Freksa, M. Knauff, B. Krieg-Brückner, B. Nebel, T. Barkowsky (Eds.), Spatial Cognition IV, Vol. 3343, pp. 390–412, Lecture Notes in Artificial Intelligence. Springer-Verlag, D-69121 Heidelberg, Germany.   detail     www   pdf
K. Lüttich, T. Mossakowski, B. Krieg-Brückner (2005). Ontologies for the Semantic Web in CASL. In J. L. Fiadeiro, P. Mosses, F. Orejas (Eds.), Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), Vol. 3423, pp. 106–125, Lecture Notes in Computer Science. Springer, Berlin.   detail     www   pdf
T. Mossakowski, D. Sannella, A. Tarlecki (2005). A simple refinement language for CASL. In Jose Luiz Fiadeiro (Ed.), WADT 2004, Vol. 3423, pp. 162–185, Lecture Notes in Computer Science. Springer, Berlin.   detail     www   pdf   postscript
Till Mossakowski, Joseph Goguen, Razvan Diaconescu, Andrzej Tarlecki (2005). What is a Logic?. In Jean-Yves Beziau (Ed.), Logica Universalis, pp. 113–133. Birkhäuser.   detail     www   pdf
Till Mossakowski (2005). Heterogeneous Theories and the Heterogeneous Tool Set. In Y. Kalfoglou, M. Schorlemmer, A. Sheth, S. Staab, M. Uschold (Eds.), Semantic Interoperability and Integration, No. 04391, Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl, Germ.   detail     www   pdf
Till Mossakowski (2005). Heterogeneous specification and the heterogeneous tool set. Universitaet Bremen. Habilitation thesis.   detail   pdf   postscript
Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Piotr Hoffman, Bartek Klin (2005). Amalgamation in the semantics of CASL. In Theoretical Computer Science, 331 (1), pp. 215–247.   detail     www   pdf   postscript
Lutz Schröder, Till Mossakowski, Christoph Lüth (2005). Type class polymorphism in an institutional framework. In José Fiadeiro (Ed.), Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), Vol. 3423, pp. 234–248, Lecture Notes in Computer Science. Springer, Berlin.   detail     www   pdf   postscript
Dennis Walter, Lutz Schröder, Till Mossakowski (2005). Parametrized Exceptions. In Jose Fiadeiro, Jan Rutten (Eds.), Algebra and Coalgebra in Computer Science, Vol. 3629, pp. 424–438, Lecture Notes in Computer Science. Springer, Berlin.   detail     www   pdf   postscript
Stefan Wölfl, Till Mossakowski (2005). CASL Specifications of Qualitative Calculi. In A. G. Cohn, D. M. Mark (Eds.), Conference on Spatial Information Theory, Vol. 3693, pp. 200–217, Lecture Notes in Computer Science. Springer, Berlin.   detail     www   pdf

2004     Back to top

Hubert Baumeister, Maura Cerioli, Anne Haxthausen, Till Mossakowski, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki (2004). CASL Semantics. In Peter D. Mosses (Ed.), CASL Reference Manual, Vol. 2960, Lecture Notes in Computer Science. Springer Verlag, London. Part. Ëdited by D. Sannella and A. Tarlecki.   detail     www
K. Lüttich, B. Krieg-Brückner, T. Mossakowski (2004). Tramway Networks as Route Graphs. In E. Schnieder, G. Tarnai (Eds.), FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems, pp. 109–119.   detail   pdf
K. Lüttich, T. Mossakowski (2004). Specification of Ontologies in CASL. In Achille C. Varzi, Laure Vieu (Eds.), Formal Ontology in Information Systems -- Proceedings of the Third International Conference (FOIS-2004), Vol. 114, pp. 140–150, Frontiers in Artificial Intelligence and Applications. IOS Press, Amsterdam.   detail   pdf
Till Mossakowski, Piotr Hoffman, Serge Autexier, Dieter Hutter (2004). CASL Logic. In Peter D. Mosses (Ed.), CASL Reference Manual, Vol. 2960, Lecture Notes in Computer Science. Springer Verlag, London. Part. Ëdited by T. Mossakowski.   detail     www
T. Mossakowski (2004). HetCASL - Heterogeneous Specification. Language Summary.   detail   pdf   postscript
T. Mossakowski (2004). ModalCASL - Specification with Multi-Modal Logics. Language Summary.   detail   pdf   postscript
T. Mossakowski (2004). CASL Sublanguages and extensions. In Peter D. Mosses (Ed.), CASL Reference Manual, Vol. 2960, pp. 61–69, Lecture Notes in Computer Science. Springer Verlag, London.   detail
T. Mossakowski (2004). CASL Tools. In M. Bidoit, P. D. Mosses (Eds.), CASL User Manual, Vol. 2900, pp. 131–142, Lecture Notes in Computer Science. Springer Verlag, London.   detail     www
T. Mossakowski (2004). CASL Basic Libraries. In M. Bidoit, P. D. Mosses (Eds.), CASL User Manual, Vol. 2900, pp. 143–154, Lecture Notes in Computer Science. Springer Verlag, London.   detail     www
Markus Roggenbach, Lutz Schröder, Till Mossakowski (2004). Libraries. In Peter Mosses (Ed.), CASL reference manual, Vol. 2960, Lecture Notes in Computer Science. Springer, Berlin. Early version appeared as CoFI note L-12, http://www.informatik.uni-bremen.de/cofi/old/Notes/L-12/index.html.   detail     www   pdf   postscript
Lutz Schröder, Till Mossakowski (2004). Generic exception handling and the Java monad. In Charles Rattray, Savitri Maharaj, Carron Shankland (Eds.), Algebraic Methodology and Software Technology, Vol. 3116, pp. 443–459, Lecture Notes in Computer Science. Springer, Berlin.   detail     www   pdf   postscript
Lutz Schröder, Till Mossakowski (2004). Monad-independent dynamic logic in HasCASL. In Journal of Logic and Computation, 14 (4), pp. 571–619. Earlier version appeared in Martin Wirsing, Dirk Pattinson, and Rolf Hennicker (eds.), Recent Trends in Algebraic Development Techniques, 16th International Workshop (WADT 2002), LNCS vol. 2755, Springer, Berlin, 2003, pp. 425-441.   detail     www   pdf   postscript

2003     Back to top

Kathrin Hoffmann, Till Mossakowski (2003). Algebraic Higher Order Nets: Graphs and Petri Nets as Tokens. In M. Wirsing, D. Pattinson, R. Hennicker (Eds.), Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, 2002, Revised Selected Papers, Vol. 2755, pp. 253–267, Lecture Notes in Computer Science. Springer Verlag, London.   detail     www   pdf   postscript
Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder (2003). Algebraic-co-algebraic specification in CoCASL. In Martin Wirsing, Dirk Pattinson, Rolf Hennicker (Eds.), Recent Developments in Algebraic Development Techniques, 16th International Workshop, WADT'02, Vol. 2755, pp. 376–392, Lecture Notes in Computer Science. Springer, Berlin.   detail     www   pdf   postscript
Till Mossakowski, Markus Roggenbach, Lutz Schröder (2003). CoCASL at work --- Modelling Process Algebra. In Hans-Peter Gumm (Ed.), Coalgebraic Methods in Computer Science, Vol. 82, Electronic Notes in Theoretical Computer Science. Elsevier Science.   detail   pdf   postscript
Till Mossakowski, Michael Drouineaud, Karsten Sohr (2003). A temporal-logic extension of role-based access control covering dynamic separation of duties. In Proceedings of the 4th International Conference on Temporal Logic,, pp. 83–90. IEEE Computer Society Press.   detail   pdf   postscript
T. Mossakowski (2003). Foundations of heterogeneous specification. In M. Wirsing, D. Pattinson, R. Hennicker (Eds.), Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, 2002, Revised Selected Papers, pp. 359–375, Lecture Notes in Computer Science. Springer Verlag, London.   detail     www   pdf   postscript
Till Mossakowski, Anne Haxthausen, Donald Sannella, Andrzej Tarlecki (2003). CASL, the Common Algebraic Specification Language: Semantics and Proof Theory. In Computing and Informatics, Vol. 22, pp. 285–321.   detail   pdf   postscript
Lutz Schröder, Till Mossakowski (2003). Monad-independent Hoare logic in HasCASL. In Mauro Pezze (Ed.), Fundamental Approaches to Software Engineering (FASE 2003), Vol. 2621, pp. 261–277, Lecture Notes in Computer Science. Springer, Berlin.   detail     www   postscript
L. Schröder, T. Mossakowski, C. Maeder (2003). HasCASL - Integrated functional specification and programming. Language summary..   detail   pdf   postscript

2002     Back to top

S. Autexier, T. Mossakowski (2002). Integrating HOLCASL into the Development Graph Manager MAYA. In A. Armando (Ed.), Frontiers of Combining Systems, 4th International Workshop, Vol. 2309, pp. 2–17, Lecture Notes in Computer Science. Springer Verlag, London.   detail     www   postscript
S. Autexier, D. Hutter, T. Mossakowski, A. Schairer (2002). The Development Graph Manager MAYA (System description). In H. Kirchner, C. Reingeissen (Eds.), Algebraic Methodology and Software Technology, 2002, Vol. 2422, pp. 495–502, Lecture Notes in Computer Science. Springer Verlag, London.   detail     www   postscript
T. Mossakowski (2002). Relating CASL with Other Specification Languages: the Institution Level. In Theoretical Computer Science, Vol. 286, pp. 367–475.   detail     www   postscript
T. Mossakowski (2002). Heterogeneous development graphs and heterogeneous borrowing. In M. Nielsen, U. Engberg (Eds.), Foundations of Software Science and Computation Structures, Vol. 2303, pp. 326–341, Lecture Notes in Computer Science. Springer-Verlag.   detail     www   pdf   postscript
T. Mossakowski, B. Klin (2002). Institution Independent Static Analysis for CASL. In M. Cerioli, G. Reggio (Eds.), Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT'01, Genova, Italy, Vol. 2267, pp. 221–237, Lecture Notes in Computer Science. Springer Verlag, London.   detail     www   pdf   postscript
T. Mossakowski (2002). Comorphism-based Grothendieck logics. In K. Diks, W. Rytter (Eds.), Mathematical foundations of computer science, Vol. 2420, pp. 593–604, Lecture Notes in Computer Science. Springer Verlag, London.   detail     www   postscript
Markus Roggenbach, Till Mossakowski (2002). Methodological guidelines (for CASL). CoFI note M-6.   detail     www
Lutz Schröder, Till Mossakowski (2002). HasCASL: towards integrated specification and development of functional programs. In Hélène Kirchner, Christophe Ringeissen (Eds.), Algebraic Methodology And Software Technology (AMAST 2002), Vol. 2422, pp. 99–116, Lecture Notes in Computer Science. Springer, Berlin.   detail     www   postscript

2001     Back to top

Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski (2001). Checking amalgamability conditions for CASL architectural specifications. In Jiri Sgall, Ales Pultr, Petr Kolman (Eds.), Mathematical Foundations of Computer Science, Vol. 2136, pp. 512–523, Lecture Notes in Computer Science. Springer, Berlin.   detail     www   postscript
T. Mossakowski, S. Autexier, D. Hutter (2001). Extending Development Graphs With Hiding. In H. Hußmann (Ed.), Fundamental Approaches to Software Engineering, Vol. 2029, pp. 269–283, Lecture Notes in Computer Science. Springer Verlag, London.   detail     www   postscript
Lutz Schröder, Till Mossakowski, Piotr Hoffman, Bartek Klin, Andrzej Tarlecki (2001). Semantics of Architectural Specifications in CASL. In Heinrich Hußmann (Ed.), Fundamental Approaches to Software Engineering, Vol. 2029, pp. 253–268, Lecture Notes in Computer Science. Springer, Berlin.   detail     www   pdf   postscript
Lutz Schröder, Till Mossakowski, Andrzej Tarlecki (2001). Amalgamation via enriched CASL signatures. In Fernando Orejas, Paul Spirakis, Jan van Leeuwen (Eds.), International Colloquium on Automata, Languages and Programming (ICALP 2001), Vol. 2076, pp. 993–1004, Lecture Notes in Computer Science. Springer, Berlin.   detail     www   postscript

2000     Back to top

Till Mossakowski (2000). CASL: From Semantics to Tools. In S. Graf, M. Schwartzbach (Eds.), TACAS 2000, Vol. 1785, pp. 93–108, Lecture Notes in Computer Science. Springer Verlag, London.   detail     www   postscript
T. Mossakowski (2000). Specification in an arbitrary institution with symbols. In C. Choppy, D. Bert, P. Mosses (Eds.), Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France, Vol. 1827, pp. 252–270, Lecture Notes in Computer Science. Springer Verlag, London.   detail     www   postscript
T. Mossakowski, A. Haxthausen, B. Krieg-Brückner (2000). Subsorted Partial Higher-Order Logic as an Extension of CASL. In C. Choppy, D. Bert, P. Mosses (Eds.), Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT'99, Bonas, France, Vol. 1827, pp. 126–145, Lecture Notes in Computer Science. Springer Verlag, London.   detail     www   postscript
Till Mossakowski (2000). How to write consistent CASL design specifications. CoFI note M-8.   detail     www
Markus Roggenbach, Lutz Schröder, Till Mossakowski (2000). Specifying real numbers in CASL. In Christine Choppy, Didier Bert (Eds.), Recent Developments in Algebraic Development Techniques, 14th International Workshop, WADT'99, Vol. 1827, pp. 146–161, Lecture Notes in Computer Science. Springer, Berlin.   detail     www   postscript
A. Sernadas, C. Sernadas, C. Caleiro, T. Mossakowski (2000). Categorical Fibring of Logics with Terms and Binding Operators. In D. Gabbay, Rijke, M. de (Eds.), Frontiers of Combining Systems 2, pp. 295–316, Studies in Logic and Computation. Research Studies Press.   detail   postscript

1999     Back to top

M. Cerioli, T. Mossakowski, H. Reichel (1999). From total equational to partial first order logic. In E. Astesiano, H.-J.~Kreowski, B.~Krieg--Brückner (Eds.), Algebraic Foundations of Systems Specifications, pp. 31–104, IFIP State-of-the-Art Reports. Springer Verlag, London.   detail
T. Mossakowski (1999). Translating OBJ3 to CASL: the institution level. In J. L. Fiadeiro (Ed.), Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT'98, Lisbon, Portugal, April 1998, Selected Papers, Vol. 1589, pp. 198–214, Lecture Notes in Computer Science. Springer Verlag, London.   detail     www   postscript
Till Mossakowski, Markus Roggenbach (1999). The datatypes REAL and COMPLEX in CASL. CoFI note M-7.   detail     www
Markus Roggenbach, Till Mossakowski (1999). Proposal of some annotations and literal syntax in CASL. CoFI note L-11.   detail     www

1998     Back to top

Anne Haxthausen, Bernd Krieg-Brückner, Till Mossakowski (1998). Extending CASL with higher-order functions -- design proposal. CoFI note L-8.   detail     www
Anne Haxthausen, Bernd Krieg-Brückner, Till Mossakowski. (1998). Subsorted partial higher-order logic as an extension of CASL. CoFI note L-10.   detail     www
T. Mossakowski, A. Tarlecki, W. Pawlowski (1998). Combining and Representing Logical Systems Using Model-Theoretic Parchments. In F. Parisi Presicce (Ed.), Recent trends in algebraic development techniques. Proc. 12th International Workshop, Vol. 1376, pp. 349–364, Lecture Notes in Computer Science. Springer Verlag, London.   detail     www   postscript
T. Mossakowski (1998). Colimits of Order-Sorted Specifications. In F. Parisi Presicce (Ed.), Recent trends in algebraic development techniques. Proc. 12th International Workshop, Vol. 1376, pp. 316–332, Lecture Notes in Computer Science. Springer Verlag, London.   detail     www   postscript
Till Mossakowski (1998). Two "functional programming" sublanguages of CASL. CoFI note L-9.   detail     www
Till Mossakowski (1998). Standard annotations for parsers and static semantic checkers - a proposal. CoFI note T-6.   detail     www

1997     Back to top

M. Cerioli, A. Haxthausen, B. Krieg-Brückner, T. Mossakowski (1997). Permissive Subsorted Partial Logic in CASL. In M. Johnson (Ed.), Algebraic methodology and software technology, 6th international conference, AMAST 97, No. 1349, (p. 91–107). , Lecture Notes in Computer Science. Springer-Verlag, D-69121 Heidelberg, Germany.   detail     www   postscript
T. Mossakowski, A. Tarlecki, W. Pawlowski (1997). Combining and Representing Logical Systems. In E. Moggi, G. Rosolini (Eds.), Category Theory and Computer Science, 7th Int. Conf., Vol. 1290, pp. 177–196, Lecture Notes in Computer Science. Springer Verlag, London.   detail     www   postscript
Till Mossakowski (1997). Sublanguages of CASL. CoFI note L-7.   detail     www

1996     Back to top

T. Mossakowski (1996). Equivalences among various logical frameworks of partial algebras. In H. Kleine Büning (Ed.), Computer Science Logic. 9th Workshop, CSL'95. Paderborn, Germany, September 1995, Selected Papers, Vol. 1092, pp. 403–433, Lecture Notes in Computer Science. Springer Verlag, London.   detail     www   postscript
T. Mossakowski (1996). Using limits of parchments to systematically construct institutions of partial algebras. In M. Haveraaen, O. Owe, O.-J. Dahl (Eds.), Recent Trends in Data Type Specifications. 11th Workshop on Specification of Abstract Data Types, Vol. 1130, pp. 379–393, Lecture Notes in Computer Science. Springer Verlag, London.   detail     www   postscript
T. Mossakowski (1996). Different Types of Arrow Between Logical Frameworks. In F. Meyer auf der Heide, B. Monien (Eds.), Proc. ICALP 96, Vol. 1099, pp. 158–169, Lecture Notes in Computer Science. Springer Verlag, London.   detail     www   postscript
T. Mossakowski (1996). Representations, hierarchies and graphs of institutions. Universität Bremen. Also appeared as book in Logos Verlag.   detail   postscript

1995     Back to top

H.-J. Kreowski, T. Mossakowski (1995). Equivalence and Difference of Institutions: Simulating Horn Clause Logic With Based Algebras. In Mathematical Structures in Computer Science, Vol. 5, pp. 189–215.   detail   postscript
T. Mossakowski (1995). A Hierarchy of Institutions separated by properties of parameterized abstract data types. In E. Astesiano, G. Reggio, A. Tarlecki (Eds.), Recent Trends in Data Type Specification. Proceedings, Vol. 906, pp. 389–405, Lecture Notes in Computer Science. Springer Verlag, London.   detail     www   postscript

1993     Back to top

T. Mossakowski (1993). Parameterized Recursion Theory -- A Tool for the Systematic Classification of Specification Methods. In M. Nivat, C. Rattray, T. Rus, G. Scollo (Eds.), Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, 1993, pp. 139–146, Workshops in Computing. Springer-Verlag, London. Long version appears in Theoretical Computer Science.   detail   postscript

1992     Back to top

T. Mossakowski (1992). Spezifizierbarkeit und Berechenbarkeit parametrischer partieller Datentypen. Diploma thesis, Universität Bremen.   detail   postscript

1991     Back to top

G. Buntrock, F. Drewes, C. Lautemann, T. Mossakowski (1991). Some modifications of auxiliary pushdown automata. In RAIRO Informatique théorique et Applications, pp. 545–556.   detail
H. Herrlich, T. Mossakowski, G. E. Strecker (1991). Algebra $cup$ Topology. In H. Herrlich, H.--E. Porst (Eds.), Category Theory at Work, Vol. 137--148. Heldermann Verlag, Berlin.   detail   postscript

1988     Back to top

T. Mossakowski, J. W. Janneck, C. Holsten (1988). Programmieren in Turbo-Prolog. Theorie und Praxis der logischen Programmierung. Markt und Technik, Haar/München.   detail

1987     Back to top

T. Mossakowski (1987). Die arithmetische Komplexität der Semantik und der SLD-Bäume von logischen Programmen. Bundeswettbewerb "Jugend forscht", 1. Preis.   detail

1986     Back to top

J. W. Janneck, T. Mossakowski (1986). ROM-Listing CPC 464/664/6128. Markt & Technik, Haar/München.   detail
T. Mossakowski (1986). Symbolische Formelmanipulation. Implementation eines LISP-Interpreters, Überlegungen zur seiteneffektfreien Programmierung. Bundeswettbewerb "Jugend forscht".   detail

1984     Back to top

J. W. Janneck, T. Mossakowski (1984). Das Dragon 32/64-Lexikon. Röckrath, Aachen.   detail
      Show selected entries in BibTex Format
 
   
Author: Dr. Till Mossakowski
 
  wg bkb 
Last updated: February 27, 2004   impressum