Till Mossakowski: List of Publications - heterogeneous specification

Go to year:  to appear   2008   2007   2006   2005   2004   2003   2002   2001   2000   1998   1997   1996   1995 

to appear     Back to top

	Till Mossakowski, Andrzej Tarlecki, Razvan Diaconescu. What is a logic translation?. Winner of the universal logic 2007 contest.
	Lutz Schröder, Till Mossakowski. HasCASL: Integrated Higher-Order Specification and Program Development. In Theoretical Computer Science. To appear.

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.

2007     Back to top

	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.
	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.
	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.
	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.
	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.
	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.
	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.

2006     Back to top

	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.
	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.
	Till Mossakowski (2006). Hets User Guide. Department of Computer Science; Universität Bremen, Bibliothekstr. 1, 28359 Bremen.

2005     Back to top

	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.
	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.
	Till Mossakowski (2005). Heterogeneous specification and the heterogeneous tool set. Universitaet Bremen. Habilitation thesis.

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.
	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.
	T. Mossakowski (2004). HetCASL - Heterogeneous Specification. Language Summary.
	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.
	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.

2003     Back to top

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.

2002     Back to top

	T. Mossakowski (2002). Relating CASL with Other Specification Languages: the Institution Level. In Theoretical Computer Science, Vol. 286, pp. 367–475.
	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.
	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.

2001     Back to top

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.

2000     Back to top

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.

1998     Back to top

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.

1997     Back to top

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.

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.
	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.
	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.
	T. Mossakowski (1996). Representations, hierarchies and graphs of institutions. Universität Bremen. Also appeared as book in Logos Verlag.

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.
	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.
Show selected entries in BibTex Format