Concepedia

Serge Autexier

SA

Statistics

Publications

19

Citations

445

H-Index

15

Active since

2000

Affiliations

German Research Centre for Artificial Intelligence(Current)

Saarland University

University of Bremen

University of Novi Sad

Siemens (Romania)

Serge Autexier is an author at German Research Centre for Artificial Intelligence specializing in computing, computer science, and formal methods.

Publications per year

2000–2025

19

Publications

19

Development graphs—Proof management for structured specifications

Till Mossakowski, Serge Autexier, Dieter Hutter · The Journal of Logic and Algebraic Programming · 2006 · 82 citations

Computing, Computer Science, Formal Methods +13

Computer supported mathematics with Ωmega

Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier · Journal of Applied Logic · 2005 · 43 citations

Natural Sciences, Mathematics, Physics +6

Scratch and Google Blockly

Mazyar Seraj, Eva-Sophie Katterfeldt, Kerstin Bub et al. · 2019 · 35 citations

Education, Computer Science, Educational Technology +12

Automated Discovery of Inductive Theorems

Roy McCasland, Alan Bundy, Serge Autexier · Edinburgh Research Explorer · 2007 · 26 citations · Full text

Computing, Computer Science, Mathematics +17

Artificial intelligence supporting cancer patients across Europe—The ASCAPE project

Lazaros Tzelves, Ioannis Manolitsis, Ioannis Varkarakis et al. · PLoS ONE · 2022 · 24 citations · Full text

Medicine, Health Informatics, Oncology +17

1–5 of 19