Serge Autexier

According to our database, Serge Autexier authored at least 81 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Co-designing a Tangible Communication Device to Enrich Communication over Distance.

Hannah Friederike Fischer, Anke Königschulte, Jana Koch, Serge Autexier, Gesche Joost

Proceedings of the Companion Proceedings of the 2024 Conference on Interactive Surfaces and Spaces, 2024

Synergies Among Health Data Projects with Cancer Use Cases Based on Health Standards.

Amelie Gyrard, Philip Gribbon, Rada Hussein, Somayeh Abedian, Luis Marti Bonmati, Gibi Luisa Cabornero, George Manias, Gabriel Danciu, Stefano Dalmiani, Serge Autexier, Rick van Nuland, Mario Jendrossek, Ioannis Avramidis, Eva García Álvarez

Proceedings of the Digital Health and Informatics Innovations for Sustainable Health Care Systems, 2024

On Using Large Language Models Pre-trained on Digital Twins as Oracles to Foster the Use of Formal Methods in Practice.

Serge Autexier

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024

2023

Quality medical data management within an open AI architecture - cancer patients case.

Mirjana Ivanovic, Serge Autexier, Miltiadis Kokkonidis, Johannes Rust

Connect. Sci., December, 2023

The application of machine learning techniques in prediction of quality of life features for cancer patients.

Milos Savic, Vladimir Kurbalija, Mihailo Ilic, Mirjana Ivanovic, Dusan Jakovetic, Antonios Valachis, Serge Autexier, Johannes Rust, Thanos Kosmidis

Comput. Sci. Inf. Syst., 2023

2022

Iterative User-Centric Development of Mobile Robotic Systems with Intuitive Multimodal Human-Robot Interaction in a Clinic Environment.

Hanns-Peter Horn, Matthias Nadig, Johannes Hackbarth, Christian Willms, Caspar Jacob, Serge Autexier, Tim Schwartz, Ivana Kruijff-Korbayová

Proceedings of the 31st IEEE International Conference on Robot and Human Interactive Communication, 2022

Connecting Textiles: Exploring Textile Interior Surfaces for Power Supply, Communication and User Interaction in the IoT.

Frank Beruscha, Katharina Lorenz, Anke Königschulte, Serge Autexier, Annika Sabrina Schulz, Bodo Pahlke, Valerie Bartsch, Hendrik Leibrandt

Proceedings of the 12th International Conference on the Internet of Things, 2022

Causal Inference for Personalized Treatment Effect Estimation for given Machine Learning Models.

Johannes Rust, Serge Autexier

Proceedings of the 21st IEEE International Conference on Machine Learning and Applications, 2022

Using Gated Recurrent Unit Networks for the Prediction of Hemodynamic and Pulmonary Decompensation.

Christian Mandel, Kathrin Stich, Serge Autexier, Christoph Lüth, Ariane Ziehn, Karin Hochbaum, Rolf Dembinski, Christoph Int-Veen

Proceedings of the 44th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2022

AI Approaches in Processing and Using Data in Personalized Medicine.

Mirjana Ivanovic, Serge Autexier, Miltiadis Kokkonidis

Proceedings of the Advances in Databases and Information Systems, 2022

Klinische Evaluation eines Rollatormoduls zur sensorgestützten Haltungs- und Gangmustererkennung.

Amit Choudhury, Christian Mandel, Karin Hochbaum, Serge Autexier, Christoph Budelmann

Proceedings of the Künstliche Intelligenz im Gesundheitswesen: Entwicklungen, 2022

Das Bremen Ambient Assisted Living Lab und darüber hinaus - Intelligente Umgebungen, smarte Services und Künstliche Intelligenz in der Medizin für den Menschen.

Serge Autexier, Christoph Lüth, Rolf Drechsler

Proceedings of the Künstliche Intelligenz im Gesundheitswesen: Entwicklungen, 2022

2021

Analysis of Machine Learning Models Predicting Quality of Life for Cancer Patients.

Milos Savic, Vladimir Kurbalija, Mihailo Ilic, Mirjana Ivanovic, Dusan Jakovetic, Antonios Valachis, Serge Autexier, Johannes Rust, Thanos Kosmidis

Proceedings of the MEDES '21: Proceedings of the 13th International Conference on Management of Digital EcoSystems, Virtual Event, Tunisia, November 1, 2021

The BAALL Ontology - Configuration of Service Robots, Food, and Diet.

Bernd Krieg-Brückner, Serge Autexier, Mihai Pomarlan

Proceedings of the Joint Ontology Workshops 2021 Episode VII: The Bolzano Summer of Knowledge co-located with the 12th International Conference on Formal Ontology in Information Systems (FOIS 2021), 2021

ASCAPE: An open AI ecosystem to support the quality of life of cancer patients.

Konstantinos Lampropoulos, Thanos Kosmidis, Serge Autexier, Milos Savic, Manos Athanatos, Miltiadis Kokkonidis, Tzortzia Koutsouri, Anamaria Vizitiu, Antonios Valachis, Miriam Quintero Padron

Proceedings of the 9th IEEE International Conference on Healthcare Informatics, 2021

2020

Impacts of Creating Smart Everyday Objects on Young Female Students' Programming Skills and Attitudes.

Mazyar Seraj, Eva-Sophie Katterfeldt, Serge Autexier, Rolf Drechsler

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

2019

"Es werden vermutlich vor allem Teilassistenzen immer mehr im privaten und beruflichen Alltag Einzug halten".

Serge Autexier

Wirtschaftsinformatik Manag., 2019

Scratch and Google Blockly: How Girls' Programming Skills and Attitudes are Influenced.

Mazyar Seraj, Eva-Sophie Katterfeldt, Kerstin Bub, Serge Autexier, Rolf Drechsler

Proceedings of the Koli Calling '19: 19th Koli Calling International Conference on Computing Education Research, 2019

Look what I can do: acquisition of programming skills in the context of living labs.

Mazyar Seraj, Cornelia S. Große, Serge Autexier, Rolf Drechsler

Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training, 2019

CrowdHEALTH: Big Data Analytics and Holistic Health Records.

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

Proceedings of the ICT for Health Science Research - Proceedings of the EFMI 2019 Special Topic Conference, 2019

Smart Homes Programming: Development and Evaluation of an Educational Programming Application for Young Learners.

Mazyar Seraj, Cornelia S. Große, Serge Autexier, Rolf Drechsler

Proceedings of the 18th ACM International Conference on Interaction Design and Children, 2019

2018

BEESM, a block-based educational programming tool for end users.

Mazyar Seraj, Serge Autexier, Jan Janssen

Proceedings of the 10th Nordic Conference on Human-Computer Interaction, Oslo, 2018

2017

CrowdHEALTH: Holistic Health Records and Big Data Analytics for Health Policy Making and Personalized Health.

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

Proceedings of the Informatics Empowers Healthcare Transformation, 2017

2016

Model-Based Specification and Refinement for Cyber-Physical Systems.

Rolf Drechsler, Serge Autexier, Christoph Lüth

Proceedings of the Dynamics in Logistics, 2016

People Tracking in Ambient Assisted Living Environments Using Low-Cost Thermal Image Cameras.

Christian Mandel, Serge Autexier

Proceedings of the Inclusive Smart Cities and Digital Health, 2016

2015

Similarity-Based Diff, Three-Way Diff and Merge.

Serge Autexier

Int. J. Softw. Informatics, 2015

Structure Formation in Large Theories.

Serge Autexier, Dieter Hutter

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

SHIP - A Logic-Based Language and Tool to Program Smart Environments.

Serge Autexier, Dieter Hutter

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

Formal Modelling for Cooking Assistance.

Bernd Krieg-Brückner, Serge Autexier, Martin Rink, Sidoine Ghomsi Nokam

Proceedings of the Software, 2015

2013

Constructive DL Update and Reasoning for Modeling and Executing the Orchestration of Heterogeneous Processes.

Serge Autexier, Dieter Hutter

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

An Implementation, Execution and Simulation Platform for Processes in Heterogeneous Smart Environments.

Serge Autexier, Dieter Hutter, Christoph Stahl

Proceedings of the Ambient Intelligence - 4th International Joint Conference, 2013

SHIP-Tool Live: Orchestrating the Activities in the Bremen Ambient Assisted Living Lab - (Demo).

Serge Autexier, Dieter Hutter, Christian Mandel, Christoph Stahl

Proceedings of the Ambient Intelligence - 4th International Joint Conference, 2013

2012

Structure Formation to Modularize Ontologies.

Serge Autexier, Dieter Hutter

Proceedings of the 6th International Workshop on Modular Ontologies, 2012

SmartTies - Management of Safety-Critical Developments.

Serge Autexier, Dominik Dietrich, Dieter Hutter, Christoph Lüth, Christian Maeder

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

2011

ΩMEGA: Resource-Adaptive Processes in an Automated Reasoning System.

Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Jörg H. Siekmann

Proceedings of the Resource-Adaptive Cognitive Processes, 2011

Towards an Intelligent Tutor for Mathematical Proofs

Serge Autexier, Dominik Dietrich, Marvin R. G. Schiller

Proceedings of the Proceedings First Workshop on CTP Components for Educational Software, 2011

Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics.

Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

2010

Foreword to the Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge.

Serge Autexier, Petr Sojka, Masakazu Suzuki

Math. Comput. Sci., 2010

Recent developments in mega's proof search programming language.

Serge Autexier, Dominik Dietrich

ACM Commun. Comput. Algebra, 2010

A Tactic Language for Declarative Proofs.

Serge Autexier, Dominik Dietrich

Proceedings of the Interactive Theorem Proving, First International Conference, 2010

Adding Change Impact Analysis to the Formal Verification of C Programs.

Serge Autexier, Christoph Lüth

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

Semantics-based change impact analysis for heterogeneous collections of documents.

Serge Autexier, Normen Müller

Proceedings of the 2010 ACM Symposium on Document Engineering, 2010

Change Management for Heterogeneous Development Graphs.

Serge Autexier, Dieter Hutter, Till Mossakowski

Proceedings of the Verification, Induction, Termination Analysis, 2010

2009

Jacques Herbrand: Life, Logic, and Automated Deduction.

Claus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier

Proceedings of the Logic from Russell to Church, 2009

Lectures on Jacques Herbrand as a Logician

Claus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier

CoRR, 2009

Atomic Metadeduction.

Serge Autexier, Dominik Dietrich

Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

2008

Organization, Transformation, and Propagation of Mathematical Knowledge in Omegamega.

Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Marc Wagner

Math. Comput. Sci., 2008

Preface.

Serge Autexier, Heiko Mantel, Stephan Merz, Tobias Nipkow

J. Autom. Reason., 2008

Preface.

Serge Autexier, Christoph Benzmüller

Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers, 2008

Towards Merging PlatOmega and PGIP.

David Aspinall, Serge Autexier, Christoph Lüth, Marc Wagner

Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers, 2008

2007

Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems.

Serge Autexier, Armin Fiedler, Thomas Neumann, Marc Wagner

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

Deep Inference for Automated Proof Tutoring?

Christoph Benzmüller, Dominik Dietrich, Marvin R. G. Schiller, Serge Autexier

Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007

2006

Development graphs - Proof management for structured specifications.

Till Mossakowski, Serge Autexier, Dieter Hutter

J. Log. Algebraic Methods Program., 2006

Computer supported mathematics with Omegamega.

Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier

J. Appl. Log., 2006

PlatOmega: A Mediator between Text-Editors and Proof Assistance Systems.

Marc Wagner, Serge Autexier, Christoph Benzmüller

Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, 2006

Synthesizing Proof Planning Methods and Omega-Ants Agents from Mathematical Knowledge.

Serge Autexier, Dominik Dietrich

Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006

A Formal Correspondence Between OMDoc with Alternative Proofs and the lambdaµµ-Calculus.

Serge Autexier, Claudio Sacerdoti Coen

Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006

Preface -- Workshop Trustworthy Software 2006.

Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper

Proceedings of the Workshop "Trustworthy Software" 2006, 2006

The MathServe System for Semantic Web Reasoning Services.

Jürgen Zimmer, Serge Autexier

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2005

Preface to the special issue of selected papers from FCS/VERIFY 2002.

Serge Autexier, Iliano Cervesato, Heiko Mantel

Int. J. Inf. Sec., 2005

On the Dynamic Increase of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic.

Serge Autexier

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

Textbook Proofs Meet Formal Logic - The Problem of Underspecification and Granularity.

Serge Autexier, Armin Fiedler

Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity.

Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Andreas Meier, Claus-Peter Wirth

Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

The CoRe Calculus.

Serge Autexier

Proceedings of the Automated Deduction, 2005

Formal Software Development in MAYA.

Dieter Hutter, Serge Autexier

Proceedings of the Mechanizing Mathematical Reasoning, 2005

2003

Hierarchical contextual reasoning.

Serge Autexier

PhD thesis, 2003

Interactive Theorem Proving with Tasks.

Malte Hübner, Serge Autexier, Christoph Benzmüller, Andreas Meier

Proceedings of the User Interfaces for Theorem Provers Workshop, 2003

Assertion-level Proof Representation with Under-Specification.

Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek, Quoc Bao Vo

Proceedings of the Mathematical Knowledge Management Symposium, 2003

Disproving False Conjectures.

Serge Autexier, Carsten Schürmann

Proceedings of the Logic for Programming, 2003

Assertion Application in Theorem Proving and Proof Planning.

Quoc Bao Vo, Christoph Benzmüller, Serge Autexier

Proceedings of the IJCAI-03, 2003

2002

Towards Proof Planning for Mω⁺.

Carsten Schürmann, Serge Autexier

Proceedings of the International Workshop on Logical Frameworks and Meta-Languages, 2002

Maintenance of Formal Software Developments by Stratified Verification.

Serge Autexier, Dieter Hutter

Proceedings of the Logic for Programming, 2002

Integrating HOL-CASL into the Development Graph Manager MAYA.

Serge Autexier, Till Mossakowski

Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

The Development Graph Manager MAYA.

Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

A Pragmatic Approach to Reuse in Tactical Theorem Proving.

Axel Schairer, Serge Autexier, Dieter Hutter

Proceedings of the 4th International Workshop on Strategies in Automated Deduction, 2001

A Proof-Planning Framework with Explicit Abstractions Based on Indexed Formulas.

Serge Autexier

Proceedings of the 4th International Workshop on Strategies in Automated Deduction, 2001

Extending Development Graphs with Hiding.

Till Mossakowski, Serge Autexier, Dieter Hutter

Proceedings of the Fundamental Approaches to Software Engineering, 2001

2000

VSE: formal methods meet industrial needs.

Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers

Int. J. Softw. Tools Technol. Transf., 2000

1999

Towards an Evolutionary Formal Software-Development Using CASL.

Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

System Description: inka 5.0 - A Logic Voyager.

Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer

Proceedings of the Automated Deduction, 1999

1998

Simultaneous Quantifier Elimination.

Serge Autexier, Heiko Mantel, Werner Stephan

Proceedings of the KI-98: Advances in Artificial Intelligence, 1998