default search action
Serge Autexier
Person information
- affiliation: DFKI Bremen, Bremen, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c64]Serge Autexier:
On Using Large Language Models Pre-trained on Digital Twins as Oracles to Foster the Use of Formal Methods in Practice. ISoLA (4) 2024: 30-43 - [c63]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:
Synergies Among Health Data Projects with Cancer Use Cases Based on Health Standards. MIE 2024: 1292-1296 - [c62]Hannah Friederike Fischer
Co-designing a Tangible Communication Device to Enrich Communication over Distance. ISS Companion 2024: 58-62 - 2023
- [j12]Milos Savic
The application of machine learning techniques in prediction of quality of life features for cancer patients. Comput. Sci. Inf. Syst. 20(1): 381-404 (2023) - [j11]Mirjana Ivanovic
Quality medical data management within an open AI architecture - cancer patients case. Connect. Sci. 35(1) (2023) - [i5]Konstantinos Lampropoulos, Thanos Kosmidis, Serge Autexier
ASCAPE: An open AI ecosystem to support the quality of life of cancer patients. CoRR abs/2308.14390 (2023) - 2022
- [c61]Mirjana Ivanovic
AI Approaches in Processing and Using Data in Personalized Medicine. ADBIS 2022: 11-24 - [c60]Christian Mandel, Kathrin Stich, Serge Autexier
Using Gated Recurrent Unit Networks for the Prediction of Hemodynamic and Pulmonary Decompensation. EMBC 2022: 4584-4589 - [c59]Johannes Rust, Serge Autexier
Causal Inference for Personalized Treatment Effect Estimation for given Machine Learning Models. ICMLA 2022: 1289-1295 - [c58]Frank Beruscha
Connecting Textiles: Exploring Textile Interior Surfaces for Power Supply, Communication and User Interaction in the IoT. IOT 2022: 88-95 - [c57]Hanns-Peter Horn, Matthias Nadig, Johannes Hackbarth, Christian Willms, Caspar Jacob, Serge Autexier
Iterative User-Centric Development of Mobile Robotic Systems with Intuitive Multimodal Human-Robot Interaction in a Clinic Environment. RO-MAN 2022: 963-968 - [p3]Serge Autexier
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 2022: 835-850 - [p2]Amit Choudhury, Christian Mandel, Karin Hochbaum, Serge Autexier
Klinische Evaluation eines Rollatormoduls zur sensorgestützten Haltungs- und Gangmustererkennung. Künstliche Intelligenz im Gesundheitswesen 2022: 881-905 - [i4]Mirjana Ivanovic, Serge Autexier
AI Approaches in Processing and Using Data in Personalized Medicine. CoRR abs/2208.04698 (2022) - 2021
- [c56]Konstantinos Lampropoulos
ASCAPE: An open AI ecosystem to support the quality of life of cancer patients. ICHI 2021: 301-310 - [c55]Bernd Krieg-Brückner, Serge Autexier, Mihai Pomarlan:
The BAALL Ontology - Configuration of Service Robots, Food, and Diet. JOWO 2021 - [c54]Milos Savic, Vladimir Kurbalija, Mihailo Ilic, Mirjana Ivanovic, Dusan Jakovetic, Antonios Valachis, Serge Autexier
Analysis of Machine Learning Models Predicting Quality of Life for Cancer Patients. MEDES 2021: 35-42 - 2020
- [c53]Mazyar Seraj
Impacts of Creating Smart Everyday Objects on Young Female Students' Programming Skills and Attitudes. SIGCSE 2020: 1234-1240
2010 – 2019
- 2019
- [j10]Serge Autexier:
"Es werden vermutlich vor allem Teilassistenzen immer mehr im privaten und beruflichen Alltag Einzug halten". Wirtschaftsinformatik Manag. 11(3): 136-139 (2019) - [c52]Mazyar Seraj
Smart Homes Programming: Development and Evaluation of an Educational Programming Application for Young Learners. IDC 2019: 146-152 - [c51]Parisis Gallos
CrowdHEALTH: Big Data Analytics and Holistic Health Records. EFMI-STC 2019: 255-256 - [c50]Mazyar Seraj
Look what I can do: acquisition of programming skills in the context of living labs. ICSE (SEET) 2019: 197-207 - [c49]Mazyar Seraj
Scratch and Google Blockly: How Girls' Programming Skills and Attitudes are Influenced. Koli Calling 2019: 23:1-23:10 - [e8]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:
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. CEUR Workshop Proceedings 2307, CEUR-WS.org 2019 [contents] - 2018
- [c48]Mazyar Seraj
BEESM, a block-based educational programming tool for end users. NordiCHI 2018: 886-891 - 2017
- [c47]Dimosthenis Kyriazis
CrowdHEALTH: Holistic Health Records and Big Data Analytics for Health Policy Making and Personalized Health. ICIMTH 2017: 19-23 - [e7]Serge Autexier, Pedro Quaresma:
Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, UITP 2016, Coimbra, Portugal, 2nd July 2016. EPTCS 239, 2017 [contents] - 2016
- [c46]Christian Mandel, Serge Autexier
People Tracking in Ambient Assisted Living Environments Using Low-Cost Thermal Image Cameras. ICOST 2016: 14-26 - [c45]Rolf Drechsler
Model-Based Specification and Refinement for Cyber-Physical Systems. LDIC 2016: 3-17 - 2015
- [j9]Serge Autexier:
Similarity-Based Diff, Three-Way Diff and Merge. Int. J. Softw. Informatics 9(2): 259-277 (2015) - [c44]Bernd Krieg-Brückner, Serge Autexier
Formal Modelling for Cooking Assistance. Software, Services, and Systems 2015: 355-376 - [c43]Serge Autexier
SHIP - A Logic-Based Language and Tool to Program Smart Environments. LOPSTR 2015: 313-328 - [c42]Serge Autexier
Structure Formation in Large Theories. CICM 2015: 155-170 - [i3]Serge Autexier, Dieter Hutter:
Structure Formation in Large Theories. CoRR abs/1505.01620 (2015) - 2013
- [c41]Serge Autexier
An Implementation, Execution and Simulation Platform for Processes in Heterogeneous Smart Environments. AmI 2013: 3-18 - [c40]Serge Autexier
SHIP-Tool Live: Orchestrating the Activities in the Bremen Ambient Assisted Living Lab - (Demo). AmI 2013: 269-274 - [c39]Serge Autexier, Dieter Hutter:
Constructive DL Update and Reasoning for Modeling and Executing the Orchestration of Heterogeneous Processes. Description Logics 2013: 501-512 - 2012
- [c38]Serge Autexier
SmartTies - Management of Safety-Critical Developments. ISoLA (1) 2012: 238-252 - [c37]Serge Autexier, Dieter Hutter:
Structure Formation to Modularize Ontologies. WoMO 2012 - [e6]Markus Aderhold, Serge Autexier, Heiko Mantel:
6th International Verification Workshop, VERIFY-2010, Edinburgh, UK, July 20-21, 2010. EPiC Series in Computing 3, EasyChair 2012 [contents] - 2011
- [c36]Serge Autexier
Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics. Calculemus/MKM 2011: 164-179 - [c35]Serge Autexier, Dominik Dietrich, Marvin R. G. Schiller:
Towards an Intelligent Tutor for Mathematical Proofs. ThEdu 2011: 1-28 - [p1]Serge Autexier
ΩMEGA: Resource-Adaptive Processes in an Automated Reasoning System. Resource-Adaptive Cognitive Processes 2011: 389-423 - [i2]Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev:
Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics. CoRR abs/1105.2392 (2011) - 2010
- [j8]Serge Autexier, Dominik Dietrich:
Recent developments in mega's proof search programming language. ACM Commun. Comput. Algebra 44(1/2): 52-59 (2010) - [j7]Serge Autexier
Foreword to the Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge. Math. Comput. Sci. 3(3): 225-226 (2010) - [c34]Serge Autexier
Change Management for Heterogeneous Development Graphs. Verification, Induction, Termination Analysis 2010: 54-80 - [c33]Serge Autexier
Semantics-based change impact analysis for heterogeneous collections of documents. ACM Symposium on Document Engineering 2010: 97-106 - [c32]Serge Autexier
Adding Change Impact Analysis to the Formal Verification of C Programs. IFM 2010: 59-73 - [c31]Serge Autexier
A Tactic Language for Declarative Proofs. ITP 2010: 99-114 - [e5]Serge Autexier
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. Lecture Notes in Computer Science 6167, Springer 2010, ISBN 978-3-642-14127-0 [contents]
2000 – 2009
- 2009
- [c30]Serge Autexier
Atomic Metadeduction. KI 2009: 444-451 - [e4]Serge Autexier, Christoph Benzmüller:
Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers, UITP@TPHOLs 2008, Montréal, Canada, August 22, 2008. Electronic Notes in Theoretical Computer Science 226, Elsevier 2009 [contents] - [r1]Claus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller
Jacques Herbrand: Life, Logic, and Automated Deduction. Logic from Russell to Church 2009: 195-254 - [i1]Claus-Peter Wirth, Jörg H. Siekmann, Christoph Benzmüller, Serge Autexier:
Lectures on Jacques Herbrand as a Logician. CoRR abs/0902.4682 (2009) - 2008
- [j6]Serge Autexier
Preface. J. Autom. Reason. 41(3-4): 191-192 (2008) - [j5]Serge Autexier
Organization, Transformation, and Propagation of Mathematical Knowledge in Omegamega. Math. Comput. Sci. 2(2): 253-277 (2008) - [c29]Serge Autexier
Preface. UITP@TPHOLs 2008: 1-2 - [c28]David Aspinall, Serge Autexier
Towards Merging PlatOmega and PGIP. UITP@TPHOLs 2008: 3-21 - [e3]Serge Autexier
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. Lecture Notes in Computer Science 5144, Springer 2008, ISBN 978-3-540-85109-7 [contents] - 2007
- [c27]Christoph Benzmüller, Dominik Dietrich, Marvin R. G. Schiller, Serge Autexier
Deep Inference for Automated Proof Tutoring? KI 2007: 435-439 - [c26]Serge Autexier
Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems. Calculemus/MKM 2007: 176-190 - [e2]Serge Autexier, Christoph Benzmüller:
Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, UITP@FLoC 2006, Seattle, WA, USA, August 21, 2006. Electronic Notes in Theoretical Computer Science 174(2), Elsevier 2007 [contents] - 2006
- [j4]Jörg H. Siekmann, Christoph Benzmüller
Computer supported mathematics with Omegamega. J. Appl. Log. 4(4): 533-559 (2006) - [j3]Till Mossakowski
Development graphs - Proof management for structured specifications. J. Log. Algebraic Methods Program. 67(1-2): 114-145 (2006) - [c25]Jürgen Zimmer, Serge Autexier
The MathServe System for Semantic Web Reasoning Services. IJCAR 2006: 140-144 - [c24]Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper:
Preface -- Workshop Trustworthy Software 2006. Trustworthy Software 2006 - [c23]Serge Autexier
A Formal Correspondence Between OMDoc with Alternative Proofs and the lambdaµµ-Calculus. MKM 2006: 67-81 - [c22]Serge Autexier
Synthesizing Proof Planning Methods and Omega-Ants Agents from Mathematical Knowledge. MKM 2006: 94-109 - [c21]Serge Autexier, Christoph Benzmüller:
Preface. UITP@FLoC 2006: 1-2 - [c20]Marc Wagner, Serge Autexier
PlatOmega: A Mediator between Text-Editors and Proof Assistance Systems. UITP@FLoC 2006: 87-107 - [e1]Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper:
Workshop "Trustworthy Software" 2006, May 18-19, 2006, Saarland University, Saarbrücken, Germany. OASIcs 3, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 2005
- [j2]Serge Autexier
Preface to the special issue of selected papers from FCS/VERIFY 2002. Int. J. Inf. Sec. 4(1-2): 1 (2005) - [c19]Dieter Hutter
Formal Software Development in MAYA. Mechanizing Mathematical Reasoning 2005: 407-432 - [c18]Serge Autexier
The CoRe Calculus. CADE 2005: 84-98 - [c17]Serge Autexier
Textbook Proofs Meet Formal Logic - The Problem of Underspecification and Granularity. MKM 2005: 96-110 - [c16]Serge Autexier
A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity. MKM 2005: 126-142 - [c15]Serge Autexier
On the Dynamic Increase of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic. TABLEAUX 2005: 48-62 - 2003
- [b1]Serge Autexier:
Hierarchical contextual reasoning. Saarland University, Saarbrücken, Germany, 2003, pp. 1-229 - [c14]Quoc Bao Vo, Christoph Benzmüller, Serge Autexier:
Assertion Application in Theorem Proving and Proof Planning. IJCAI 2003: 1343- - [c13]Serge Autexier
Disproving False Conjectures. LPAR 2003: 33-48 - [c12]Serge Autexier
Assertion-level Proof Representation with Under-Specification. MKM Symposium 2003: 5-23 - [c11]Malte Hübner, Serge Autexier
Interactive Theorem Proving with Tasks. UITP@TPHOLs 2003: 161-181 - 2002
- [c10]Serge Autexier
The Development Graph Manager MAYA. AMAST 2002: 495-501 - [c9]Serge Autexier
Integrating HOL-CASL into the Development Graph Manager MAYA. FroCoS 2002: 2-17 - [c8]Serge Autexier
Maintenance of Formal Software Developments by Stratified Verification. LPAR 2002: 36-52 - [c7]Carsten Schürmann, Serge Autexier
Towards Proof Planning for Mω+. LFM 2002: 124-145 - 2001
- [c6]Till Mossakowski
Extending Development Graphs with Hiding. FASE 2001: 269-283 - [c5]Serge Autexier
A Proof-Planning Framework with Explicit Abstractions Based on Indexed Formulas. STRATEGIES@IJCAR 2001: 189-202 - [c4]Axel Schairer, Serge Autexier
A Pragmatic Approach to Reuse in Tactical Theorem Proving. STRATEGIES@IJCAR 2001: 203-216 - 2000
- [j1]Serge Autexier
VSE: formal methods meet industrial needs. Int. J. Softw. Tools Technol. Transf. 3(1): 66-77 (2000)
1990 – 1999
- 1999
- [c3]Serge Autexier
System Description: inka 5.0 - A Logic Voyager. CADE 1999: 207-211 - [c2]Serge Autexier
Towards an Evolutionary Formal Software-Development Using CASL. WADT 1999: 73-88 - 1998
- [c1]Serge Autexier
Simultaneous Quantifier Elimination. KI 1998: 141-152
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-11 21:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: