Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 91 to 100 of 377.
  1. S. Manzoor; Paul Libbrecht; Carsten Ullrich; Erica Melis

    Authoring Presentation for OpenMath

    In: Michael Kohlhase (Hrsg.). Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised …

  2. Andreas Meier; Erica Melis

    Impasse-Driven Reasoning in Proof Planning

    In: Michael Kohlhase (Hrsg.). Proceedings of the Fourth International Conference on Mathematical Knowledge Management (MKM2005). International …

  3. K. Morik; Martin Mühlenbrock

    Scientific Discovery Investigating Multi-Step Learning

    In: In Order to Learn, Oxford University Press, New York, NY, 2006.

  4. Martin Mühlenbrock

    Learning group formation based on learner profile and context

    In: International Journal on E-Learning (IJEL), Vol. 5, No. 1, Pages 19-24, 2006.

  5. Erica Melis; Giorgi Goguadze; Martin Homik; Paul Libbrecht; Carsten Ullrich; Stefan Winterstein

    Semantic-Aware Components and Services of ActiveMath

    In: British Journal of Educational Technology, Vol. 37, No. 3, Pages 405-423, Wiley Blackwell, 5/2006.

  6. Automating Proofs of Unwinding Conditions

    In: Serge Autexier; Heiko Mantel (Hrsg.). Workshop Proceedings VERIFY06 at the International Joint Conference on Automated Reasoning. International …

  7. Fernando Godínez; Dieter Hutter; Raul Monroy

    On the Use of Word Networks to Mimicry Attack Detection

    In: Günter Müller (Hrsg.). Proceedings of the International Conference on Emerging Trends in Information and Communication Security, ETRICS-2006. …

  8. Possibilistic Information Flow Control in MAKS and Action Refinement

    In: Günter Müller (Hrsg.). Proceedings of the International Conference on Emerging Trends in Information and Communication Security, ETRICS-2006. …

  9. Dieter Hutter; Matthias Klusch; Melanie Volkamer

    Information Flow Analysis Based Security Checking of Health Service Composition Plans

    In: Proccedings of the 1st European Conference on eHealth (ECEH06). European Conference on eHealth (ECEH), Fribourg, Lecture Notes in Informatics, …

  10. Dieter Hutter; Melanie Volkamer; Matthias Klusch; Andreas Gerber

    Provably Secure Execution of Composed Semantic Web Services

    In: Proccedings of the 1st International Workshop on Privacy and Security in Agent-based Collaborative Environments. International Workshop on Privacy …