Serge Autexier

Serge Autexier, Dominik Dietrich, Dieter Hutter, Christoph Lüth, Christian Maeder: SmartTies - Management of Safety-Critical Developments. ISoLA (1) 2012: 238-252

Serge Autexier, Dieter Hutter: Structure Formation to Modularize Ontologies. WoMO 2012

Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev: Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics. Calculemus/MKM 2011: 164-179

Serge Autexier, Dominik Dietrich, Marvin Schiller: Towards an Intelligent Tutor for Mathematical Proofs. THedu'11 2011: 1-28

Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev: Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics. CoRR abs/1105.2392 (2011)

Serge Autexier, Petr Sojka, Masakazu Suzuki: Foreword to the Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge. Mathematics in Computer Science 3(3): 225-226 (2010)

Serge Autexier, Dieter Hutter, Till Mossakowski: Change Management for Heterogeneous Development Graphs. Verification, Induction, Termination Analysis 2010: 54-80

Serge Autexier, Normen Müller: Semantics-based change impact analysis for heterogeneous collections of documents. ACM Symposium on Document Engineering 2010: 97-106

Serge Autexier, Christoph Lüth: Adding Change Impact Analysis to the Formal Verification of C Programs. IFM 2010: 59-73

Serge Autexier, Dominik Dietrich: A Tactic Language for Declarative Proofs. ITP 2010: 99-114

Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton (Eds.): Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings. Lecture Notes in Computer Science 6167, Springer 2010, isbn 978-3-642-14127-0

Serge Autexier, Christoph Benzmüller: Preface. Electr. Notes Theor. Comput. Sci. 226: 1-2 (2009)

David Aspinall, Serge Autexier, Christoph Lüth, Marc Wagner: Towards Merging PlatOmega and PGIP. Electr. Notes Theor. Comput. Sci. 226: 3-21 (2009)

Serge Autexier, Dominik Dietrich: Atomic Metadeduction. KI 2009: 444-451

Claus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier: Lectures on Jacques Herbrand as a Logician. CoRR abs/0902.4682 (2009)

Serge Autexier, Heiko Mantel, Stephan Merz, Tobias Nipkow: Preface. J. Autom. Reasoning 41(3-4): 191-192 (2008)

Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Marc Wagner: Organization, Transformation, and Propagation of Mathematical Knowledge in Omegamega. Mathematics in Computer Science 2(2): 253-277 (2008)

Serge Autexier, John A. Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk (Eds.): Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings. Lecture Notes in Computer Science 5144, Springer 2008, isbn 978-3-540-85109-7

Serge Autexier, Christoph Benzmüller: Preface. Electr. Notes Theor. Comput. Sci. 174(2): 1-2 (2007)

Marc Wagner, Serge Autexier, Christoph Benzmüller: PlatOmega: A Mediator between Text-Editors and Proof Assistance Systems. Electr. Notes Theor. Comput. Sci. 174(2): 87-107 (2007)

Christoph Benzmüller, Dominik Dietrich, Marvin Schiller, Serge Autexier: Deep Inference for Automated Proof Tutoring? KI 2007: 435-439

Serge Autexier, Armin Fiedler, Thomas Neumann, Marc Wagner: Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems. Calculemus/MKM 2007: 176-190

Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier: Computer supported mathematics with Omegamega. J. Applied Logic 4(4): 533-559 (2006)

Till Mossakowski, Serge Autexier, Dieter Hutter: Development graphs - Proof management for structured specifications. J. Log. Algebr. Program. 67(1-2): 114-145 (2006)

Jürgen Zimmer, Serge Autexier: The MathServe System for Semantic Web Reasoning Services. IJCAR 2006: 140-144

Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper: Preface -- Workshop Trustworthy Software 2006. Trustworthy Software 2006

Serge Autexier, Claudio Sacerdoti Coen: A Formal Correspondence Between OMDoc with Alternative Proofs and the lambdaµµ-Calculus. MKM 2006: 67-81

Serge Autexier, Dominik Dietrich: Synthesizing Proof Planning Methods and Omega-Ants Agents from Mathematical Knowledge. MKM 2006: 94-109

Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper (Eds.): Workshop "Trustworthy Software" 2006, May 18-19, 2006, Saarland University, Saarbrücken, Germany. OASICS 3, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006

Serge Autexier, Iliano Cervesato, Heiko Mantel: Preface to the special issue of selected papers from FCS/VERIFY 2002. Int. J. Inf. Sec. 4(1-2): 1 (2005)

Dieter Hutter, Serge Autexier: Formal Software Development in MAYA. Mechanizing Mathematical Reasoning 2005: 407-432

Serge Autexier: The CoRe Calculus. CADE 2005: 84-98

Serge Autexier, Armin Fiedler: Textbook Proofs Meet Formal Logic - The Problem of Underspecification and Granularity. MKM 2005: 96-110

Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Andreas Meier, Claus-Peter Wirth: A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity. MKM 2005: 126-142

Serge Autexier: On the Dynamic Increase of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic. TABLEAUX 2005: 48-62

Serge Autexier: Hierarchical contextual reasoning. Saarland University 2004, pp. 1-229

Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek, Quoc Bao Vo: Assertion-level Proof Representation with Under-Specification. Electr. Notes Theor. Comput. Sci. 93: 5-23 (2004)

Malte Hübner, Serge Autexier, Christoph Benzmüller, Andreas Meier: Interactive Theorem Proving with Tasks. Electr. Notes Theor. Comput. Sci. 103: 161-181 (2004)

Quoc Bao Vo, Christoph Benzmüller, Serge Autexier: Assertion Application in Theorem Proving and Proof Planning. IJCAI 2003: 1343-

Serge Autexier, Carsten Schürmann: Disproving False Conjectures. LPAR 2003: 33-48

Carsten Schürmann, Serge Autexier: Towards Proof Planning for Mω⁺. Electr. Notes Theor. Comput. Sci. 70(2): 124-145 (2002)

Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer: The Development Graph Manager MAYA. AMAST 2002: 495-501

Serge Autexier, Till Mossakowski: Integrating HOL-CASL into the Development Graph Manager MAYA. FroCoS 2002: 2-17

Serge Autexier, Dieter Hutter: Maintenance of Formal Software Developments by Stratified Verification. LPAR 2002: 36-52

Serge Autexier: A Proof-Planning Framework with Explicit Abstractions Based on Indexed Formulas. Electr. Notes Theor. Comput. Sci. 58(2): 189-202 (2001)

Axel Schairer, Serge Autexier, Dieter Hutter: A Pragmatic Approach to Reuse in Tactical Theorem Proving. Electr. Notes Theor. Comput. Sci. 58(2): 203-216 (2001)

Till Mossakowski, Serge Autexier, Dieter Hutter: Extending Development Graphs with Hiding. FASE 2001: 269-283

Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers: VSE: formal methods meet industrial needs. STTT 3(1): 66-77 (2000)

Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer: System Description: inka 5.0 - A Logic Voyager. CADE 1999: 207-211

Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer: Towards an Evolutionary Formal Software-Development Using CASL. WADT 1999: 73-88

Serge Autexier, Heiko Mantel, Werner Stephan: Simultaneous Quantifier Elimination. KI 1998: 141-152