Serge Autexier

Affiliations:
  • DFKI Bremen, Bremen, Germany


According to our database1, Serge Autexier authored at least 78 papers between 1998 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Quality medical data management within an open AI architecture - cancer patients case.
Connect. Sci., December, 2023

The application of machine learning techniques in prediction of quality of life features for cancer patients.
Comput. Sci. Inf. Syst., 2023

2022
Iterative User-Centric Development of Mobile Robotic Systems with Intuitive Multimodal Human-Robot Interaction in a Clinic Environment.
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.
Proceedings of the 12th International Conference on the Internet of Things, 2022

Causal Inference for Personalized Treatment Effect Estimation for given Machine Learning Models.
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.
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.
Proceedings of the Advances in Databases and Information Systems, 2022

Klinische Evaluation eines Rollatormoduls zur sensorgestützten Haltungs- und Gangmustererkennung.
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.
Proceedings of the Künstliche Intelligenz im Gesundheitswesen: Entwicklungen, 2022

2021
Analysis of Machine Learning Models Predicting Quality of Life for Cancer Patients.
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.
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.
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.
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".
Wirtschaftsinformatik Manag., 2019

Scratch and Google Blockly: How Girls' Programming Skills and Attitudes are Influenced.
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.
Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training, 2019


Smart Homes Programming: Development and Evaluation of an Educational Programming Application for Young Learners.
Proceedings of the 18th ACM International Conference on Interaction Design and Children, 2019

2018
BEESM, a block-based educational programming tool for end users.
Proceedings of the 10th Nordic Conference on Human-Computer Interaction, Oslo, 2018

2017

2016
Model-Based Specification and Refinement for Cyber-Physical Systems.
Proceedings of the Dynamics in Logistics, 2016

People Tracking in Ambient Assisted Living Environments Using Low-Cost Thermal Image Cameras.
Proceedings of the Inclusive Smart Cities and Digital Health, 2016

2015
Similarity-Based Diff, Three-Way Diff and Merge.
Int. J. Softw. Informatics, 2015

Structure Formation in Large Theories.
Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

SHIP - A Logic-Based Language and Tool to Program Smart Environments.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

Formal Modelling for Cooking Assistance.
Proceedings of the Software, 2015

2013
Constructive DL Update and Reasoning for Modeling and Executing the Orchestration of Heterogeneous Processes.
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.
Proceedings of the Ambient Intelligence - 4th International Joint Conference, 2013

SHIP-Tool Live: Orchestrating the Activities in the Bremen Ambient Assisted Living Lab - (Demo).
Proceedings of the Ambient Intelligence - 4th International Joint Conference, 2013

2012
Structure Formation to Modularize Ontologies.
Proceedings of the 6th International Workshop on Modular Ontologies, 2012

SmartTies - Management of Safety-Critical Developments.
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.
Proceedings of the Resource-Adaptive Cognitive Processes, 2011

Towards an Intelligent Tutor for Mathematical Proofs
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.
Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

2010
Foreword to the Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge.
Math. Comput. Sci., 2010

Recent developments in mega's proof search programming language.
ACM Commun. Comput. Algebra, 2010

A Tactic Language for Declarative Proofs.
Proceedings of the Interactive Theorem Proving, First International Conference, 2010

Adding Change Impact Analysis to the Formal Verification of C Programs.
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

Semantics-based change impact analysis for heterogeneous collections of documents.
Proceedings of the 2010 ACM Symposium on Document Engineering, 2010

Change Management for Heterogeneous Development Graphs.
Proceedings of the Verification, Induction, Termination Analysis, 2010

2009
Jacques Herbrand: Life, Logic, and Automated Deduction.
Proceedings of the Logic from Russell to Church, 2009

Lectures on Jacques Herbrand as a Logician
CoRR, 2009

Atomic Metadeduction.
Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

2008
Organization, Transformation, and Propagation of Mathematical Knowledge in Omegamega.
Math. Comput. Sci., 2008

Preface.
J. Autom. Reason., 2008

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

Towards Merging PlatOmega and PGIP.
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.
Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

Deep Inference for Automated Proof Tutoring?
Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007

2006
Development graphs - Proof management for structured specifications.
J. Log. Algebraic Methods Program., 2006

Computer supported mathematics with Omegamega.
J. Appl. Log., 2006

PlatOmega: A Mediator between Text-Editors and Proof Assistance Systems.
Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, 2006

Synthesizing Proof Planning Methods and Omega-Ants Agents from Mathematical Knowledge.
Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006

A Formal Correspondence Between OMDoc with Alternative Proofs and the lambdaµµ-Calculus.
Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006

Preface -- Workshop Trustworthy Software 2006.
Proceedings of the Workshop "Trustworthy Software" 2006, 2006

The MathServe System for Semantic Web Reasoning Services.
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2005
Preface to the special issue of selected papers from FCS/VERIFY 2002.
Int. J. Inf. Sec., 2005

On the Dynamic Increase of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

Textbook Proofs Meet Formal Logic - The Problem of Underspecification and Granularity.
Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity.
Proceedings of the Mathematical Knowledge Management, 4th International Conference, 2005

The CoRe Calculus.
Proceedings of the Automated Deduction, 2005

Formal Software Development in MAYA.
Proceedings of the Mechanizing Mathematical Reasoning, 2005

2003
Hierarchical contextual reasoning.
PhD thesis, 2003

Interactive Theorem Proving with Tasks.
Proceedings of the User Interfaces for Theorem Provers Workshop, 2003

Assertion-level Proof Representation with Under-Specification.
Proceedings of the Mathematical Knowledge Management Symposium, 2003

Disproving False Conjectures.
Proceedings of the Logic for Programming, 2003

Assertion Application in Theorem Proving and Proof Planning.
Proceedings of the IJCAI-03, 2003

2002
Towards Proof Planning for Mω<sup>+</sup>.
Proceedings of the International Workshop on Logical Frameworks and Meta-Languages, 2002

Maintenance of Formal Software Developments by Stratified Verification.
Proceedings of the Logic for Programming, 2002

Integrating HOL-CASL into the Development Graph Manager MAYA.
Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

The Development Graph Manager MAYA.
Proceedings of the Algebraic Methodology and Software Technology, 2002

2001
A Pragmatic Approach to Reuse in Tactical Theorem Proving.
Proceedings of the 4th International Workshop on Strategies in Automated Deduction, 2001

A Proof-Planning Framework with Explicit Abstractions Based on Indexed Formulas.
Proceedings of the 4th International Workshop on Strategies in Automated Deduction, 2001

Extending Development Graphs with Hiding.
Proceedings of the Fundamental Approaches to Software Engineering, 2001

2000
VSE: formal methods meet industrial needs.
Int. J. Softw. Tools Technol. Transf., 2000

1999
Towards an Evolutionary Formal Software-Development Using CASL.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

System Description: inka 5.0 - A Logic Voyager.
Proceedings of the Automated Deduction, 1999

1998
Simultaneous Quantifier Elimination.
Proceedings of the KI-98: Advances in Artificial Intelligence, 1998


  Loading...