Serge Autexier

ORCID

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 27

Top Venues

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Konstantinos Lampropoulos, Thanos Kosmidis, Serge Autexier, Milos Savic, Manos Athanatos, Miltiadis Kokkonidis, Tzortzia Koutsouri, Anamaria Vizitiu, Antonios Valachis, Miriam Quintero Padron
ASCAPE: An open AI ecosystem to support the quality of life of cancer patients. CoRR (2023)
Mirjana Ivanovic, Serge Autexier, Miltiadis Kokkonidis, Johannes Rust
Quality medical data management within an open AI architecture - cancer patients case. Connect. Sci. 35 (1) (2023)
Milos Savic, Vladimir Kurbalija, Mihailo Ilic, Mirjana Ivanovic, Dusan Jakovetic, Antonios Valachis, Serge Autexier, Johannes Rust, Thanos Kosmidis
The application of machine learning techniques in prediction of quality of life features for cancer patients. Comput. Sci. Inf. Syst. 20 (1) (2023)
Christian Mandel, Kathrin Stich, Serge Autexier, Christoph Lüth, Ariane Ziehn, Karin Hochbaum, Rolf Dembinski, Christoph Int-Veen
Using Gated Recurrent Unit Networks for the Prediction of Hemodynamic and Pulmonary Decompensation. EMBC (2022)
Mirjana Ivanovic, Serge Autexier, Miltiadis Kokkonidis
AI Approaches in Processing and Using Data in Personalized Medicine. ADBIS (2022)
Johannes Rust, Serge Autexier
Causal Inference for Personalized Treatment Effect Estimation for given Machine Learning Models. ICMLA (2022)
Hanns-Peter Horn, Matthias Nadig, Johannes Hackbarth, Christian Willms, Caspar Jacob, Serge Autexier, Tim Schwartz, Ivana Kruijff-Korbayová
Iterative User-Centric Development of Mobile Robotic Systems with Intuitive Multimodal Human-Robot Interaction in a Clinic Environment. RO-MAN (2022)
Mirjana Ivanovic, Serge Autexier, Miltiadis Kokkonidis
AI Approaches in Processing and Using Data in Personalized Medicine. CoRR (2022)
Frank Beruscha, Katharina Lorenz, Anke Königschulte, Serge Autexier, Annika Sabrina Schulz, Bodo Pahlke, Valerie Bartsch, Hendrik Leibrandt
Connecting Textiles: Exploring Textile Interior Surfaces for Power Supply, Communication and User Interaction in the IoT. IOT (2022)
Bernd Krieg-Brückner, Serge Autexier, Mihai Pomarlan
The BAALL Ontology - Configuration of Service Robots, Food, and Diet. JOWO (2021)
Konstantinos Lampropoulos, Thanos Kosmidis, Serge Autexier, Milos Savic, Manos Athanatos, Miltiadis Kokkonidis, Tzortzia Koutsouri, Anamaria Vizitiu, Antonios Valachis, Miriam Quintero Padron
ASCAPE: An open AI ecosystem to support the quality of life of cancer patients. ICHI (2021)
Milos Savic, Vladimir Kurbalija, Mihailo Ilic, Mirjana Ivanovic, Dusan Jakovetic, Antonios Valachis, Serge Autexier, Johannes Rust, Thanos Kosmidis
Analysis of Machine Learning Models Predicting Quality of Life for Cancer Patients. MEDES (2021)
Mazyar Seraj, Eva-Sophie Katterfeldt, Serge Autexier, Rolf Drechsler
Impacts of Creating Smart Everyday Objects on Young Female Students' Programming Skills and Attitudes. SIGCSE (2020)
Mazyar Seraj, Cornelia S. Große, Serge Autexier, Rolf Drechsler
Look what I can do: acquisition of programming skills in the context of living labs. ICSE (SEET) (2019)
Mazyar Seraj, Cornelia S. Große, Serge Autexier, Rolf Drechsler
Smart Homes Programming: Development and Evaluation of an Educational Programming Application for Young Learners. IDC (2019)
Parisis Gallos, Santiago Aso, Serge Autexier, Arturo Brotons, Antonio De Nigro, Gregor Jurak, Athanasios Kiourtis, Pavlos Kranas, Dimosthenis Kyriazis, Mitja Lustrek, Andrianna Magdalinou, Ilias Maglogiannis, John Mantas, Antonio Martinez, Andreas Menychtas, Lydia Montandon, Florin Picioroaga, Manuel Perez, Dalibor Stanimirovic, Gregor Starc, Tanja Tomson, Ruth Vilar-Mateo, Ana-Maria Vizitiu
CrowdHEALTH: Big Data Analytics and Holistic Health Records. EFMI-STC (2019)
Mazyar Seraj, Eva-Sophie Katterfeldt, Kerstin Bub, Serge Autexier, Rolf Drechsler
Scratch and Google Blockly: How Girls' Programming Skills and Attitudes are Influenced. Koli Calling (2019)
Serge Autexier
"Es werden vermutlich vor allem Teilassistenzen immer mehr im privaten und beruflichen Alltag Einzug halten". Wirtschaftsinformatik Manag. 11 (3) (2019)
Mazyar Seraj, Serge Autexier, Jan Janssen
BEESM, a block-based educational programming tool for end users. NordiCHI (2018)
Dimosthenis Kyriazis, Serge Autexier, Ivan Brondino, Michael J. Boniface, Lucas Donat, Vegard Engen, Rafael Fernandez, Ricardo Jiménez-Peris, Blanca Jordan, Gregor Jurak, Athanasios Kiourtis, Thanos Kosmidis, Mitja Lustrek, Ilias Maglogiannis, John Mantas, Antonio Martinez, Argyro Mavrogiorgou, Andreas Menychtas, Lydia Montandon, Cosmin-Septimiu Nechifor, Sokratis Nifakos, Alexandra Papageorgiou, Marta Patiño-Martínez, Manuel Perez, Vassilis P. Plagianakos, Dalibor Stanimirovic, Gregor Starc, Tanja Tomson, Francesco Torelli, Vicente Traver Salcedo, George Vassilacopoulos, Usman Wajid
CrowdHEALTH: Holistic Health Records and Big Data Analytics for Health Policy Making and Personalized Health. ICIMTH (2017)
Christian Mandel, Serge Autexier
People Tracking in Ambient Assisted Living Environments Using Low-Cost Thermal Image Cameras. ICOST (2016)
Rolf Drechsler, Serge Autexier, Christoph Lüth
Model-Based Specification and Refinement for Cyber-Physical Systems. LDIC (2016)
Serge Autexier, Dieter Hutter
SHIP - A Logic-Based Language and Tool to Program Smart Environments. LOPSTR (2015)
Bernd Krieg-Brückner, Serge Autexier, Martin Rink, Sidoine Ghomsi Nokam
Formal Modelling for Cooking Assistance. Software, Services, and Systems (2015)
Serge Autexier, Dieter Hutter
Structure Formation in Large Theories. CoRR (2015)
Serge Autexier
Similarity-Based Diff, Three-Way Diff and Merge. Int. J. Softw. Informatics 9 (2) (2015)
Serge Autexier, Dieter Hutter
Structure Formation in Large Theories. CICM (2015)
Serge Autexier, Dieter Hutter, Christoph Stahl
An Implementation, Execution and Simulation Platform for Processes in Heterogeneous Smart Environments. AmI (2013)
Serge Autexier, Dieter Hutter, Christian Mandel, Christoph Stahl
SHIP-Tool Live: Orchestrating the Activities in the Bremen Ambient Assisted Living Lab - (Demo). AmI (2013)
Serge Autexier, Dieter Hutter
Constructive DL Update and Reasoning for Modeling and Executing the Orchestration of Heterogeneous Processes. Description Logics (2013)
Serge Autexier, Dieter Hutter
Structure Formation to Modularize Ontologies. WoMO (2012)
Serge Autexier, Dominik Dietrich, Dieter Hutter, Christoph Lüth, Christian Maeder
SmartTies - Management of Safety-Critical Developments. ISoLA (1) (2012)
Serge Autexier, Dominik Dietrich, Marvin R. G. Schiller
Towards an Intelligent Tutor for Mathematical Proofs ThEdu (2011)
Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev
Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics CoRR (2011)
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)
Serge Autexier, Dieter Hutter, Till Mossakowski
Change Management for Heterogeneous Development Graphs. Verification, Induction, Termination Analysis (2010)
Serge Autexier, Christoph Lüth
Adding Change Impact Analysis to the Formal Verification of C Programs. IFM (2010)
Serge Autexier, Dominik Dietrich
A Tactic Language for Declarative Proofs. ITP (2010)
Serge Autexier, Dominik Dietrich
Recent developments in mega's proof search programming language. ACM Commun. Comput. Algebra 44 (1/2) (2010)
Serge Autexier, Petr Sojka, Masakazu Suzuki
Foreword to the Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge. Math. Comput. Sci. 3 (3) (2010)
Serge Autexier, Normen Müller
Semantics-based change impact analysis for heterogeneous collections of documents. ACM Symposium on Document Engineering (2010)
Claus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier
Lectures on Jacques Herbrand as a Logician CoRR (2009)
Serge Autexier, Dominik Dietrich
Atomic Metadeduction. KI (2009)
Serge Autexier, Christoph Benzmüller
Preface. Electron. Notes Theor. Comput. Sci. 226 (2009)
David Aspinall, Serge Autexier, Christoph Lüth, Marc Wagner
Towards Merging PlatOmega and PGIP. Electron. Notes Theor. Comput. Sci. 226 (2009)
Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Marc Wagner
Organization, Transformation, and Propagation of Mathematical Knowledge in Omegamega. Math. Comput. Sci. 2 (2) (2008)
Serge Autexier, Heiko Mantel, Stephan Merz, Tobias Nipkow
Preface. J. Autom. Reason. 41 (3-4) (2008)
Serge Autexier, Armin Fiedler, Thomas Neumann, Marc Wagner
Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems. Calculemus/MKM (2007)
Serge Autexier, Christoph Benzmüller
Preface. Electron. Notes Theor. Comput. Sci. 174 (2) (2007)
Christoph Benzmüller, Dominik Dietrich, Marvin R. G. Schiller, Serge Autexier
Deep Inference for Automated Proof Tutoring? KI (2007)
Marc Wagner, Serge Autexier, Christoph Benzmüller
PlatOmega: A Mediator between Text-Editors and Proof Assistance Systems. Electron. Notes Theor. Comput. Sci. 174 (2) (2007)
Serge Autexier, Claudio Sacerdoti Coen
A Formal Correspondence Between OMDoc with Alternative Proofs and the lambdaµµ-Calculus. MKM (2006)
Till Mossakowski, Serge Autexier, Dieter Hutter
Development graphs - Proof management for structured specifications. J. Log. Algebraic Methods Program. 67 (1-2) (2006)
Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper
Preface -- Workshop Trustworthy Software 2006. Trustworthy Software (2006)
Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier
Computer supported mathematics with Omegamega. J. Appl. Log. 4 (4) (2006)
Serge Autexier, Dominik Dietrich
Synthesizing Proof Planning Methods and Omega-Ants Agents from Mathematical Knowledge. MKM (2006)
Jürgen Zimmer, Serge Autexier
The MathServe System for Semantic Web Reasoning Services. IJCAR (2006)
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)
Serge Autexier, Armin Fiedler
Textbook Proofs Meet Formal Logic - The Problem of Underspecification and Granularity. MKM (2005)
Serge Autexier
The CoRe Calculus. CADE (2005)
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) (2005)
Dieter Hutter, Serge Autexier
Formal Software Development in MAYA. Mechanizing Mathematical Reasoning (2005)
Serge Autexier
On the Dynamic Increase of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic. TABLEAUX (2005)
Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek, Quoc Bao Vo
Assertion-level Proof Representation with Under-Specification. Electron. Notes Theor. Comput. Sci. 93 (2004)
Malte Hübner, Serge Autexier, Christoph Benzmüller, Andreas Meier
Interactive Theorem Proving with Tasks. Electron. Notes Theor. Comput. Sci. 103 (2004)
Quoc Bao Vo, Christoph Benzmüller, Serge Autexier
Assertion Application in Theorem Proving and Proof Planning. IJCAI (2003)
Serge Autexier, Carsten Schürmann
Disproving False Conjectures. LPAR (2003)
Serge Autexier, Till Mossakowski
Integrating HOL-CASL into the Development Graph Manager MAYA. FroCoS (2002)
Serge Autexier, Dieter Hutter
Maintenance of Formal Software Developments by Stratified Verification. LPAR (2002)
Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer
The Development Graph Manager MAYA. AMAST (2002)
Carsten Schürmann, Serge Autexier
. Electron. Notes Theor. Comput. Sci. 70 (2) (2002)
Axel Schairer, Serge Autexier, Dieter Hutter
A Pragmatic Approach to Reuse in Tactical Theorem Proving. Electron. Notes Theor. Comput. Sci. 58 (2) (2001)
Till Mossakowski, Serge Autexier, Dieter Hutter
Extending Development Graphs with Hiding. FASE (2001)
Serge Autexier
A Proof-Planning Framework with Explicit Abstractions Based on Indexed Formulas. Electron. Notes Theor. Comput. Sci. 58 (2) (2001)
Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers
VSE: formal methods meet industrial needs. Int. J. Softw. Tools Technol. Transf. 3 (1) (2000)
Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer
Towards an Evolutionary Formal Software-Development Using CASL. WADT (1999)
Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer
System Description: inka 5.0 - A Logic Voyager. CADE (1999)
Serge Autexier, Heiko Mantel, Werner Stephan
Simultaneous Quantifier Elimination. KI (1998)

Serge Autexier.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Serge Autexier