default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSabine Glesner
Person information
- affiliation: Technical University of Berlin, Department of Mathematics, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c101]Levin Chee Xian Ho, Marko Esche, Martin Nischwitz, Sabine Glesner:
Performance Analysis of Model-Based Functional Identification on Modified Measuring Instruments. I2MTC 2024: 1-6- [c100]Julian Klein, Paul Kogel, Sabine Glesner:
Efficient State Estimation of Discrete-Timed Automata. ICFEM 2024: 85-105 - [c99]Julian Klein
, Paul Kogel, Sabine Glesner:
Verifying Opacity of Discrete-Timed Automata. FormaliSE@ICSE 2024: 55-65 - [c98]Paul Kogel, Wolffhardt Schwabe, Sabine Glesner:
MMLT/ik: Efficiently Learning Mealy Machines with Local Timers by Using Imprecise Symbol Filters. QEST+FORMATS 2024: 143-159 - 2023
- [c97]Paul Kogel, Verena Klös, Sabine Glesner:
Learning Mealy Machines with Local Timers. ICFEM 2023: 47-64 - [c96]Levin Chee Xian Ho, Marko Esche, Martin Nischwitz, Reinhard Meyer, Sabine Glesner:
A Proposal for Functional Software Identification Using Risk-Based Continuous Quality Control. KKIO@FedCSIS 2023: 3-34 - [c95]Simon Schwan, Verena Klös, Sabine Glesner:
A Goal-Oriented Specification Language for Reinforcement Learning. MDAI 2023: 169-180 - 2022
- [c94]Paul Kogel, Verena Klös, Sabine Glesner:
TTT/ik: Learning Accurate Mealy Automata Efficiently with an Imprecise Symbol Filter. ICFEM 2022: 227-243 - 2021
- [j17]Timm Liebrenz, Paula Herber, Sabine Glesner:
Service-oriented decomposition and verification of hybrid system models using feature models and contracts. Sci. Comput. Program. 211: 102694 (2021) - [c93]Florian Ziesche, Verena Klös, Sabine Glesner:
Anomaly Detection and Classification to enable Self-Explainability of Autonomous Systems. DATE 2021: 1304-1309 - 2020
- [c92]Timm Liebrenz, Paula Herber, Sabine Glesner:
Towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink. ISoLA (3) 2020: 307-325 - [c91]Joachim Fellmuth, Julian Hartmer, Hanno Skowronek, Sabine Glesner:
Efficient Load-Time Diversity for an Embedded Real-Time Operating System. SAFECOMP 2020: 357-371 - [c90]Stefan Sydow, Mohannad Nabelsee, Sabine Glesner, Paula Herber:
Towards Profile-Guided Optimization for Safe and Efficient Parallel Stream Processing in Rust. SBAC-PAD 2020: 289-296
2010 – 2019
- 2019
- [j16]Sabine Glesner:
CSRD has become SICS. SICS Softw.-Intensive Cyber Phys. Syst. 34(1): 1 (2019) - [j15]Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner:
Information Flow Analysis of Combined Simulink/Stateflow Models. Inf. Technol. Control. 48(2): 299-315 (2019) - [c89]Tobias F. Pfeffer, Sabine Glesner:
Timing-Sensitive Synchronization for Efficient Secure Multi-Execution. CCSW 2019: 153-164 - [c88]Tobias F. Pfeffer, Thomas Göthel, Sabine Glesner:
Efficient and Precise Information Flow Control for Machine Code through Demand-Driven Secure Multi-Execution. CODASPY 2019: 197-208 - [c87]M. Baha E. Zarrouki, Verena Klös, Markus Grabowski, Sabine Glesner:
Fault-Tolerance by Graceful Degradation for Car Platoons. ASD@DATE 2019: 1:1-1:15 - [c86]Timm Liebrenz, Paula Herber, Sabine Glesner:
A Service-Oriented Approach for Decomposing and Verifying Hybrid System Models. FACS 2019: 127-146 - [c85]Tobias F. Pfeffer, Thomas Göthel, Sabine Glesner:
Automatic Analysis of Critical Sections for Efficient Secure Multi-Execution. QRS 2019: 318-325 - [c84]Joachim Fellmuth, Jonas Zell, Sabine Glesner:
Evaluating Software Diversity in Branch Prediction Analyses for static WCET Estimation. RTCSA 2019: 1-6 - [c83]Konstantin Scherer, Tobias F. Pfeffer, Sabine Glesner:
I/O Interaction Analysis of Binary Code. WETICE 2019: 225-230 - 2018
- [j14]Verena Klös, Thomas Göthel, Sabine Glesner:
Comprehensible and dependable self-learning self-adaptive systems. J. Syst. Archit. 85-86: 28-42 (2018) - [j13]Verena Klös, Thomas Göthel, Sabine Glesner:
Runtime management and quantitative evaluation of changing system goals in complex autonomous systems. J. Syst. Softw. 144: 314-327 (2018) - [c82]Joachim Fellmuth, Thomas Göthel, Sabine Glesner:
Instruction Caches in Static WCET Analysis of Artificially Diversified Software. ECRTS 2018: 21:1-21:23 - [c81]Verena Klös, Thomas Göthel, Sabine Glesner:
Be Prepared: Learning Environment Profiles for Proactive Rule-Based Production Planning. SEAA 2018: 89-96 - [c80]Timm Liebrenz, Paula Herber, Sabine Glesner:
Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X. ICFEM 2018: 89-105 - [c79]Nils Berg, Thomas Göthel, Armin Danziger, Sabine Glesner:
Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages. ICFEM 2018: 303-319 - [c78]Sebastian Schlesinger, Paula Herber, Thomas Göthel, Sabine Glesner:
Equivalence Checking for Hybrid Control Systems Modelled in Simulink. QRS Companion 2018: 572-579 - [c77]Verena Klös, Thomas Göthel, Sabine Glesner:
Comprehensible Decisions in Complex Self-Adaptive Systems. Software Engineering 2018: 215-216 - [c76]Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner:
Information Flow Analysis of Combined Simulink/Stateflow Models. WETICE 2018: 223-228 - [c75]Tobias F. Pfeffer, Paula Herber, Lucas Druschke, Sabine Glesner:
Efficient and Safe Control Flow Recovery Using a Restricted Intermediate Language. WETICE 2018: 235-240 - 2017
- [c74]Timm Liebrenz, Paula Herber, Thomas Göthel, Sabine Glesner:
Towards Service-Oriented Design of Hybrid Systems Modeled in Simulink. COMPSAC (2) 2017: 469-474 - [c73]Joachim Fellmuth, Paula Herber, Tobias F. Pfeffer, Sabine Glesner:
Securing Real-Time Cyber-Physical Systems Using WCET-Aware Artificial Diversity. DASC/PiCom/DataCom/CyberSciTech 2017: 454-461 - [c72]Verena Klös, Thomas Göthel, Adrian Lohr, Sabine Glesner:
Runtime Management and Quantitative Evaluation of Changing System Goals. SEAA 2017: 226-233 - [c71]Verena Klös, Thomas Göthel, Sabine Glesner:
Parameterisation and Optimisation Patterns for MAPE-K Feedback Loops. FAS*W@SASO/ICCAC 2017: 13-18 - 2016
- [c70]Sebastian Schlesinger, Paula Herber, Thomas Göthel, Sabine Glesner:
Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow. CyPhy 2016: 71-86 - [c69]Marcus Mikulcak, Thomas Göthel, Paula Herber, Sabine Glesner:
Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models. GI-Jahrestagung 2016: 1495-1508 - [c68]Verena Klös, Thomas Göthel, Sabine Glesner:
Formal Models for Analysing Dynamic Adaptation Behaviour in Real-Time Systems. FAS*W@SASO/ICCAC 2016: 106-111 - [c67]Nils Jähnig, Thomas Göthel, Sabine Glesner:
Refinement-Based Verification of Communicating Unstructured Code. SEFM 2016: 61-75 - [c66]Martin Lowinski, Dirk Ziegenbein, Sabine Glesner:
Splitting tasks for migrating real-time automotive applications to multi-core ECUs. SIES 2016: 113-120 - 2015
- [c65]Verena Klös, Thomas Göthel, Sabine Glesner:
Adaptive Knowledge Bases in Self-Adaptive System Design. EUROMICRO-SEAA 2015: 472-478 - [c64]Paula Herber, Marcel Pockrandt, Sabine Glesner:
STATE - A SystemC to Timed Automata Transformation Engine. HPCC/CSS/ICESS 2015: 1074-1077 - [c63]Marcus Mikulcak, Paula Herber, Thomas Göthel, Sabine Glesner:
Timed Path Conditions in MATLAB/Simulink. IESS 2015: 64-76 - [c62]Martin Lowinski, Dirk Ziegenbein, Sabine Glesner:
Partitioning Embedded Real-Time Control Software based on Communication Dependencies. MASE@MoDELS 2015: 3-12 - [c61]Johannes Dyck, Holger Giese, Leen Lambers, Sebastian Schlesinger, Sabine Glesner:
Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations. AMT@MoDELS 2015: 36-45 - [c60]Paula Herber, Sabine Glesner:
Verification of Embedded Real-time Systems. SyDe Summer School 2015: 1-25 - [c59]Nils Jähnig, Thomas Göthel, Sabine Glesner:
A Denotational Semantics for Communicating Unstructured Code. FESCA 2015: 9-21 - 2014
- [c58]Franziska Bathelt-Tok, Helena Gruhn, Sabine Glesner, Oliver Blankenstein:
Towards the Development of Smart and Reliable Health Assistance Networks Exemplified by an Apnea Detection System. ICHI 2014: 226-231 - [c57]Franziska Bathelt-Tok, Sabine Glesner, Oliver Blankenstein:
Data-dependent controller synthesis to enable reliable and safe interoperability of medical devices. PervasiveHealth 2014: 162-165 - [c56]Robert Reicherdt, Sabine Glesner:
Methods of Model Quality in the Automotive Area. Software Engineering 2014: 73-74 - [c55]Robert Reicherdt, Sabine Glesner:
Formal Verification of Discrete-Time MATLAB/Simulink Models Using Boogie. SEFM 2014: 190-204 - 2013
- [j12]Sabine Glesner:
Rigorous software engineering. Comput. Sci. Res. Dev. 28(4): 263-264 (2013) - [j11]Paula Herber, Sabine Glesner:
A HW/SW co-verification framework for SystemC. ACM Trans. Embed. Comput. Syst. 12(1s): 61:1-61:23 (2013) - [c54]Dirk Tetzlaff, Sabine Glesner:
Static Prediction of Loop Iteration Counts Using Machine Learning to Enable Hot Spot Optimizations. EUROMICRO-SEAA 2013: 300-307 - [c53]Thomas Göthel, Sabine Glesner:
Automatic validation of infinite real-time systems. FormaliSE@ICSE 2013: 57-63 - [c52]Daniel Stöhr, Sabine Glesner:
Towards Automated and Correct Composition of Timed Services. ICSOC Workshops 2013: 319-331 - [c51]Franziska Bathelt-Tok, Sabine Glesner:
Towards the Automated Synthesis of Data Dependent Service Controllers. ICSOC Workshops 2013: 528-534 - [c50]Marcel Pockrandt, Paula Herber, Verena Klös, Sabine Glesner:
Model Checking Memory-Related Properties of Hardware/Software Co-designs. IESS 2013: 92-103 - [c49]Helena Gruhn, Daniel Stöhr, Mehmet Gövercin, Sabine Glesner:
Design and verification of a health-monitoring driver assistance system. PervasiveHealth 2013: 266-267 - [c48]Daniel Stöhr, Sabine Glesner:
Planning in Real-Time Domains with Timed CTL Goals via Symbolic Model Checking. TASE 2013: 7-14 - [c47]Helena Gruhn, Sabine Glesner:
Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks. FESCA 2013: 49-62 - 2012
- [j10]Marcel Pockrandt, Paula Herber, Holger Gross, Sabine Glesner:
Optimized Transformation and Verification of SystemC Methods. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012) - [c46]Dirk Tetzlaff, Sabine Glesner:
Static prediction of recursion frequency using machine learning to enable hot spot optimizations. ESTIMedia 2012: 42-51 - [c45]Robert Reicherdt, Sabine Glesner:
Slicing MATLAB Simulink models. ICSE 2012: 551-561 - [c44]Elke Salecker, Sabine Glesner:
Combinatorial Interaction Testing for Test Selection in Grammar-Based Testing. ICST 2012: 610-619 - [c43]Dirk Tetzlaff, Sabine Glesner:
Making MPI Intelligent. Software Engineering (Workshops) 2012: 75-88 - [c42]Daniel Stöhr, Sabine Glesner:
Automated Composition of Timed Services by Planning as Model Checking. ZEUS 2012: 34-41 - 2011
- [c41]Björn Bartels, Sabine Glesner:
Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP. APSEC 2011: 195-202 - [c40]Michael Beyer, Sabine Glesner:
Static Analysis of Run-Time Modes in Synchronous Process Network. Ershov Memorial Conference 2011: 55-67 - [c39]Marcel Pockrandt, Paula Herber, Sabine Glesner:
Model checking a SystemC/TLM design of the AMBA AHB protocol. ESTIMedia 2011: 66-75 - [c38]Joachim Hänsel, Daniela Rose, Paula Herber, Sabine Glesner:
An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems. ICST 2011: 170-179 - [c37]Elke Salecker, Robert Reicherdt, Sabine Glesner:
Calculating Prioritized Interaction Test Sets with Constraints Using Binary Decision Diagrams. ICST Workshops 2011: 278-285 - [c36]Wei Hu, Joachim Wegener, Ingo Stürmer, Robert Reicherdt, Elke Salecker, Sabine Glesner:
MeMo - Methods of Model Quality. MBEES 2011: 127-132 - [c35]Paula Herber, Marcel Pockrandt, Sabine Glesner:
Transforming SystemC Transaction Level Models into UPPAAL timed automata. MEMOCODE 2011: 161-170 - [c34]Michael Beyer, Sabine Glesner:
Static run-time mode extraction by state partitioning in synchronous process networks. SCOPES 2011: 28-37 - 2010
- [j9]Björn Bartels, Sabine Glesner, Thomas Göthel:
Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010) - [j8]Thomas Göthel, Sabine Glesner:
An approach for machine-assisted verification of Timed CSP specifications. Innov. Syst. Softw. Eng. 6(3): 181-193 (2010) - [c33]Sabine Glesner, Björn Bartels, Thomas Göthel, Moritz Kleine:
The VATES-Diamond as a Verifier's Best Friend. Verification, Induction, Termination Analysis 2010: 81-101 - [c32]Paula Herber, Marcel Pockrandt, Sabine Glesner:
Automated conformance evaluation of SystemC designs using timed automata. ETS 2010: 188-193 - [c31]Elke Salecker, Sabine Glesner:
Pairwise test set calculation using k-partite graphs. ICSM 2010: 1-5 - [c30]Björn Bartels, Sabine Glesner:
Formal Modeling and Verification of Low-Level Software Programs. QSIC 2010: 200-207 - [c29]Thomas Göthel, Sabine Glesner:
Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants. SEFM 2010: 310-314 - [c28]Christine Hundt, Daniel Stöhr, Sabine Glesner:
Optimizing Aspect-Oriented Mechanisms for Embedded Applications. TOOLS (48) 2010: 137-153
2000 – 2009
- 2009
- [j7]Sabine Glesner:
IFE has become CSRD. Comput. Sci. Res. Dev. 23(1): 1-2 (2009) - [c27]Thomas Göthel, Sabine Glesner:
Machine-Checkable Timed CSP. NASA Formal Methods 2009: 126-135 - [c26]Paula Herber, Florian Friedemann, Sabine Glesner:
Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process. TAP@TOOLS 2009: 121-136 - [c25]Moritz Kleine, Björn Bartels, Thomas Göthel, Sabine Glesner:
Verifying the Implementation of an Operating System Scheduler. TASE 2009: 285-286 - 2008
- [j6]Sabine Glesner, Stefan Jähnichen, Barbara Paech, Bernhard Rumpe, Thomas Wetter, Alfred Winter:
Manifest: Strategische Bedeutung des Software Engineering für die Medizin. Inform. Forsch. Entwickl. 22(3): 127-135 (2008) - [c24]Paula Herber, Joachim Fellmuth, Sabine Glesner:
Model checking SystemC designs using timed automata. CODES+ISSS 2008: 131-136 - [c23]Lars Gesellensetter, Sabine Glesner:
Interprocedural Speculative Optimization of Memory Accesses to Global Variables. Euro-Par 2008: 350-359 - [c22]Christine Hundt, Sabine Glesner:
Optimizing Aspectual Execution Mechanisms for Embedded Applications. WGT@ETAPS 2008: 35-45 - 2007
- [j5]Sabine Glesner:
Editorial. Inform. Forsch. Entwickl. 22(1): 1 (2007) - [c21]Lars Gesellensetter, Sabine Glesner, Elke Salecker:
Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler. FMICS 2007: 85-100 - [c20]Sabine Glesner, Stefan Jähnichen, Barbara Paech, Bernhard Rumpe, Thomas Wetter, Alfred Winter:
Strategische Bedeutung des Software Engineering für die Medizin. Software Engineering 2007: 25-27 - [c19]Sabine Glesner, Jens Knoop, Rolf Drechsler:
Preface. COCV@ETAPS 2007: 1-2 - [e1]Sabine Glesner, Jens Knoop, Rolf Drechsler:
Proceedings of the Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2007, Braga, Portugal, March 25, 2007. Electronic Notes in Theoretical Computer Science 190(4), Elsevier 2007 [contents] - 2006
- [j4]Sabine Glesner:
Finite Integer Computations: An Algebraic Foundation for Their Correctness. Formal Aspects Comput. 18(2): 244-262 (2006) - [c18]Sabine Glesner, Johannes Leitner, Jan Olaf Blech:
Coinductive Verification of Program Optimizations Using Similarity Relations. COCV@ETAPS 2006: 61-77 - [c17]Lars Gesellensetter, Sabine Glesner:
Only the Best Can Make It: Optimal Component Selection. FESCA@ETAPS 2006: 105-124 - 2005
- [b2]Sabine Glesner:
Verification of optimizing compilers. Karlsruhe University, Germany, 2005 - [c16]Sabine Glesner, Jan Olaf Blech:
Logische und softwaretechnische Herausforderungen bei der Verifikation optimierender Compiler. Software Engineering 2005: 131-140 - [c15]Jan Olaf Blech, Lars Gesellensetter, Sabine Glesner:
Formal Verification of Dead Code Elimination in Isabelle/HOL. SEFM 2005: 200-209 - [c14]Jan Olaf Blech, Sabine Glesner, Johannes Leitner, Steffen Mülling:
Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL. COCV@ETAPS 2005: 33-51 - [i2]Manfred Broy, Matthias Jarke, Manfred Nagl, Hans Dieter Rombach, Armin B. Cremers, Jürgen Ebert, Sabine Glesner, Martin Glinz, Michael Goedicke, Gerhard Goos, Volker Gruhn, Wilhelm Hasselbring, Stefan Jähnichen, Stefan Kowalewski, Bernd J. Krämer, Stefan Leue, Claus Lewerentz, Peter Liggesmeyer, Christoph Lüth, Barbara Paech, Helmuth Arthur Partsch, Ilka Philippow, Lutz Prechelt, Andreas Rausch, Willem-Paul de Roever, Bernhard Rumpe, Gudula Rünger, Wilhelm Schäfer, Kurt Schneider, Andy Schürr, Walter F. Tichy, Bernhard Westfechtel, Wolf Zimmermann, Albert Zündorf:
Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland. Perspectives Workshop 2005 - 2004
- [j3]Sabine Glesner, Gerhard Goos, Wolf Zimmermann:
Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers). it Inf. Technol. 46(5): 265-276 (2004) - [j2]Sabine Glesner, Wolf Zimmermann:
Natural semantics as a static program analysis framework. ACM Trans. Program. Lang. Syst. 26(3): 510-577 (2004) - [c13]Sabine Glesner:
An ASM Semantics for SSA Intermediate Representations. Abstract State Machines 2004: 144-160 - [c12]Sabine Glesner, Jan Olaf Blech:
Coalgebraic Semantics for Component Systems. Architecting Systems with Trustworthy Components 2004: 245-261 - [c11]Jan Olaf Blech, Sabine Glesner:
A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL. GI Jahrestagung (2) 2004: 449-458 - [c10]Sabine Glesner, Simone Forster, Matthias Jäger:
A Program Result Checker for the Lexical Analysis of the GNU C Compiler. COCV@ETAPS 2004: 19-35 - [c9]Sabine Glesner:
A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics. COCV@ETAPS 2004: 73-93 - 2003
- [j1]Sabine Glesner:
Using Program Checking to Ensure the Correctness of Compiler Implementations. J. Univers. Comput. Sci. 9(3): 191-222 (2003) - [c8]Sabine Glesner:
ASMs versus Natural Semantics: A Comparison with New Insights. Abstract State Machines 2003: 293-308 - [c7]Sabine Glesner:
Program Checking with Certificates: Separating Correctness-Critical Code. FME 2003: 758-777 - [c6]Sabine Glesner, Jan Olaf Blech:
Classifying and Formally Verifying Integer Constant Folding. COCV@ETAPS 2003: 410-425 - 2002
- [c5]Sabine Glesner, Rubino Geiß, Boris Boesler:
Verified Code Generation for Embedded Systems. COCV@ETAPS 2002: 19-36
1990 – 1999
- 1999
- [b1]Sabine Glesner:
Natürliche Semantik für imperative und objektorientierte Programmiersprachen. Karlsruhe Institute of Technology, Germany, Shaker 1999, ISBN 978-3-8265-6388-1, pp. 1-198 - [c4]Sabine Glesner:
Natural Semantics for Imperative and Object-Oriented Programming Languages. GI Jahrestagung 1999: 370-379 - [i1]Sabine Glesner, Karl Stroetmann:
Combining Inclusion Polymorphism and Parametric Polymorphism. CoRR cs.LO/9906013 (1999) - 1998
- [c3]Sabine Glesner, Wolf Zimmermann:
Using many-sorted natural semantics to specify and generate semantic analysis. Systems Implementation 2000 1998: 249-262 - 1997
- [c2]Thomas Kolbe, Sabine Glesner:
Many-Sorted Logic in a Learning Theorem Prover. KI 1997: 75-86 - 1995
- [c1]Sabine Glesner, Daphne Koller:
Constructing Flexible Dynamic Belief Networks from First-Order Probalistic Knowledge Bases. ECSQARU 1995: 217-226
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 2025-01-20 23:04 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:
