| 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 |
