[go: up one dir, main page]

Follow
Serge Autexier
Title
Cited by
Cited by
Year
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
872006
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
811999
The development graph manager MAYA
S Autexier, D Hutter, T Mossakowski, A Schairer
International Conference on Algebraic Methodology and Software Technology …, 2002
732002
Computer supported mathematics with ΩMEGA
J Siekmann, C Benzmüller, S Autexier
Journal of Applied Logic 4 (4), 533-559, 2006
662006
System description: Inka 5.0-a logic voyager
S Autexier, D Hutter, H Mantel, A Schairer
International Conference on Automated Deduction, 207-211, 1999
641999
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
542019
The CrowdHEALTH project and the hollistic health records: Collective wisdom driving public health policies
D Kyriazis, S Autexier, M Boniface, V Engen, R Jimenez-Peris, B Jordan, ...
Acta Informatica Medica 27 (5), 369, 2019
502019
Extending development graphs with hiding
T Mossakowski, S Autexier, D Hutter
International Conference on Fundamental Approaches to Software Engineering …, 2001
422001
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
402007
Automated discovery of inductive theorems
R McCasland, A Bundy, A Serge
Studies in Logic, Grammar and Rhetoric 10 (23), 2007
392007
Hierarchical contextual reasoning
S Autexier
392003
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
392000
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
382004
Integrating HOL-CASL into the Development Graph Manager MAYA
S Autexier, T Mossakowski
International Workshop on Frontiers of Combining Systems, 2-17, 2002
382002
Crowdhealth: Holistic health records and big data analytics for health policy making and personalized health
D Kyriazis, S Autexier, I Brondino, M Boniface, L Donat, V Engen, ...
Informatics Empowers Healthcare Transformation, 19-23, 2017
352017
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
352005
BEESM, a block-based educational programming tool for end users
M Seraj, S Autexier, J Janssen
Proceedings of the 10th Nordic Conference on Human-Computer Interaction, 886-891, 2018
322018
Artificial intelligence supporting cancer patients across Europe—The ASCAPE project
L Tzelves, I Manolitsis, I Varkarakis, M Ivanovic, M Kokkonidis, CS Useros, ...
PLoS One 17 (4), e0265127, 2022
312022
The CoRe Calculus
S Autexier
International Conference on Automated Deduction, 84-98, 2005
312005
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
292010
The system can't perform the operation now. Try again later.
Articles 1–20