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
Jump to: 2007 | 2005 | 2001 | 2000 | 1999
Number of items: 10.

2007

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

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

2005

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

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

2001

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

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

2000

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

1999

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

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

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

This list was generated on Tue Nov 12 01:36:15 2019 CET.