Skip to main content Skip to main navigation

Publications

Page 1 of 6.

  1. 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 Validation (ISoLa'12). International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA-12), October 15-18, Amirandes, Heraclion, Crete, Greece, Pages 238-252, Lecture Notes in Computer Science (LNCS), Vol. 7609, Springer, 10/2012.

  2. 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 Mathematics (CICM-11), 10th International Conference on Mathematical Knowledge Management , located at Conference on Intelligent Computer Mathematics, July 18-23, Bertonori, Italy, Pages 164-179, LNAI, No. 6824, Springer-Verlag, Berlin Heidelberg, 7/2011.

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

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

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

  6. 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 (IJCAI-2011), July 16-22, Barcelona, Spain, AAAI Press, Menlo Park, CA, 2011.

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

  8. 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 on Integrated Formal Methods (IFM-2010), October 11-14, Nancy, France, Pages 59-73, Lecture Notes in Computer Science (LNCS), Vol. 6396, Springer, 10/2010.

  9. 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 (DocEng-10), September 21-24, Manchester, United Kingdom, ACM, 9/2010.

  10. 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, 9/2010.