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 51 bis 60 von 182
  1. Mehryar Mohri; Mark-Jan Nederhof

    Regular Approximation of Context-Free Grammars through Transformation

    In: Jean-Claude Junqua; Gertjan van Noord (Hrsg.). Robustness in Language and Speech Technology. Pages 153-163, Kluwer Academic Publishers, Dordrecht, …

  2. A Pragmatic Approach to Reuse in Tactical Theorem Proving

    In: Proceedings of the 4th International Workshop on Strategies in Automated Deduction (STRATEGIES 2001), 1st International Joint Conference on …

  3. Dieter Hutter; Klaus Fischer; Matthias Klusch; Werner Stephan

    Towards Secure Mobile Multiagent Based Electronic Marketplace Systems

    In: Proceedings Workshop on Security in Mobile Multiagent Systems, SEMAS-2001, Autonomous Agents 2001. Workshop on Security in Mobile Multiagent …

  4. Dieter Hutter; Axel Schairer

    Towards an Evolutionary Formal Software Development

    In: Proceedings 16th IEEE International Conference on Automated Software Engineering, ASE-2001. IEEE International Conference on Automated Software …

  5. Heiko Mantel; Andrei Sabelfeld

    A Generic Approach to the Security of Multi-threaded Programs

    In: Proceedings of the 14th IEEE Computer Security Foundations Workshop. IEEE Computer Security Foundations Workshop, Cape Breton, Pages 126-142, IEEE …

  6. Heiko Mantel

    Preserving Information Flow Properties under Refinement

    In: Proceedings of the IEEE Symposium on Security and Privacy. IEEE Symposium on Security and Privacy (SP), Oakland, Pages 78-91, IEEE Computer …

  7. Heiko Mantel

    Information Flow Control and Applications -- Bridging a Gap --

    In: Jose Nuno Olivera; Pamela Zave (Hrsg.). FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods …

  8. Till Mossakowski; Serge Autexier; Dieter Hutter

    Extending development graphs with hiding

    In: A. Konermann (Hrsg.). Proceedings of Fundamental Approaches to Software Engineering (FASE2001). Fundamental Approaches to Software Engineering …

  9. Heiko Mantel; Axel Schairer; Matthias Kabatnik; Michael Kreutzer; Alf Zugenmaier

    Using Information Flow Control to Evaluate Access Protection of Location Information in Mobile Communication Networks

    Technical Report, Vol. 159, 8/2001.

  10. Andreas Abecker; Heiko Maus; Ansgar Bernardi

    Software-Unterstützung für das Geschäftsprozesorientierte Wissensmanagement

    In: Heinz-Jürgen Müller; Andreas Abecker; Knut Hinkelmann; Heiko Maus (Hrsg.). Proceedings des Workshops "Geschäftsprozessorientiertes …