2009 |
37 | EE | Claus-Peter Wirth,
Jörg H. Siekmann,
Christoph Benzmüller,
Serge Autexier:
Lectures on Jacques Herbrand as a Logician
CoRR abs/0902.4682: (2009) |
36 | EE | Serge Autexier,
Christoph Benzmüller:
Preface.
Electr. Notes Theor. Comput. Sci. 226: 1-2 (2009) |
35 | EE | David Aspinall,
Serge Autexier,
Christoph Lüth,
Marc Wagner:
Towards Merging PlatOmega and PGIP.
Electr. Notes Theor. Comput. Sci. 226: 3-21 (2009) |
2008 |
34 | | Serge Autexier,
John Campbell,
Julio Rubio,
Volker Sorge,
Masakazu Suzuki,
Freek Wiedijk:
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
Springer 2008 |
33 | EE | Serge Autexier,
Heiko Mantel,
Stephan Merz,
Tobias Nipkow:
Preface.
J. Autom. Reasoning 41(3-4): 191-192 (2008) |
2007 |
32 | EE | 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 |
31 | EE | Christoph Benzmüller,
Dominik Dietrich,
Marvin Schiller,
Serge Autexier:
Deep Inference for Automated Proof Tutoring?
KI 2007: 435-439 |
30 | EE | Serge Autexier,
Christoph Benzmüller:
Preface.
Electr. Notes Theor. Comput. Sci. 174(2): 1-2 (2007) |
29 | EE | 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) |
2006 |
28 | | Serge Autexier,
Stephan Merz,
Leendert W. N. van der Torre,
Reinhard Wilhelm,
Pierre Wolper:
Workshop "Trustworthy Software" 2006, May 18-19, 2006, Saarland University, Saarbrücken, Germany
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 |
27 | EE | Jürgen Zimmer,
Serge Autexier:
The MathServe System for Semantic Web Reasoning Services.
IJCAR 2006: 140-144 |
26 | EE | Serge Autexier,
Claudio Sacerdoti Coen:
A Formal Correspondence Between OMDoc with Alternative Proofs and the lambdaµµ-Calculus.
MKM 2006: 67-81 |
25 | EE | Serge Autexier,
Dominik Dietrich:
Synthesizing Proof Planning Methods and Omega-Ants Agents from Mathematical Knowledge.
MKM 2006: 94-109 |
24 | EE | Serge Autexier,
Stephan Merz,
Leendert W. N. van der Torre,
Reinhard Wilhelm,
Pierre Wolper:
Preface -- Workshop Trustworthy Software 2006.
Trustworthy Software 2006 |
23 | EE | Jörg H. Siekmann,
Christoph Benzmüller,
Serge Autexier:
Computer supported mathematics with Omegamega.
J. Applied Logic 4(4): 533-559 (2006) |
22 | EE | Till Mossakowski,
Serge Autexier,
Dieter Hutter:
Development graphs - Proof management for structured specifications.
J. Log. Algebr. Program. 67(1-2): 114-145 (2006) |
2005 |
21 | EE | Serge Autexier:
The CoRe Calculus.
CADE 2005: 84-98 |
20 | EE | 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 |
19 | EE | Serge Autexier,
Armin Fiedler:
Textbook Proofs Meet Formal Logic - The Problem of Underspecification and Granularity.
MKM 2005: 96-110 |
18 | EE | Dieter Hutter,
Serge Autexier:
Formal Software Development in MAYA.
Mechanizing Mathematical Reasoning 2005: 407-432 |
17 | EE | Serge Autexier:
On the Dynamic Increase of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic.
TABLEAUX 2005: 48-62 |
16 | EE | 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) |
2004 |
15 | EE | Malte Hübner,
Serge Autexier,
Christoph Benzmüller,
Andreas Meier:
Interactive Theorem Proving with Tasks.
Electr. Notes Theor. Comput. Sci. 103: 161-181 (2004) |
14 | EE | 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) |
2003 |
13 | | Quoc Bao Vo,
Christoph Benzmüller,
Serge Autexier:
Assertion Application in Theorem Proving and Proof Planning.
IJCAI 2003: 1343- |
12 | EE | Serge Autexier,
Carsten Schürmann:
Disproving False Conjectures.
LPAR 2003: 33-48 |
2002 |
11 | EE | Serge Autexier,
Dieter Hutter,
Till Mossakowski,
Axel Schairer:
The Development Graph Manager MAYA.
AMAST 2002: 495-501 |
10 | EE | Serge Autexier,
Till Mossakowski:
Integrating HOL-CASL into the Development Graph Manager MAYA.
FroCos 2002: 2-17 |
9 | EE | Serge Autexier,
Dieter Hutter:
Maintenance of Formal Software Developments by Stratified Verification.
LPAR 2002: 36-52 |
8 | EE | Carsten Schürmann,
Serge Autexier:
Towards Proof Planning for M-omega-plus.
Electr. Notes Theor. Comput. Sci. 70(2): (2002) |
2001 |
7 | EE | Till Mossakowski,
Serge Autexier,
Dieter Hutter:
Extending Development Graphs with Hiding.
FASE 2001: 269-283 |
6 | EE | Axel Schairer,
Serge Autexier,
Dieter Hutter:
A Pragmatic Approach to Reuse in Tactical Theorem Proving.
Electr. Notes Theor. Comput. Sci. 58(2): (2001) |
5 | EE | Serge Autexier:
A Proof-Planning Framework with Explicit Abstractions Based on Indexed Formulas.
Electr. Notes Theor. Comput. Sci. 58(2): (2001) |
2000 |
4 | EE | 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) |
1999 |
3 | EE | Serge Autexier,
Dieter Hutter,
Heiko Mantel,
Axel Schairer:
System Description: inka 5.0 - A Logic Voyager.
CADE 1999: 207-211 |
2 | | Serge Autexier,
Dieter Hutter,
Heiko Mantel,
Axel Schairer:
Towards an Evolutionary Formal Software-Development Using CASL.
WADT 1999: 73-88 |
1998 |
1 | | Serge Autexier,
Heiko Mantel,
Werner Stephan:
Simultaneous Quantifier Elimination.
KI 1998: 141-152 |