Robotics Innovation Center

Page 9 of 9.

1. Serge Autexier; Dieter Hutter

   Towards an efficient management of change in an evolutionary formal software development

   In: W.Goerig (Hrsg.). Proceedings Workshop on Engineering of Software Verification, Validation, and Certification. Workshop on Engineering of Software …

2. Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer

   Towards an Evolutionary Formal Software-Development Using CASL

   In: C. Choppy; D. Bert (Hrsg.). Recent Trends in Algebraic Development Techniques, (WADT-99). International Workshop on Algebraic Development …

3. Serge Autexier; Dieter Hutter; Bruno Langenstein; Heiko Mantel; Georg Rock; Axel Schairer; Werner Stephan; Roland Vogt; Andreas Wolpers

   VSE: Formal Methods Meet Industrial Needs

   In: International Journal on Software Tools for Technology Transfer, Vol. 3, No. 1, Pages 66-77, Springer, Berlin, Heidelberg, 2000.

4. Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer

   System Description: INKA 5.0 - A Logical Voyager

   In: H.Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction …

5. Serge Autexier; Heiko Mantel

   Semantical Investigation of Simultaneous Skolemization for First-Order Sequent Calculus

   Vol. SEKI Report SR-98-05, 1998.

6. Serge Autexier; Heiko Mantel; Werner Stephan

   Simultaneous Quantifier Elimination

   In: O. Herzog; A. Günter (Hrsg.). KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence. German …

7. Serge Autexier; Dieter Hutter

   Equational Proof-Planning by Dynamic Abstraction

   In: U. Furbach; M. P. Bonacina (Hrsg.). International Workshop on First-Order Theorem Proving - FTP97. International Workshop on First-Order Theorem …

8. Serge Autexier; Dieter Hutter

   Parameterized Abstractions used for Proof Planning

   DFKI, DFKI Research Reports (RR), Vol. 97-04, 1997.

9. Arthur Sehn; Serge Autexier (Hrsg.)

   Proceedings des Studentenprogramms der 18. Deutschen Jahrestagung für Künstliche Intelligenz KI-94

   DFKI, DFKI Documents (D), Vol. 94-12, 1994.

• previous
• 1
• …
• 7
• 8
• 9