Skip to main content Skip to main navigation

Publikationen

Seite 1 von 3.

  1. Osman Hasan; Abdou Youssef; Adam Naumowicz; William M. Farmer; Cezary Kaliszyk; Diane Gallois-Wong; Florian Rabe; Gabriel Dos Reis; James H. Davenport Grant O. Passmore; Markus Pfeiffer; Michael Kohlhase; Serge Autexier; Sofiène Tahar; Thomas Koprucki; Umair Siddique; Walther Neuper; Wolfgang Windsteiger; Wolfgang Schreiner; Wolfram Sperber; Zoltán Kovács (Hrsg.)

    Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics CICM

    Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics (CICM-WS-2018), located at co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), August 13-17, Hagenberg, Austria, CEUR Workshop Proceedings, Vol. 2307, CEUR-WS.org, 1/2019.

  2. Michael Kohlhase; Corneliu Prodescu; Christian Liguda

    XLSearch: A Search Engine for Spreadsheets

    In: Simon Thorne; Grenville Croll (Hrsg.). Prodeedings of the EuSpRIG 2013 Conference "Spreadsheet Risk Management". European Spreadsheet Risks Interest Group (EuSpRIG-2013), Spreadsheet Risk Management, July 4-5, London, United Kingdom, Pages 47-58, ISBN 978-1-9054045-1-3, Five Star Printing Ldt, Claydon, 2013.

  3. Mihai Codescu; Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe; Kristina Sojakova

    Towards Logical Frameworks in the Heterogeneous Tool Set Hets

    In: Hans-Jörg Kreowski; Till Mossakowski (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-10), 20th, July 1-4, Schloss Etelsen, Germany, Lecture Notes in Computer Science (LNCS), Vol. 7137, Springer, 2012.

  4. Mihai Codescu; Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe

    A Proof Theoretic Interpretation of Model Theoretic Hiding

    In: Hans-Jörg Kreowski; Till Mossakowski (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-10), 20th, July 1-4, Schloss Etelsen, Germany, Pages 118-138, Lecture Notes in Computer Science (LNCS), Vol. 7137, Springer, 2012.

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

  6. Mihai Codescu; Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe

    Project Abstract: Logic Atlas and Integrator (LATIN)

    In: James H. Davenport; William M. Farmer; Josef Urban; Florian Rabe (Hrsg.). Intelligent Computer Mathematics. Conference on Intelligent Computer Mathematics (CICM-11), July 18-23, Bertinoro, Forli, Italy, Pages 289-291, Lecture Notes in Computer Science (LNCS), Vol. 6824, Springer, 2011.

  7. Andrea Kohlhase; Michael Kohlhase; Christoph Lange

    Dimensions of Formality: A Case Study for MKM in Software Engineering

    In: Intelligent Computer Mathematics. International Conference on Mathematical Knowledge Management (MKM-10), located at CICM, July 8-10, Paris, France, Lecture Notes on Artificial Intelligence (LNAI), Springer Verlag, 2010.

  8. Andrea Kohlhase; Michael Kohlhase; Christoph Lange

    sTeX+ - A System for Flexible Formalization of Linked Data

    In: Proceedings the 6the International Conference on Semantic Systems. International Conference on Semantic Systems (I-Semantics-10), September 1-3, Graz, Austria, arXiv.org, 2010.

  9. Andrea Kohlhase; Michael Kohlhase

    What we understand is we get: Assessment in Spreadsheets

    In: Proceedings of the EuSpRIG-Conference 2010. European Spreadsheet Risks Interest Group (EuSpRIG-10), July 15-16, Greenwich, United Kingdom, EuSpRIG, 2010.

  10. Michael Kohlhase; Johannes Lemburg; Lutz Schröder; Ewaryst Schulz

    Formal Management of CAD/CAM Processes

    In: Ana Cavalcanti; Dennis Dams (Hrsg.). Formal Methods. International Symposium on Formal Methods (FM-09), 16th, November 2-6, Eindhoven, Netherlands, Pages 223-238, Lecture Notes in Computer Science (LNCS), Vol. 5850, Springer, Berlin, 11/2009.