Serge Autexier
Orcid: 0000-0002-0769-0732Affiliations:
- DFKI Bremen, Bremen, Germany
According to our database1,
Serge Autexier
authored at least 78 papers
between 1998 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
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
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
Proceedings of the MEDES '21: Proceedings of the 13th International Conference on Management of Digital EcoSystems, Virtual Event, Tunisia, November 1, 2021
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
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
Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training, 2019
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.
Proceedings of the 18th ACM International Conference on Interaction Design and Children, 2019
2018
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.
Proceedings of the Informatics Empowers Healthcare Transformation, 2017
2016
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
Proceedings of the Intelligent Computer Mathematics - International Conference, 2015
Proceedings of the Logic-Based Program Synthesis and Transformation, 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
Proceedings of the 6th International Workshop on Modular Ontologies, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
2011
Proceedings of the Resource-Adaptive Cognitive Processes, 2011
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
ACM Commun. Comput. Algebra, 2010
Proceedings of the Interactive Theorem Proving, First International Conference, 2010
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010
Proceedings of the 2010 ACM Symposium on Document Engineering, 2010
Proceedings of the Verification, Induction, Termination Analysis, 2010
2009
Proceedings of the Logic from Russell to Church, 2009
Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009
2008
Organization, Transformation, and Propagation of Mathematical Knowledge in Omegamega.
Math. Comput. Sci., 2008
Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers, 2008
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
Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007
2006
J. Log. Algebraic Methods Program., 2006
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
Proceedings of the Workshop "Trustworthy Software" 2006, 2006
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006
2005
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
Proceedings of the Mechanizing Mathematical Reasoning, 2005
2003
Proceedings of the User Interfaces for Theorem Provers Workshop, 2003
Proceedings of the Mathematical Knowledge Management Symposium, 2003
Proceedings of the IJCAI-03, 2003
2002
Proceedings of the International Workshop on Logical Frameworks and Meta-Languages, 2002
Proceedings of the Logic for Programming, 2002
Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002
Proceedings of the Algebraic Methodology and Software Technology, 2002
2001
Proceedings of the 4th International Workshop on Strategies in Automated Deduction, 2001
Proceedings of the 4th International Workshop on Strategies in Automated Deduction, 2001
Proceedings of the Fundamental Approaches to Software Engineering, 2001
2000
Int. J. Softw. Tools Technol. Transf., 2000
1999
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999
Proceedings of the Automated Deduction, 1999
1998
Proceedings of the KI-98: Advances in Artificial Intelligence, 1998