Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 81 bis 90 von 377
  1. 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 …

  2. K. Morik; Martin Mühlenbrock

    Scientific Discovery Investigating Multi-Step Learning

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

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

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

  5. Automating Proofs of Unwinding Conditions

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

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

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

  8. 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, …

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

  10. Dieter Hutter; Melanie Volkamer

    Information Flow Control to Secure Dynamic Web Service Composition.

    In: Proceedings of the 3rd International Conference on Security in Pervasive Computing, SPC-2006. International Conference on Security in Pervasive …