Publikationen

Seite 1 von 6.

Serge Autexier; Dominik Dietrich; Dieter Hutter; Christoph Lüth; Christian Maeder
SmartTies - Management of Safety-Critical Developments
In: Margaria Tiziana; Bernhard Steffen (Hrsg.). Proc. 5th International Symposium On Leveraging Applications of Formal Methods, Verification and …
Serge Autexier; Catalin David; Dominik Dietrich; Michael Kohlhase; Vyacheslav Zholudev
Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics
In: James H. Davenport; William Farmer; Florian Rabe; Joseph Urban (Hrsg.). Proceedings of Calculemus/MKM 2011. Conferences on Intelligent Computer …
Regivan Hugo Nunes Santiago; Christian Maeder
Linguistic Variables of Type-N - a Mathematical Model
In: Tendencias em Matematica Aplicada e Computacional (TEMA), Vol. 12, No. 1, Pages 21-30, SBMAC, Brasil, 4/2011.
Lutz Schröder; Dirk Pattinson
Modular Algorithms for Heterogeneous Modal Logics via Multi-Sorted Coalgebra
In: Mathematical Structures in Computer Science (MSCS), Vol. 21, No. 2, Pages 235-266, Cambridge University Press, Cambridge, 3/2011.
Corina Cirstea; Alexander Kurz; Dirk Pattinson; Lutz Schröder; Yde Venema
Modal logics are coalgebraic
In: The Computer Journal, Vol. 54, No. 1, Pages 31-41, Oxford University Press, Oxford, 2011.
Lutz Schröder; Dirk Pattinson
Description Logics and Fuzzy Probability
In: Toby Walsh (Hrsg.). 22nd International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence …
Dirk Pattinson; Lutz Schröder
Cut Elimination in Coalgebraic Logics
In: Information and Computation (Inform. Comput.), Vol. 208, Pages 1447-1468, Elsevier, Amsterdam, 12/2010.
Serge Autexier; Christoph Lüth
Adding Change Impact Analysis to the Formal Verification of C Programs
In: Dominique Méry; Stephan Merz (Hrsg.). Proceedings 8th International Conference on Integrated Formal Methods (iFM 2010). International Conference …
Serge Autexier; Normen Müller
Semantics-Based Change Impact Analysis for Heterogeneous Collections of Documents
In: Michael Gormish; Rolf Ingold (Hrsg.). Proceedings of 10th ACM Symposium on Document Engineering. ACM Symposium on Document Engineering …
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 …