TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 10.

Hutter, Dieter ; Mantel, Heiko ; Schaefer, Ina ; Schairer, Axel (2007):
Security of Multiagent Systems: A Case Study on Comparison Shopping.
In: Journal of Applied Logic, [Article]

Hutter, Dieter ; Mantel, Heiko ; Schaefer, Ina ; Schairer, Axel (2007):
Security of Multiagent Systems: A Case Study on Comparison Shopping.
In: Journal of Applied Logic, [Article]

Mantel, Heiko ; Schairer, Axel (2005):
Exploiting Generic Aspects of Security Models in Formal Developments.
In: LNCS, 2605, In: Mechanizing Mathematical Reasoning, pp. 129--145, Springer Verlag, ISBN 3-540-25051-4,
[Book Section]

Mantel, Heiko ; Schairer, Axel (2005):
Exploiting Generic Aspects of Security Models in Formal Developments.
In: LNCS, 2605, In: Mechanizing Mathematical Reasoning, pp. 129-145, Springer Verlag, [Book Section]

Mantel, Heiko ; Schairer, Axel ; Kabatnik, Matthias ; Kreutzer, Michael ; Zugenmaier, Alf (2001):
Using Information Flow Control to Evaluate Access Protection of Location Information in Mobile Communication Networks.
In: mantel.ea:using:2001a, Freiburg, [Report]

Mantel, Heiko ; Schairer, Axel ; Kabatnik, Matthias ; Kreutzer, Michael ; Zugenmaier, Alf (2001):
Using Information Flow Control to Evaluate Access Protection of Location Information in Mobile Communication Networks.
(159), [Report]

Autexier, Serge ; Hutter, Dieter ; Langenstein, Bruno ; Mantel, Heiko ; Rock, Georg ; Schairer, Axel ; Stephan, Werner ; Vogt, Roland ; Wolpers, Andreas (2000):
VSE: Formal Methods Meet Industrial Needs.
In: International Journal on Software Tools for Technology Transfer, 3 (1), pp. 66-77. Springer, ISSN 1433-2779,
[Article]

Autexier, Serge ; Hutter, Dieter ; Mantel, Heiko ; Schairer, Axel (1999):
System Description: INKA 5.0 -- A Logic Voyager.
In: LNAI 1632, In: 16th International Conference on Automated Deduction, CADE--16, pp. pp.~207-211,
Trento, Italy, Springer, [Conference or Workshop Item]

Autexier, Serge ; Hutter, Dieter ; Mantel, Heiko ; Schairer, Axel
Bert, D. ; Choppy, C. ; Mosses, P. (eds.) (1999):
Towards an evolutionary formal software-development using CASL -- ABSTRACT.
In: LNCS, 1827, In: 14th International Workshop on Algebraic Development Techniques, WADT'99, pp. 73--88,
Springer, [Conference or Workshop Item]

Autexier, Serge ; Hutter, Dieter ; Mantel, Heiko ; Schairer, Axel
Bert, Didier ; Choppy, C. ; Mosses, P. (eds.) (1999):
Towards an evolutionary formal software-development using CASL -- ABSTRACT.
In: Lecture Notes in Computer Science, 1827, In: Recent trends in algebraic development techniques : 14th International Workshop on Algebraic Development Techniques, WADT'99, pp. 73-88, Berlin ; Heidelberg, Springer, [Book Section]

This list was generated on Sat Sep 25 05:29:13 2021 CEST.