Skip to main content Skip to main navigation

Publications

Page 4 of 6.

  1. Serge Autexier; Dominik Dietrich

    Atomic Metadeduction

    In: Bärbel Mertsching (Hrsg.). Proceedings 32nd Annual German Conference on Artificial Intelligence. German Conference on Artificial Intelligence (KI-09), 32nd, September 15-18, Paderborn, Germany, Lectures Notes in Computer Science (LNCS), Springer, 9/2009.

  2. Sergey Goncharov; Lutz Schröder; Till Mossakowski

    Kleene Monads: Handling Iteration in a Framework of Generic Effects

    In: Alexander Kurz; Andrzej Tarlecki (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science (CALCO-09), Third International Conference, September 6-10, Udine, Italy, Pages 18-33, Lecture Notes in Computer Science (LNCS), Vol. 5728, Springer, Berlin, 9/2009.

  3. Claus-Peter Wirth; Jörg Siekmann; Christoph Benzmüller; Serge Autexier

    Jacques Herbrand: Life, Logic, and Automated Deduction

    In: Dov M. Gabbay; John Woods. Logic from Russell to Church. Pages 195-254, Handbook of The History of Logic, Vol. 5, Elsevier, 6/2009.

  4. Lutz Schröder; Till Mossakowski

    HasCASL: Integrated Higher-Order Specification and Program Development

    In: Theoretical Computer Science, Vol. 410, No. 12-13, Pages 1217-1260, Elsevier, 2009.

  5. Andrea Kohlhase; Michael Kohlhase

    What you get is what you understand: Assessment in SACHS

    In: Christoph Lange; Jochen Reutelshöfer (Hrsg.). Wissens- und Erfahrungsmanagement: LWA (Lernen, Wissensentdeckung und Adaptivität) Conference Proceedings. GI-Workshop "Wissens- und Erfahrungsmanagement" (FGWM-09), located at LWA (Lernen, Wissensentdeckung und Adaptivität), September 21-23, Darmstadt, Germany, Pages 22-29, TU Darmstadt, 2009.

  6. Andrea Kohlhase; Michael Kohlhase

    Semantic Transparency in User Assistance Systems

    In: Proceedings of the 27th annual ACM International Conference on Design of Communication. ACM International Conference on Design of Communication (SIGDOC-09), October 5-7, Bloomington, IN, USA, Pages 89-96, ACM Press, 2009.

  7. Andrea Kohlhase; Michael Kohlhase

    Modeling Task Experience in User Assistance Systems

    In: Proceedings of the 27th annual ACM International Conference on Design of communication. ACM International Conference on Design of Communication (SIGDOC-09), October 5-7, Bloomington, IN, USA, Pages 135-142, ACM Press, 2009.

  8. Marvin Schiller; Christoph Benzmüller

    Presenting Proofs with Adapted Granularity

    In: Bärbel Mertsching; Marcus Hund; Zaheer Aziz (Hrsg.). KI 2009: Advances in Artificial Intelligence. German Conference on Artificial Intelligence (KI-09), 32nd, September 15-18, Paderborn, Germany, Pages 289-279, LNAI, Vol. 5803, Springer Verlag, 2009.

  9. Marvin Schiller; Christoph Benzmüller

    Proof Granularity as an Empirical Problem?

    In: CSEDU 2009: 1st International Conference on Computer Supported Education. International Conference on Computer Supported Education (CSEDU-09), March 23-26, Lisboa, Portugal, INSTICC Press, 2009.

  10. Marvin Schiller; Christoph Benzmüller

    Granularity-Adaptive Proof Presentation

    SEKI Working-Paper, SEKI Working-Paper, Vol. SWP-2009-01, 2009.