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: 13.

Autexier, Serge ; Mantel, Heiko ; Merz, Stephan ; Nipkow, Tobias (eds.) (2008):
Special Issue on Formal Modeling and Verification of Critical Systems.
Journal of Automated Reasoning, Vol. 41, Nos. 3-4, Springer, [Conference or Workshop Item]

Autexier, Serge ; Mantel, Heiko ; Merz, Stephan ; Nipkow, Tobias (eds.) (2008):
Special Issue on Formal Modeling and Verification of Critical Systems.
Journal of Automated Reasoning, Vol. 41, Nos. 3-4, Springer, [Conference or Workshop Item]

Autexier, Serge ; Mantel, Heiko (eds.) (2006):
Verify'06: Verification Workshop.
Seattle, USA, FLoC, [Conference or Workshop Item]

Autexier, Serge ; Cervesato, Iliano ; Mantel, Heiko (eds.) (2005):
International Journal of Information Security : Special issue on FCS/Verify 2002.
4, (1-2), Berlin, Springer, ISSN 1615-5270,
[Journal]

Autexier, Serge ; Mantel, Heiko (eds.) (2002):
Proceedings of the Verification Workshop (VERIFY'02).
Copenhagen, Denmark, DIKU, [Book]

Autexier, Serge ; Mantel, Heiko (eds.) (2001):
Proceedings of the Verification Workshop (VERIFY'01).
Siena, Italy, Universit`a degli studi di Siena, [Book]

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]

Autexier, Serge ; Mantel, Heiko ; Stephan, Werner
Herzog, Otthein ; Günter, Andreas (eds.) (1998):
Simultaneous Quantifier Elimination.
In: LNAI 1504, In: KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, pp. 141-152,
Bremen, Germany, Springer, [Conference or Workshop Item]

Autexier, Serge ; Mantel, Heiko (1998):
Semantical Investigation of Simultaneous Skolemization for First-Order Sequent Calculus.
(SEKI Report SR-98-05), [Report]

Autexier, Serge ; Mantel, Heiko (1998):
Semantical Investigation of Simultaneous Skolemization for First-Order Sequent Calculus.
In: autexier.ea:semantical-investigation-of-simultaneous-skolemization-for-first-order-sequent-calculus:1998a, Germany, [Report]

This list was generated on Tue Jun 6 01:03:10 2023 CEST.