Serge Autexier
TitleCited byYear
Development graphs—proof management for structured specifications
T Mossakowski, S Autexier, D Hutter
The Journal of Logic and Algebraic Programming 67 (1-2), 114-145, 2006
812006
The development graph manager MAYA
S Autexier, D Hutter, T Mossakowski, A Schairer
International Conference on Algebraic Methodology and Software Technology …, 2002
732002
Towards an evolutionary formal software-development using CASL
S Autexier, D Hutter, H Mantel, A Schairer
International Workshop on Algebraic Development Techniques, 73-88, 1999
721999
System description: Inka 5.0-a logic voyager
S Autexier, D Hutter, H Mantel, A Schairer
International Conference on Automated Deduction, 207-211, 1999
611999
Computer supported mathematics with ΩMEGA
J Siekmann, C Benzmüller, S Autexier
Journal of Applied Logic 4 (4), 533-559, 2006
582006
Extending development graphs with hiding
T Mossakowski, S Autexier, D Hutter
International Conference on Fundamental Approaches to Software Engineering …, 2001
412001
VSE: Formal methods meet industrial needs
S Autexier, D Hutter, B Langenstein, H Mantel, G Rock, A Schairer, ...
International Journal on Software Tools for Technology Transfer 3 (1), 66-77, 2000
352000
Integrating HOL-CASL into the Development Graph Manager MAYA
S Autexier, T Mossakowski
International Workshop on Frontiers of Combining Systems, 2-17, 2002
332002
PlatΩ: A mediator between text-editors and proof assistance systems
M Wagner, S Autexier, C Benzmüller
Electronic Notes in Theoretical Computer Science 174 (2), 87-107, 2007
322007
Automated discovery of inductive theorems
R McCasland, A Bundy, S Autexier
Special Issue of Studies in Logic, Grammar and Rhetoric on Computer …, 2007
322007
A generic modular data structure for proof attempts alternating on ideas and granularity
S Autexier, C Benzmüller, D Dietrich, A Meier, CP Wirth
International Conference on Mathematical Knowledge Management, 126-142, 2005
322005
Assertion-level proof representation with under-specification
S Autexier, C Benzmüller, A Fiedler, H Horacek, BQ Vo
Electronic Notes in Theoretical Computer Science 93, 5-23, 2004
322004
Hierarchical contextual reasoning
S Autexier
312003
The MathServe system for semantic web reasoning services
J Zimmer, S Autexier
International Joint Conference on Automated Reasoning, 140-144, 2006
262006
The CORE calculus
S Autexier
International Conference on Automated Deduction, 84-98, 2005
262005
Semantics-based change impact analysis for heterogeneous collections of documents
S Autexier, N Müller
Proceedings of the 10th ACM symposium on Document engineering, 97-106, 2010
252010
Supporting user-defined notations when integrating scientific text-editors with proof assistance systems
S Autexier, A Fiedler, T Neumann, M Wagner
Towards Mechanized Mathematical Assistants, 176-190, 2007
252007
Intelligent Computer Mathematics
SAJ Calmet, DDPDF Ion, LRR Rioboo, AP Sexton
23*2008
Assertion application in theorem proving and proof planning
QB Vo, C Benzmuller, S Autexier
INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE 18, 1343-1346, 2003
182003
Formal software development in Maya
D Hutter, S Autexier
Mechanizing Mathematical Reasoning, 407-432, 2005
172005
The system can't perform the operation now. Try again later.
Articles 1–20