Serge Autexier

	2009
39		Serge Autexier, Dominik Dietrich: Atomic Metadeduction. KI 2009: 444-451
38		Claus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier: Lectures on Jacques Herbrand as a Logician CoRR abs/0902.4682: (2009)
37		Serge Autexier, Christoph Benzmüller: Preface. Electr. Notes Theor. Comput. Sci. 226: 1-2 (2009)
36		David Aspinall, Serge Autexier, Christoph Lüth, Marc Wagner: Towards Merging PlatOmega and PGIP. Electr. Notes Theor. Comput. Sci. 226: 3-21 (2009)
	2008
35		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
34		Serge Autexier, Heiko Mantel, Stephan Merz, Tobias Nipkow: Preface. J. Autom. Reasoning 41(3-4): 191-192 (2008)
33		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)
	2007
32		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		Christoph Benzmüller, Dominik Dietrich, Marvin Schiller, Serge Autexier: Deep Inference for Automated Proof Tutoring? KI 2007: 435-439
30		Serge Autexier, Christoph Benzmüller: Preface. Electr. Notes Theor. Comput. Sci. 174(2): 1-2 (2007)
29		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		Jürgen Zimmer, Serge Autexier: The MathServe System for Semantic Web Reasoning Services. IJCAR 2006: 140-144
26		Serge Autexier, Claudio Sacerdoti Coen: A Formal Correspondence Between OMDoc with Alternative Proofs and the lambdaµµ-Calculus. MKM 2006: 67-81
25		Serge Autexier, Dominik Dietrich: Synthesizing Proof Planning Methods and Omega-Ants Agents from Mathematical Knowledge. MKM 2006: 94-109
24		Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper: Preface -- Workshop Trustworthy Software 2006. Trustworthy Software 2006
23		Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier: Computer supported mathematics with Omegamega. J. Applied Logic 4(4): 533-559 (2006)
22		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		Serge Autexier: The CoRe Calculus. CADE 2005: 84-98
20		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		Serge Autexier, Armin Fiedler: Textbook Proofs Meet Formal Logic - The Problem of Underspecification and Granularity. MKM 2005: 96-110
18		Dieter Hutter, Serge Autexier: Formal Software Development in MAYA. Mechanizing Mathematical Reasoning 2005: 407-432
17		Serge Autexier: On the Dynamic Increase of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic. TABLEAUX 2005: 48-62
16		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		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		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		Serge Autexier, Carsten Schürmann: Disproving False Conjectures. LPAR 2003: 33-48
	2002
11		Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer: The Development Graph Manager MAYA. AMAST 2002: 495-501
10		Serge Autexier, Till Mossakowski: Integrating HOL-CASL into the Development Graph Manager MAYA. FroCos 2002: 2-17
9		Serge Autexier, Dieter Hutter: Maintenance of Formal Software Developments by Stratified Verification. LPAR 2002: 36-52
8		Carsten Schürmann, Serge Autexier: Towards Proof Planning for M-omega-plus. Electr. Notes Theor. Comput. Sci. 70(2): (2002)
	2001
7		Till Mossakowski, Serge Autexier, Dieter Hutter: Extending Development Graphs with Hiding. FASE 2001: 269-283
6		Axel Schairer, Serge Autexier, Dieter Hutter: A Pragmatic Approach to Reuse in Tactical Theorem Proving. Electr. Notes Theor. Comput. Sci. 58(2): (2001)
5		Serge Autexier: A Proof-Planning Framework with Explicit Abstractions Based on Indexed Formulas. Electr. Notes Theor. Comput. Sci. 58(2): (2001)
	2000
4		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		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

Coauthor Index

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

Colors in the list of coauthors