Serge Autexier

98 papers A* 1A 4B 8C 6Misc 5Journal 18Unranked 43

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Federated Learning in Multi-Center, Personalized Healthcare for COPD and Comorbidities: The RE-SAMPLE Platform. BIOSTEC (2): HEALTHINF Jakob Lehmann, Gesa Wimberg, Serge Autexier, Alberto Acebes, Christos Kalloniatis, Costas Lamprinoudakis, Thrasyvoulos Giannakopoulos, Andreas Menegatos, Agni Delvinioti, Giulio Pagliari, Nicoletta Di Giorgi, Jarno Raid, Danae Lekka, Aristodemos Pnevmatikakis, Sofoklis A. Kyriazakos, Konstantina Kostopoulou, Monique Tabak
2025	J	`jnl`	Interdisciplinary Development and Reflection of a Robotic System for Nursing: An Overview of the AdaMeKoR Project. Int. J. Soc. Robotics Jonathan Behrens, Jonas Schulz, Felix Ferdinand Goldau, Christian Kowalski, Daniel Dorniok, Sandra Hellmers, Stephanie Raudies, Rebekka Stellfeldt, Yashaswini Shivashankar, Niels Will, Serge Autexier, Cletus S. Brauer, Thomas Breisig, Andreas Hein, Manfred Hülsken-Giesler
2025	—	`conf`	Physics-Aware Conformal Prediction for Deep Learning-based Wheelchair Local Navigation. COPA Sara Narteni, Alberto Carlevaro, Zeming Duan, Serge Autexier, Maurizio Mongelli
2024	—	`conf`	Co-designing a Tangible Communication Device to Enrich Communication over Distance. ISS Companion Hannah Friederike Fischer, Anke Königschulte, Jana Koch, Serge Autexier, Gesche Joost
2024	—	`conf`	On Using Large Language Models Pre-trained on Digital Twins as Oracles to Foster the Use of Formal Methods in Practice. ISoLA (4) Serge Autexier
2024	—	`conf`	Predicting Hemodynamic and Pulmonary Decompensation with Deep Neural Networks: Performance and Explainability. EMBC Johannes Rust, Christian Mandel, Kathrin Stich, Serge Autexier
2024	—	`conf`	Synergies Among Health Data Projects with Cancer Use Cases Based on Health Standards. MIE Amelie Gyrard, Philip Gribbon, Rada Hussein, Somayeh Abedian, Luis Marti Bonmati, Gibi Luisa Cabornero, George Manias, Gabriel Mihail Danciu, Stefano Dalmiani, Serge Autexier, Rick van Nuland, Mario Jendrossek, Ioannis Avramidis, Eva García Álvarez
2023	J	`jnl`	ASCAPE: An open AI ecosystem to support the quality of life of cancer patients. CoRR Konstantinos Lampropoulos, Thanos Kosmidis, Serge Autexier, Milos Savic, Manos Athanatos, Miltiadis Kokkonidis, Tzortzia Koutsouri, Anamaria Vizitiu, Antonios Valachis, Miriam Quintero Padron
2023	J	`jnl`	Quality medical data management within an open AI architecture - cancer patients case. Connect. Sci. Mirjana Ivanovic, Serge Autexier, Miltiadis Kokkonidis, Johannes Rust
2023	J	`jnl`	The application of machine learning techniques in prediction of quality of life features for cancer patients. Comput. Sci. Inf. Syst. Milos Savic, Vladimir Kurbalija, Mihailo Ilic, Mirjana Ivanovic, Dusan Jakovetic, Antonios Valachis, Serge Autexier, Johannes Rust, Thanos Kosmidis
2022	C	`conf`	AI Approaches in Processing and Using Data in Personalized Medicine. ADBIS Mirjana Ivanovic, Serge Autexier, Miltiadis Kokkonidis
2022	J	`jnl`	AI Approaches in Processing and Using Data in Personalized Medicine. CoRR Mirjana Ivanovic, Serge Autexier, Miltiadis Kokkonidis
2022	C	`conf`	Causal Inference for Personalized Treatment Effect Estimation for given Machine Learning Models. ICMLA Johannes Rust, Serge Autexier
2022	—	`conf`	Connecting Textiles: Exploring Textile Interior Surfaces for Power Supply, Communication and User Interaction in the IoT. IOT Frank Beruscha, Katharina Lorenz, Anke Königschulte, Serge Autexier, Annika Sabrina Schulz, Bodo Pahlke, Valerie Bartsch, Hendrik Leibrandt
2022	—	`ch.`	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. Künstliche Intelligenz im Gesundheitswesen Serge Autexier, Christoph Lüth, Rolf Drechsler
2022	B	`conf`	Iterative User-Centric Development of Mobile Robotic Systems with Intuitive Multimodal Human-Robot Interaction in a Clinic Environment. RO-MAN Hanns-Peter Horn, Matthias Nadig, Johannes Hackbarth, Christian Willms, Caspar Jacob, Serge Autexier, Tim Schwartz, Ivana Kruijff-Korbayová
2022	—	`ch.`	Klinische Evaluation eines Rollatormoduls zur sensorgestützten Haltungs- und Gangmustererkennung. Künstliche Intelligenz im Gesundheitswesen Amit Choudhury, Christian Mandel, Karin Hochbaum, Serge Autexier, Christoph Budelmann
2022	—	`conf`	Using Gated Recurrent Unit Networks for the Prediction of Hemodynamic and Pulmonary Decompensation. EMBC Christian Mandel, Kathrin Stich, Serge Autexier, Christoph Lüth, Ariane Ziehn, Karin Hochbaum, Rolf Dembinski, Christoph Int-Veen
2021	—	`conf`	ASCAPE: An open AI ecosystem to support the quality of life of cancer patients. ICHI Konstantinos Lampropoulos, Thanos Kosmidis, Serge Autexier, Milos Savic, Manos Athanatos, Miltiadis Kokkonidis, Tzortzia Koutsouri, Anamaria Vizitiu, Antonios Valachis, Miriam Quintero Padron
2021	C	`conf`	Analysis of Machine Learning Models Predicting Quality of Life for Cancer Patients. MEDES Milos Savic, Vladimir Kurbalija, Mihailo Ilic, Mirjana Ivanovic, Dusan Jakovetic, Antonios Valachis, Serge Autexier, Johannes Rust, Thanos Kosmidis
2021	—	`conf`	The BAALL Ontology - Configuration of Service Robots, Food, and Diet. JOWO Bernd Krieg-Brückner, Serge Autexier, Mihai Pomarlan
2020	A	`conf`	Impacts of Creating Smart Everyday Objects on Young Female Students' Programming Skills and Attitudes. SIGCSE Mazyar Seraj, Eva-Sophie Katterfeldt, Serge Autexier, Rolf Drechsler
2019	J	`jnl`	"Es werden vermutlich vor allem Teilassistenzen immer mehr im privaten und beruflichen Alltag Einzug halten". Wirtschaftsinformatik Manag. Serge Autexier
2019	—	`conf`	CrowdHEALTH: Big Data Analytics and Holistic Health Records. EFMI-STC 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 Martínez, Andreas Menychtas, Lydia Montandon, Florin Picioroaga, Manuel Perez, Dalibor Stanimirovic, Gregor Starc, Tanja Tomson, Ruth Vilar-Mateo, Ana-Maria Vizitiu
2019	—	`ed.`	Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018. CICM Workshops Osman Hasan, Abdou Youssef, Adam Naumowicz, William M. Farmer, Cezary Kaliszyk, Diane Gallois-Wong, Florian Rabe, Gabriel Dos Reis, Grant O. Passmore, James H. Davenport, Markus Pfeiffer, Michael Kohlhase, Serge Autexier, Sofiène Tahar, Thomas Koprucki, Umair Siddique, Walther Neuper, Wolfgang Windsteiger, Wolfgang Schreiner, Wolfram Sperber, Zoltán Kovács
2019	—	`conf`	Look what I can do: acquisition of programming skills in the context of living labs. ICSE (SEET) Mazyar Seraj, Cornelia S. Große, Serge Autexier, Rolf Drechsler
2019	—	`conf`	Scratch and Google Blockly: How Girls' Programming Skills and Attitudes are Influenced. Koli Calling Mazyar Seraj, Eva-Sophie Katterfeldt, Kerstin Bub, Serge Autexier, Rolf Drechsler
2019	Misc	`conf`	Smart Homes Programming: Development and Evaluation of an Educational Programming Application for Young Learners. IDC Mazyar Seraj, Cornelia S. Große, Serge Autexier, Rolf Drechsler
2018	Misc	`conf`	BEESM, a block-based educational programming tool for end users. NordiCHI Mazyar Seraj, Serge Autexier, Jan Janssen
2017	—	`conf`	CrowdHEALTH: Holistic Health Records and Big Data Analytics for Health Policy Making and Personalized Health. ICIMTH 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 Martínez, 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
2017	—	`ed.`	Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, UITP 2016, Coimbra, Portugal, 2nd July 2016. UITP Serge Autexier, Pedro Quaresma
2016	—	`conf`	Model-Based Specification and Refinement for Cyber-Physical Systems. LDIC Rolf Drechsler, Serge Autexier, Christoph Lüth
2016	C	`conf`	People Tracking in Ambient Assisted Living Environments Using Low-Cost Thermal Image Cameras. ICOST Christian Mandel, Serge Autexier
2015	—	`conf`	Formal Modelling for Cooking Assistance. Software, Services, and Systems Bernd Krieg-Brückner, Serge Autexier, Martin Rink, Sidoine Ghomsi Nokam
2015	C	`conf`	SHIP - A Logic-Based Language and Tool to Program Smart Environments. LOPSTR Serge Autexier, Dieter Hutter
2015	J	`jnl`	Similarity-Based Diff, Three-Way Diff and Merge. Int. J. Softw. Informatics Serge Autexier
2015	C	`conf`	Structure Formation in Large Theories. CICM Serge Autexier, Dieter Hutter
2015	J	`jnl`	Structure Formation in Large Theories. CoRR Serge Autexier, Dieter Hutter
2013	—	`conf`	An Implementation, Execution and Simulation Platform for Processes in Heterogeneous Smart Environments. AmI Serge Autexier, Dieter Hutter, Christoph Stahl
2013	—	`conf`	Constructive DL Update and Reasoning for Modeling and Executing the Orchestration of Heterogeneous Processes. Description Logics Serge Autexier, Dieter Hutter
2013	—	`conf`	SHIP-Tool Live: Orchestrating the Activities in the Bremen Ambient Assisted Living Lab - (Demo). AmI Serge Autexier, Dieter Hutter, Christian Mandel, Christoph Stahl
2012	—	`ed.`	6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010 VERIFY@IJCAR Markus Aderhold, Serge Autexier, Heiko Mantel
2012	—	`conf`	SmartTies - Management of Safety-Critical Developments. ISoLA (1) Serge Autexier, Dominik Dietrich, Dieter Hutter, Christoph Lüth, Christian Maeder
2012	—	`conf`	Structure Formation to Modularize Ontologies. WoMO Serge Autexier, Dieter Hutter
2011	—	`conf`	Towards an Intelligent Tutor for Mathematical Proofs ThEdu Serge Autexier, Dominik Dietrich, Marvin R. G. Schiller
2011	J	`jnl`	Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics CoRR Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev
2011	—	`conf`	Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics. Calculemus/MKM Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev
2011	—	`ch.`	ΩMEGA: Resource-Adaptive Processes in an Automated Reasoning System. Resource-Adaptive Cognitive Processes Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Jörg H. Siekmann
2010	B	`conf`	A Tactic Language for Declarative Proofs. ITP Serge Autexier, Dominik Dietrich
2010	B	`conf`	Adding Change Impact Analysis to the Formal Verification of C Programs. IFM Serge Autexier, Christoph Lüth
2010	—	`conf`	Change Management for Heterogeneous Development Graphs. Verification, Induction, Termination Analysis Serge Autexier, Dieter Hutter, Till Mossakowski
2010	J	`jnl`	Foreword to the Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge. Math. Comput. Sci. Serge Autexier, Petr Sojka, Masakazu Suzuki
2010	—	`ed.`	Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings AISC/MKM/Calculemus Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton
2010	J	`jnl`	Recent developments in mega's proof search programming language. ACM Commun. Comput. Algebra Serge Autexier, Dominik Dietrich
2010	B	`conf`	Semantics-based change impact analysis for heterogeneous collections of documents. ACM Symposium on Document Engineering Serge Autexier, Normen Müller
2009	Misc	`conf`	Atomic Metadeduction. KI Serge Autexier, Dominik Dietrich
2009	—	`ch.`	Jacques Herbrand: Life, Logic, and Automated Deduction. Logic from Russell to Church Claus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier
2009	J	`jnl`	Lectures on Jacques Herbrand as a Logician CoRR Claus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier
2009	—	`ed.`	Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers, UITP@TPHOLs 2008, Montréal, Canada, August 22, 2008 UITP@TPHOLs Serge Autexier, Christoph Benzmüller
2008	—	`ed.`	Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings AISC/MKM/Calculemus Serge Autexier, John A. Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk
2008	J	`jnl`	Organization, Transformation, and Propagation of Mathematical Knowledge in Omegamega. Math. Comput. Sci. Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Marc Wagner
2008	—	`conf`	Preface. UITP@TPHOLs Serge Autexier, Christoph Benzmüller
2008	J	`jnl`	Preface. J. Autom. Reason. Serge Autexier, Heiko Mantel, Stephan Merz, Tobias Nipkow
2008	—	`conf`	Towards Merging PlatOmega and PGIP. UITP@TPHOLs David Aspinall, Serge Autexier, Christoph Lüth, Marc Wagner
2007	Misc	`conf`	Deep Inference for Automated Proof Tutoring? KI Christoph Benzmüller, Dominik Dietrich, Marvin R. G. Schiller, Serge Autexier
2007	—	`ed.`	Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, UITP@FLoC 2006, Seattle, WA, USA, August 21, 2006 UITP@FLoC Serge Autexier, Christoph Benzmüller
2007	—	`conf`	Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems. Calculemus/MKM Serge Autexier, Armin Fiedler, Thomas Neumann, Marc Wagner
2006	—	`conf`	A Formal Correspondence Between OMDoc with Alternative Proofs and the lambdaµµ-Calculus. MKM Serge Autexier, Claudio Sacerdoti Coen
2006	J	`jnl`	Computer supported mathematics with Omegamega. J. Appl. Log. Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier
2006	J	`jnl`	Development graphs - Proof management for structured specifications. J. Log. Algebraic Methods Program. Till Mossakowski, Serge Autexier, Dieter Hutter
2006	—	`conf`	PlatOmega: A Mediator between Text-Editors and Proof Assistance Systems. UITP@FLoC Marc Wagner, Serge Autexier, Christoph Benzmüller
2006	—	`conf`	Preface -- Workshop Trustworthy Software 2006. Trustworthy Software Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper
2006	—	`conf`	Preface. UITP@FLoC Serge Autexier, Christoph Benzmüller
2006	—	`conf`	Synthesizing Proof Planning Methods and Omega-Ants Agents from Mathematical Knowledge. MKM Serge Autexier, Dominik Dietrich
2006	A	`conf`	The MathServe System for Semantic Web Reasoning Services. IJCAR Jürgen Zimmer, Serge Autexier
2006	—	`ed.`	Workshop "Trustworthy Software" 2006, Saarland University, Saarbrücken, Germany, May 18-19, 2006 Trustworthy Software Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper
2005	—	`conf`	A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity. MKM Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Andreas Meier, Claus-Peter Wirth
2005	—	`conf`	Formal Software Development in MAYA. Mechanizing Mathematical Reasoning Dieter Hutter, Serge Autexier
2005	B	`conf`	On the Dynamic Increase of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic. TABLEAUX Serge Autexier
2005	J	`jnl`	Preface to the special issue of selected papers from FCS/VERIFY 2002. Int. J. Inf. Sec. Serge Autexier, Iliano Cervesato, Heiko Mantel
2005	—	`conf`	Textbook Proofs Meet Formal Logic - The Problem of Underspecification and Granularity. MKM Serge Autexier, Armin Fiedler
2005	A	`conf`	The CoRe Calculus. CADE Serge Autexier
2003	A*	`conf`	Assertion Application in Theorem Proving and Proof Planning. IJCAI Quoc Bao Vo, Christoph Benzmüller, Serge Autexier
2003	—	`conf`	Assertion-level Proof Representation with Under-Specification. MKM Symposium Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek, Quoc Bao Vo
2003	B	`conf`	Disproving False Conjectures. LPAR Serge Autexier, Carsten Schürmann
2003	—	`—`	Hierarchical contextual reasoning. Serge Autexier
2003	—	`conf`	Interactive Theorem Proving with Tasks. UITP@TPHOLs Malte Hübner, Serge Autexier, Christoph Benzmüller, Andreas Meier
2002	—	`conf`	Integrating HOL-CASL into the Development Graph Manager MAYA. FroCoS Serge Autexier, Till Mossakowski
2002	B	`conf`	Maintenance of Formal Software Developments by Stratified Verification. LPAR Serge Autexier, Dieter Hutter
2002	—	`conf`	The Development Graph Manager MAYA. AMAST Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer
2002	—	`conf`	Towards Proof Planning for Mω LFM Carsten Schürmann, Serge Autexier
2001	—	`conf`	A Pragmatic Approach to Reuse in Tactical Theorem Proving. STRATEGIES@IJCAR Axel Schairer, Serge Autexier, Dieter Hutter
2001	—	`conf`	A Proof-Planning Framework with Explicit Abstractions Based on Indexed Formulas. STRATEGIES@IJCAR Serge Autexier
2001	B	`conf`	Extending Development Graphs with Hiding. FASE Till Mossakowski, Serge Autexier, Dieter Hutter
2000	J	`jnl`	VSE: formal methods meet industrial needs. Int. J. Softw. Tools Technol. Transf. Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers
1999	A	`conf`	System Description: inka 5.0 - A Logic Voyager. CADE Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer
1999	—	`conf`	Towards an Evolutionary Formal Software-Development Using CASL. WADT Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer
1998	Misc	`conf`	Simultaneous Quantifier Elimination. KI Serge Autexier, Heiko Mantel, Werner Stephan