Serge Autexier

	2011
49		Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev: Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics. Calculemus/MKM 2011: 164-179
48		Serge Autexier, Dominik Dietrich, Marvin Schiller: Towards an Intelligent Tutor for Mathematical Proofs THedu'11 2011: 1-28
47		Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev: Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics CoRR abs/1105.2392: (2011)
	2010
46		Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton: Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings Springer 2010
45		Serge Autexier, Normen Müller: Semantics-based change impact analysis for heterogeneous collections of documents. ACM Symposium on Document Engineering 2010: 97-106
44		Serge Autexier, Christoph Lüth: Adding Change Impact Analysis to the Formal Verification of C Programs. IFM 2010: 59-73
43		Serge Autexier, Dominik Dietrich: A Tactic Language for Declarative Proofs. ITP 2010: 99-114
42		Serge Autexier, Dieter Hutter, Till Mossakowski: Change Management for Heterogeneous Development Graphs. Verification, Induction, Termination Analysis 2010: 54-80
41		Serge Autexier, Petr Sojka, Masakazu Suzuki: Foreword to the Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge. Mathematics in Computer Science 3(3): 225-226 (2010)
	2009
40		Serge Autexier, Dominik Dietrich: Atomic Metadeduction. KI 2009: 444-451
39		Claus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier: Lectures on Jacques Herbrand as a Logician CoRR abs/0902.4682: (2009)
38		Serge Autexier, Christoph Benzmüller: Preface. Electr. Notes Theor. Comput. Sci. 226: 1-2 (2009)
37		David Aspinall, Serge Autexier, Christoph Lüth, Marc Wagner: Towards Merging PlatOmega and PGIP. Electr. Notes Theor. Comput. Sci. 226: 3-21 (2009)
	2008
36		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
35		Serge Autexier, Heiko Mantel, Stephan Merz, Tobias Nipkow: Preface. J. Autom. Reasoning 41(3-4): 191-192 (2008)
34		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
33		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
32		Christoph Benzmüller, Dominik Dietrich, Marvin Schiller, Serge Autexier: Deep Inference for Automated Proof Tutoring? KI 2007: 435-439
31		Serge Autexier, Christoph Benzmüller: Preface. Electr. Notes Theor. Comput. Sci. 174(2): 1-2 (2007)
30		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
29		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
28		Jürgen Zimmer, Serge Autexier: The MathServe System for Semantic Web Reasoning Services. IJCAR 2006: 140-144
27		Serge Autexier, Claudio Sacerdoti Coen: A Formal Correspondence Between OMDoc with Alternative Proofs and the lambdaµµ-Calculus. MKM 2006: 67-81
26		Serge Autexier, Dominik Dietrich: Synthesizing Proof Planning Methods and Omega-Ants Agents from Mathematical Knowledge. MKM 2006: 94-109
25		Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper: Preface -- Workshop Trustworthy Software 2006. Trustworthy Software 2006
24		Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier: Computer supported mathematics with Omegamega. J. Applied Logic 4(4): 533-559 (2006)
23		Till Mossakowski, Serge Autexier, Dieter Hutter: Development graphs - Proof management for structured specifications. J. Log. Algebr. Program. 67(1-2): 114-145 (2006)
	2005
22		Serge Autexier: The CoRe Calculus. CADE 2005: 84-98
21		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
20		Serge Autexier, Armin Fiedler: Textbook Proofs Meet Formal Logic - The Problem of Underspecification and Granularity. MKM 2005: 96-110
19		Dieter Hutter, Serge Autexier: Formal Software Development in MAYA. Mechanizing Mathematical Reasoning 2005: 407-432
18		Serge Autexier: On the Dynamic Increase of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic. TABLEAUX 2005: 48-62
17		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
16		Malte Hübner, Serge Autexier, Christoph Benzmüller, Andreas Meier: Interactive Theorem Proving with Tasks. Electr. Notes Theor. Comput. Sci. 103: 161-181 (2004)
15		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)
14		Serge Autexier: Hierarchical contextual reasoning. Saarland University 2004: 1-229
	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ω+. Electr. Notes Theor. Comput. Sci. 70(2): 124-145 (2002)
	2001
7		Till Mossakowski, Serge Autexier, Dieter Hutter: Extending Development Graphs with Hiding. FASE 2001: 269-283
6		Serge Autexier: A Proof-Planning Framework with Explicit Abstractions Based on Indexed Formulas. Electr. Notes Theor. Comput. Sci. 58(2): 189-202 (2001)
5		Axel Schairer, Serge Autexier, Dieter Hutter: A Pragmatic Approach to Reuse in Tactical Theorem Proving. Electr. Notes Theor. Comput. Sci. 58(2): 203-216 (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	[37]
2	Christoph Benzmüller (Christoph Benzmueller)	[13] [15] [16] [21] [24] [30] [31] [32] [34] [38] [39]
3	Jacques Calmet	[46]
4	John Campbell	[36]
5	Iliano Cervesato	[17]
6	Claudio Sacerdoti Coen	[27]
7	Catalin David	[47] [49]
8	David Delahaye	[46]
9	Dominik Dietrich	[21] [26] [32] [34] [40] [43] [47] [48] [49]
10	Armin Fiedler	[15] [20] [33]
11	Helmut Horacek	[15]
12	Malte Hübner	[16]
13	Dieter Hutter	[2] [3] [4] [5] [7] [9] [11] [19] [23] [42]
14	Patrick D. F. Ion	[46]
15	Michael Kohlhase	[47] [49]
16	Bruno Langenstein	[4]
17	Christoph Lüth	[37] [44]
18	Heiko Mantel	[1] [2] [3] [4] [17] [35]
19	Andreas Meier	[16] [21]
20	Stephan Merz	[25] [29] [35]
21	Till Mossakowski	[7] [10] [11] [23] [42]
22	Normen Müller	[45]
23	Thomas Neumann	[33]
24	Tobias Nipkow	[35]
25	Laurence Rideau	[46]
26	Renaud Rioboo	[46]
27	Georg Rock	[4]
28	Julio Rubio (Julio Rubio Garcia)	[36]
29	Axel Schairer	[2] [3] [4] [5] [11]
30	Marvin Schiller	[32] [48]
31	Carsten Schürmann	[8] [12]
32	Alan P. Sexton	[46]
33	Jörg H. Siekmann	[24] [39]
34	Petr Sojka	[41]
35	Volker Sorge	[36]
36	Werner Stephan	[1] [4]
37	Masakazu Suzuki	[36] [41]
38	Leendert W. N. van der Torre (Leendert van der Torre, Leon van der Torre)	[25] [29]
39	Quoc Bao Vo	[13] [15]
40	Roland Vogt	[4]
41	Marc Wagner	[30] [33] [34] [37]
42	Freek Wiedijk	[36]
43	Reinhard Wilhelm	[25] [29]
44	Claus-Peter Wirth	[21] [39]
45	Pierre Wolper	[25] [29]
46	Andreas Wolpers	[4]
47	Vyacheslav Zholudev	[47] [49]
48	Jürgen Zimmer	[28]

Last update Thu May 24 01:13:30 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page