default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSerge Autexier
Person information
- affiliation: DFKI Bremen, Bremen, Germany
SPARQL queries 
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, Anke Königschulte, Jana Koch, Serge Autexier, Gesche Joost:
Co-designing a Tangible Communication Device to Enrich Communication over Distance. ISS Companion 2024: 58-62 - 2023
- [j12]Milos Savic, Vladimir Kurbalija, Mihailo Ilic, Mirjana Ivanovic, Dusan Jakovetic, Antonios Valachis, Serge Autexier, Johannes Rust, Thanos Kosmidis:
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, Serge Autexier, Miltiadis Kokkonidis, Johannes Rust:
Quality medical data management within an open AI architecture - cancer patients case. Connect. Sci. 35(1) (2023) - [i5]Konstantinos Lampropoulos, Thanos Kosmidis, Serge Autexier, Milos Savic, Manos Athanatos, Miltiadis Kokkonidis, Tzortzia Koutsouri, Anamaria Vizitiu, Antonios Valachis, Miriam Quintero Padron:
ASCAPE: An open AI ecosystem to support the quality of life of cancer patients. CoRR abs/2308.14390 (2023) - 2022
- [c61]Mirjana Ivanovic, Serge Autexier, Miltiadis Kokkonidis:
AI Approaches in Processing and Using Data in Personalized Medicine. ADBIS 2022: 11-24 - [c60]Christian Mandel, Kathrin Stich, Serge Autexier, Christoph Lüth, Ariane Ziehn, Karin Hochbaum, Rolf Dembinski, Christoph Int-Veen:
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, Katharina Lorenz, Anke Königschulte, Serge Autexier, Annika Sabrina Schulz, Bodo Pahlke, Valerie Bartsch, Hendrik Leibrandt:
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, Tim Schwartz, Ivana Kruijff-Korbayová:
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, Christoph Lüth, Rolf Drechsler:
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, Christoph Budelmann:
Klinische Evaluation eines Rollatormoduls zur sensorgestützten Haltungs- und Gangmustererkennung. Künstliche Intelligenz im Gesundheitswesen 2022: 881-905 - [i4]Mirjana Ivanovic, Serge Autexier, Miltiadis Kokkonidis:
AI Approaches in Processing and Using Data in Personalized Medicine. CoRR abs/2208.04698 (2022) - 2021
- [c56]Konstantinos Lampropoulos, Thanos Kosmidis, Serge Autexier, Milos Savic, Manos Athanatos, Miltiadis Kokkonidis, Tzortzia Koutsouri, Anamaria Vizitiu, Antonios Valachis, Miriam Quintero Padron:
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, Johannes Rust, Thanos Kosmidis:
Analysis of Machine Learning Models Predicting Quality of Life for Cancer Patients. MEDES 2021: 35-42 - 2020
- [c53]Mazyar Seraj, Eva-Sophie Katterfeldt, Serge Autexier, Rolf Drechsler:
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, Cornelia S. Große, Serge Autexier, Rolf Drechsler:
Smart Homes Programming: Development and Evaluation of an Educational Programming Application for Young Learners. IDC 2019: 146-152 - [c51]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:
CrowdHEALTH: Big Data Analytics and Holistic Health Records. EFMI-STC 2019: 255-256 - [c50]Mazyar Seraj, Cornelia S. Große, Serge Autexier, Rolf Drechsler:
Look what I can do: acquisition of programming skills in the context of living labs. ICSE (SEET) 2019: 197-207 - [c49]Mazyar Seraj, Eva-Sophie Katterfeldt, Kerstin Bub, Serge Autexier, Rolf Drechsler:
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, Serge Autexier, Jan Janssen:
BEESM, a block-based educational programming tool for end users. NordiCHI 2018: 886-891 - 2017
- [c47]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:
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, Serge Autexier, Christoph Lüth:
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, Martin Rink, Sidoine Ghomsi Nokam:
Formal Modelling for Cooking Assistance. Software, Services, and Systems 2015: 355-376 - [c43]Serge Autexier, Dieter Hutter:
SHIP - A Logic-Based Language and Tool to Program Smart Environments. LOPSTR 2015: 313-328 - [c42]Serge Autexier, Dieter Hutter:
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, Dieter Hutter, Christoph Stahl:
An Implementation, Execution and Simulation Platform for Processes in Heterogeneous Smart Environments. AmI 2013: 3-18 - [c40]Serge Autexier, Dieter Hutter, Christian Mandel, Christoph Stahl:
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, Dominik Dietrich, Dieter Hutter, Christoph Lüth, Christian Maeder:
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, Catalin David, Dominik Dietrich, Michael Kohlhase, Vyacheslav Zholudev:
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, Christoph Benzmüller, Dominik Dietrich, Jörg H. Siekmann:
Ω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, Petr Sojka, Masakazu Suzuki:
Foreword to the Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge. Math. Comput. Sci. 3(3): 225-226 (2010) - [c34]Serge Autexier, Dieter Hutter, Till Mossakowski:
Change Management for Heterogeneous Development Graphs. Verification, Induction, Termination Analysis 2010: 54-80 - [c33]Serge Autexier, Normen Müller:
Semantics-based change impact analysis for heterogeneous collections of documents. ACM Symposium on Document Engineering 2010: 97-106 - [c32]Serge Autexier, Christoph Lüth:
Adding Change Impact Analysis to the Formal Verification of C Programs. IFM 2010: 59-73 - [c31]Serge Autexier, Dominik Dietrich:
A Tactic Language for Declarative Proofs. ITP 2010: 99-114 - [e5]Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton:
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, Dominik Dietrich:
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, Serge Autexier:
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, Heiko Mantel, Stephan Merz, Tobias Nipkow:
Preface. J. Autom. Reason. 41(3-4): 191-192 (2008) - [j5]Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Marc Wagner:
Organization, Transformation, and Propagation of Mathematical Knowledge in Omegamega. Math. Comput. Sci. 2(2): 253-277 (2008) - [c29]Serge Autexier, Christoph Benzmüller:
Preface. UITP@TPHOLs 2008: 1-2 - [c28]David Aspinall, Serge Autexier, Christoph Lüth, Marc Wagner:
Towards Merging PlatOmega and PGIP. UITP@TPHOLs 2008: 3-21 - [e3]Serge Autexier, John A. Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk:
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, Armin Fiedler, Thomas Neumann, Marc Wagner:
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, Serge Autexier:
Computer supported mathematics with Omegamega. J. Appl. Log. 4(4): 533-559 (2006) - [j3]Till Mossakowski, Serge Autexier, Dieter Hutter:
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, Claudio Sacerdoti Coen:
A Formal Correspondence Between OMDoc with Alternative Proofs and the lambdaµµ-Calculus. MKM 2006: 67-81 - [c22]Serge Autexier, Dominik Dietrich:
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, Christoph Benzmüller:
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, Iliano Cervesato, Heiko Mantel:
Preface to the special issue of selected papers from FCS/VERIFY 2002. Int. J. Inf. Sec. 4(1-2): 1 (2005) - [c19]Dieter Hutter, Serge Autexier:
Formal Software Development in MAYA. Mechanizing Mathematical Reasoning 2005: 407-432 - [c18]Serge Autexier:
The CoRe Calculus. CADE 2005: 84-98 - [c17]Serge Autexier, Armin Fiedler:
Textbook Proofs Meet Formal Logic - The Problem of Underspecification and Granularity. MKM 2005: 96-110 - [c16]Serge Autexier, Christoph Benzmüller, Dominik Dietrich, Andreas Meier, Claus-Peter Wirth:
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, Carsten Schürmann:
Disproving False Conjectures. LPAR 2003: 33-48 - [c12]Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek, Quoc Bao Vo:
Assertion-level Proof Representation with Under-Specification. MKM Symposium 2003: 5-23 - [c11]Malte Hübner, Serge Autexier, Christoph Benzmüller, Andreas Meier:
Interactive Theorem Proving with Tasks. UITP@TPHOLs 2003: 161-181 - 2002
- [c10]Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer:
The Development Graph Manager MAYA. AMAST 2002: 495-501 - [c9]Serge Autexier, Till Mossakowski:
Integrating HOL-CASL into the Development Graph Manager MAYA. FroCoS 2002: 2-17 - [c8]Serge Autexier, Dieter Hutter:
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, Serge Autexier, Dieter Hutter:
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, Dieter Hutter:
A Pragmatic Approach to Reuse in Tactical Theorem Proving. STRATEGIES@IJCAR 2001: 203-216 - 2000
- [j1]Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers:
VSE: formal methods meet industrial needs. Int. J. Softw. Tools Technol. Transf. 3(1): 66-77 (2000)
1990 – 1999
- 1999
- [c3]Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer:
System Description: inka 5.0 - A Logic Voyager. CADE 1999: 207-211 - [c2]Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer:
Towards an Evolutionary Formal Software-Development Using CASL. WADT 1999: 73-88 - 1998
- [c1]Serge Autexier, Heiko Mantel, Werner Stephan:
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 22:27 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:
