The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Serge Autexier: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer
    The Development Graph Manager MAYA. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:495-501 [Conf]
  2. Dieter Hutter, Serge Autexier
    Formal Software Development in MAYA. [Citation Graph (0, 0)][DBLP]
    Mechanizing Mathematical Reasoning, 2005, pp:407-432 [Conf]
  3. Serge Autexier
    The CoRe Calculus. [Citation Graph (0, 0)][DBLP]
    CADE, 2005, pp:84-98 [Conf]
  4. Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer
    System Description: inka 5.0 - A Logic Voyager. [Citation Graph (0, 0)][DBLP]
    CADE, 1999, pp:207-211 [Conf]
  5. Jürgen Zimmer, Serge Autexier
    The MathServe System for Semantic Web Reasoning Services. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2006, pp:140-144 [Conf]
  6. Till Mossakowski, Serge Autexier, Dieter Hutter
    Extending Development Graphs with Hiding. [Citation Graph (0, 0)][DBLP]
    FASE, 2001, pp:269-283 [Conf]
  7. Serge Autexier, Till Mossakowski
    Integrating HOL-CASL into the Development Graph Manager MAYA. [Citation Graph (0, 0)][DBLP]
    FroCos, 2002, pp:2-17 [Conf]
  8. Quoc Bao Vo, Christoph Benzmüller, Serge Autexier
    Assertion Application in Theorem Proving and Proof Planning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:1343-0 [Conf]
  9. Serge Autexier, Heiko Mantel, Werner Stephan
    Simultaneous Quantifier Elimination. [Citation Graph (0, 0)][DBLP]
    KI, 1998, pp:141-152 [Conf]
  10. Serge Autexier, Dieter Hutter
    Maintenance of Formal Software Developments by Stratified Verification. [Citation Graph (0, 0)][DBLP]
    LPAR, 2002, pp:36-52 [Conf]
  11. Serge Autexier, Carsten Schürmann
    Disproving False Conjectures. [Citation Graph (0, 0)][DBLP]
    LPAR, 2003, pp:33-48 [Conf]
  12. Serge Autexier, Dominik Dietrich
    Synthesizing Proof Planning Methods and Omega-Ants Agents from Mathematical Knowledge. [Citation Graph (0, 0)][DBLP]
    MKM, 2006, pp:94-109 [Conf]
  13. 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. [Citation Graph (0, 0)][DBLP]
    MKM, 2005, pp:126-142 [Conf]
  14. Serge Autexier, Armin Fiedler
    Textbook Proofs Meet Formal Logic - The Problem of Underspecification and Granularity. [Citation Graph (0, 0)][DBLP]
    MKM, 2005, pp:96-110 [Conf]
  15. Serge Autexier, Claudio Sacerdoti Coen
    A Formal Correspondence Between OMDoc with Alternative Proofs and the lambdaµµ-Calculus. [Citation Graph (0, 0)][DBLP]
    MKM, 2006, pp:67-81 [Conf]
  16. Serge Autexier
    On the Dynamic Increase of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2005, pp:48-62 [Conf]
  17. Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer
    Towards an Evolutionary Formal Software-Development Using CASL. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:73-88 [Conf]
  18. Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek, Quoc Bao Vo
    Assertion-level Proof Representation with Under-Specification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:93, n:, pp:5-23 [Journal]
  19. Malte Hübner, Serge Autexier, Christoph Benzmüller, Andreas Meier
    Interactive Theorem Proving with Tasks. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:103, n:, pp:161-181 [Journal]
  20. Carsten Schürmann, Serge Autexier
    Towards Proof Planning for M-omega-plus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:2, pp:- [Journal]
  21. Marc Wagner, Serge Autexier, Christoph Benzmüller
    PlatOmega: A Mediator between Text-Editors and Proof Assistance Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:2, pp:87-107 [Journal]
  22. Serge Autexier, Christoph Benzmüller
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:2, pp:1-2 [Journal]
  23. Serge Autexier, Iliano Cervesato, Heiko Mantel
    Preface to the special issue of selected papers from FCS/VERIFY 2002. [Citation Graph (0, 0)][DBLP]
    Int. J. Inf. Sec., 2005, v:4, n:1-2, pp:1- [Journal]
  24. Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier
    Computer supported mathematics with Omegamega. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2006, v:4, n:4, pp:533-559 [Journal]
  25. Till Mossakowski, Serge Autexier, Dieter Hutter
    Development graphs - Proof management for structured specifications. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2006, v:67, n:1-2, pp:114-145 [Journal]
  26. Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers
    VSE: formal methods meet industrial needs. [Citation Graph (0, 0)][DBLP]
    STTT, 2000, v:3, n:1, pp:66-77 [Journal]
  27. Serge Autexier
    A Proof-Planning Framework with Explicit Abstractions Based on Indexed Formulas. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:58, n:2, pp:- [Journal]
  28. Axel Schairer, Serge Autexier, Dieter Hutter
    A Pragmatic Approach to Reuse in Tactical Theorem Proving. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:58, n:2, pp:- [Journal]
  29. Christoph Benzmüller, Dominik Dietrich, Marvin Schiller, Serge Autexier
    Deep Inference for Automated Proof Tutoring? [Citation Graph (0, 0)][DBLP]
    KI, 2007, pp:435-439 [Conf]
  30. Serge Autexier, Armin Fiedler, Thomas Neumann, Marc Wagner
    Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems. [Citation Graph (0, 0)][DBLP]
    Calculemus/MKM, 2007, pp:176-190 [Conf]

  31. Preface -- Workshop Trustworthy Software 2006. [Citation Graph (, )][DBLP]


  32. Atomic Metadeduction. [Citation Graph (, )][DBLP]


  33. A Tactic Language for Declarative Proofs. [Citation Graph (, )][DBLP]


  34. Lectures on Jacques Herbrand as a Logician [Citation Graph (, )][DBLP]


  35. Towards Merging PlatOmega and PGIP. [Citation Graph (, )][DBLP]


  36. Preface. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002