Publications: CoCASL

Go to year: 2011 2010 2009 2008 2007 2006 2005 2003

2011 Back to top

Corina Cirstea, Alexander Kurz, Dirk Pattinson, Lutz SchrÃ¶der, Yde Venema (2011). Modal logics are coalgebraic. In The Computer Journal, 54 (1), pp. 31–41. Extends (Cirstea et al. 2008)..

2010 Back to top

Lutz SchrÃ¶der, Dirk Pattinson (2010). Rank-1 modal logics are coalgebraic . In Journal of Logic and Computation, 20 (5), pp. 1113–1147. Extends (SchrÃ¶der and Pattinson STACS 2007).

2009 Back to top

	Georgel Calin, Rob Myers, Dirk Pattinson, Lutz SchrÃ¶der (2009). CoLoSS: The Coalgebraic Logic Satisfiability Solver (System Description). In Carlos Areces, Stephane Demri (Eds.), Methods for Modalities (M4M-5, 2007), Vol. 231, pp. 41–54, Electronic Notes in Theoretical Computer Science. Elsevier Science.
	Rob Myers, Dirk Pattinson, Lutz SchrÃ¶der (2009). Coalgebraic Hybrid Logic. In Luca de Alfaro (Ed.), Foundations of Software Science and Computation Structures (FOSSACS 2009), Vol. 5504, pp. 137–151, Lecture Notes in Computer Science. Springer.
	Lutz SchrÃ¶der, Dirk Pattinson, Clemes Kupke (2009). Nominals for Everyone. In Craig Boutilier (Ed.), International Joint Conferences on Artificial Intelligence (IJCAI 2009), pp. 917–922. AAAI Press, Menlo Park, CA.
	Lutz SchrÃ¶der, Dirk Pattinson (2009). Strong completeness of coalgebraic modal logics. In Susanne Albers, Jean-Yves Marion (Eds.), 26th International Symposium on Theoretical Aspects of Computer Science (STACS 2009), pp. 673–684, Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Center of Informatics, Dagstuhl, Germany.
	Lutz SchrÃ¶der, Dirk Pattinson (2009). PSPACE Bounds for Rank-1 Modal Logics. In ACM Transactions on Computational Logic, 10 (2:13), pp. 1–33.

2008 Back to top

	Dirk Pattinson, Lutz SchrÃ¶der (2008). Admissibility of Cut in Coalgebraic Logics. In J. Adamek, C. Kupke (Eds.), Coalgebraic Methods in Computer Science (CMCS 08), Vol. 203, pp. 221–241, Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam.
	Dirk Pattinson, Lutz SchrÃ¶der (2008). Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics. In Roberto Amadio (Ed.), Foundations of Software Science and Computation Structures (FOSSACS 2008), Vol. 4962, pp. 66–80, Lecture Notes in Computer Science. Springer.
	Lutz SchrÃ¶der (2008). Expressivity of Coalgebraic Modal Logic: The Limits and Beyond. In Theoretical Computer Science, Vol. 390, pp. 230–247. Extends (SchrÃ¶der 2005).

2007 Back to top

	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.
	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.
	Lutz SchrÃ¶der, Dirk Pattinson (2007). Modular Algorithms for Heterogeneous Modal Logics. In Lars Arge, Andrzej Tarlecki, Christian Cachin (Eds.), Automata, Languages and Programming (ICALP 07), Vol. 4596, pp. 459–471, Lecture Notes in Computer Science. Springer.
	Lutz SchrÃ¶der (2007). Bootstrapping Types and Cotypes in HasCASL. In Till Mossakowski, Udo Montanari (Eds.), Algebra and Coalgebra in Computer Science (CALCO 07), Vol. 4624, pp. 447–462, Lecture Notes in Computer Science. Springer. Extended version available.
	Lutz SchrÃ¶der, Dirk Pattinson (2007). Rank-1 Modal Logics are Coalgebraic. In Wolfgang Thomas, Pascal Weil (Eds.), International Symposium on Theoretical Aspects of Computer Science (STACS 07), Vol. 4393, pp. 573–585, Lecture Notes in Computer Science. Springer. Extended version available.
	Lutz SchrÃ¶der (2007). A finite model construction for coalgebraic modal logic. In Journal of Logic and Algebraic Programming (FOSSACS 06 special issue), Vol. 73, pp. 97–110. Extends (SchrÃ¶der 2006).

2006 Back to top

	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).
	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).
	Lutz SchrÃ¶der, Dirk Pattinson (2006). PSPACE Bounds for Rank 1 Modal Logics. In Rajeev Alur (Ed.), Logic in Computer Science (LICS 06), pp. 231–240. IEEE. Presentation slides available.
	Lutz SchrÃ¶der (2006). A Finite Model Construction for Coalgebraic Modal Logic. In Luca Aceto, Anna Ingólfsdóttir (Eds.), Foundations Of Software Science And Computation Structures, Vol. 3921, pp. 157–171, Lecture Notes in Computer Science. Springer, Berlin. EATCS Best Paper Award at ETAPS 2006.

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.
	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.
	Till Mossakowski (2005). Heterogeneous specification and the heterogeneous tool set. Universitaet Bremen. Technical Report. Habilitation thesis.
	Lutz SchrÃ¶der (2005). Expressivity of Coalgebraic Modal Logic: The Limits and Beyond. In Vladimiro Sassone (Ed.), Foundations of Software Science And Computation Structures, Vol. 3441, pp. 440–454, Lecture Notes in Computer Science. Springer, Berlin.

2003 Back to top

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

Author: Dr. Till Mossakowski

Group BKB

Last updated: February 1, 2006