Serge Autexier
Cited by
Cited by
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
Towards an evolutionary formal software-development using CASL
S Autexier, D Hutter, H Mantel, A Schairer
Recent Trends in Algebraic Development Techniques: 14th International …, 2000
The development graph manager MAYA
S Autexier, D Hutter, T Mossakowski, A Schairer
Algebraic Methodology and Software Technology: 9th International Conference …, 2002
System description: Inka 5.0-a logic voyager
S Autexier, D Hutter, H Mantel, A Schairer
CADE, 207-211, 1999
Computer supported mathematics with ΩMEGA
J Siekmann, C Benzmüller, S Autexier
Journal of Applied Logic 4 (4), 533-559, 2006
Extending development graphs with hiding
T Mossakowski, S Autexier, D Hutter
Fundamental Approaches to Software Engineering: 4th International Conference …, 2001
Integrating HOL-CASL into the Development Graph Manager MAYA
S Autexier, T Mossakowski
Frontiers of Combining Systems: 4th International Workshop, FroCoS 2002 …, 2002
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, 66-77, 2000
Automated discovery of inductive theorems
R McCasland, A Bundy, S Autexier
Special Issue of Studies in Logic, Grammar and Rhetoric on Computer …, 2007
A generic modular data structure for proof attempts alternating on ideas and granularity
S Autexier, C Benzmüller, D Dietrich, A Meier, CP Wirth
Mathematical Knowledge Management: 4th International Conference, MKM 2005 …, 2006
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
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
Hierarchical contextual reasoning
S Autexier
Scratch and Google Blockly: How girls' programming skills and attitudes are influenced
M Seraj, ES Katterfeldt, K Bub, S Autexier, R Drechsler
Proceedings of the 19th Koli Calling International Conference on Computing …, 2019
The CoRe Calculus
S Autexier
Automated Deduction–CADE-20: 20th International Conference on Automated …, 2005
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
Intelligent computer mathematics
S Autexier, J Campbell, J Rubio, V Sorge, M Suzuki, F Wiedijk
Springer, 2008
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: 14th Symposium, Calculemus 2007 …, 2007
The MathServe system for semantic web reasoning services
J Zimmer, S Autexier
Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006
Crowdhealth: Holistic health records and big data analytics for health policy making and personalized health
S KBioAssist, D Kyriazis, S Autexier, I Brondino, M Boniface, L Donat, ...
Informatics Empowers Healthcare Transformation 238, 19, 2017
The system can't perform the operation now. Try again later.
Articles 1–20