Serge Autexier Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1David Aspinall [36]
2Christoph Benzmüller (Christoph Benzmueller) [13] [14] [15] [20] [23] [29] [30] [31] [33] [37] [38]
3John Campbell [35]
4Iliano Cervesato [16]
5Claudio Sacerdoti Coen [26]
6Dominik Dietrich [20] [25] [31] [33] [39]
7Armin Fiedler [14] [19] [32]
8Helmut Horacek [14]
9Malte Hübner [15]
10Dieter Hutter [2] [3] [4] [6] [7] [9] [11] [18] [22]
11Bruno Langenstein [4]
12Christoph Lüth [36]
13Heiko Mantel [1] [2] [3] [4] [16] [34]
14Andreas Meier [15] [20]
15Stephan Merz [24] [28] [34]
16Till Mossakowski [7] [10] [11] [22]
17Thomas Neumann [32]
18Tobias Nipkow [34]
19Georg Rock [4]
20Julio Rubio (Julio Rubio Garcia) [35]
21Axel Schairer [2] [3] [4] [6] [11]
22Marvin Schiller [31]
23Carsten Schürmann [8] [12]
24Jörg H. Siekmann [23] [38]
25Volker Sorge [35]
26Werner Stephan [1] [4]
27Masakazu Suzuki [35]
28Leendert W. N. van der Torre (Leendert van der Torre) [24] [28]
29Quoc Bao Vo [13] [14]
30Roland Vogt [4]
31Marc Wagner [29] [32] [33] [36]
32Freek Wiedijk [35]
33Reinhard Wilhelm [24] [28]
34Claus-Peter Wirth [20] [38]
35Pierre Wolper [24] [28]
36Andreas Wolpers [4]
37Jürgen Zimmer [27]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)