![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Burkhart Wolff
Person information
- affiliation: Paris-Saclay University, Orsay, France
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j34]Achim D. Brucker, Nicolas Méric, Burkhart Wolff:
Isabelle/DOF. Arch. Formal Proofs 2024 (2024) - [c65]Benoît Ballenghien
, Burkhart Wolff
:
Event-B as DSL in Isabelle and HOL Experiences from a Prototype. ABZ 2024: 241-247 - 2023
- [j33]Benoît Ballenghien, Safouan Taha, Burkhart Wolff:
HOL-CSPM - Architectural operators for HOL-CSP. Arch. Formal Proofs 2023 (2023) - [j32]Benoît Ballenghien, Burkhart Wolff:
Operational Semantics formally proven in HOL-CSP. Arch. Formal Proofs 2023 (2023) - [j31]Paolo Crisafulli, Safouan Taha
, Burkhart Wolff:
Modeling and analysing Cyber-Physical Systems in HOL-CSP. Robotics Auton. Syst. 170: 104549 (2023) - [c64]Simon Foster, Burkhart Wolff:
Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL. ICECCS 2023: 136-141 - [c63]Achim D. Brucker
, Idir Aït-Sadoune
, Nicolas Méric
, Burkhart Wolff:
Using Deep Ontologies in Formal Software Engineering. ABZ 2023: 15-32 - [i5]Simon Foster, Burkhart Wolff:
Automated Reasoning for Physical Quantities, Units, and Measurements in Isabelle/HOL. CoRR abs/2302.07629 (2023) - 2020
- [j30]Simon Foster, Burkhart Wolff:
A Sound Type System for Physical Quantities, Units, and Measurements. Arch. Formal Proofs 2020 (2020) - [j29]Safouan Taha, Burkhart Wolff, Lina Ye:
The HOL-CSP Refinement Toolkit. Arch. Formal Proofs 2020 (2020) - [j28]Achim D. Brucker, Frédéric Tuong, Burkhart Wolff:
Model Transformation as Conservative Theory-Transformation. J. Object Technol. 19(3): 3:1-16 (2020) - [j27]Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff:
Timed Discrete-Event Simulation of Aviation Scenarios. Simul. Notes Eur. 30(2): 51-60 (2020) - [c62]Hai Nguyen Van
, Thibaut Balabonski, Frédéric Boulanger
, Chantal Keller
, Benoît Valiron
, Burkhart Wolff:
On the Semantics of Polychronous Polytimed Specifications. FORMATS 2020: 23-40 - [c61]Safouan Taha, Burkhart Wolff, Lina Ye:
Philosophers May Dine - Definitively! IFM 2020: 419-439 - [c60]Hai Nguyen Van
, Frédéric Boulanger, Burkhart Wolff:
TESL: A Model with Metric Time for Modeling and Simulation. TIME 2020: 15:1-15:15
2010 – 2019
- 2019
- [j26]Simon Foster
, Frank Zeyda, Yakoub Nemouchi
, Pedro Ribeiro, Burkhart Wolff:
Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming. Arch. Formal Proofs 2019 (2019) - [j25]Safouan Taha, Lina Ye, Burkhart Wolff:
HOL-CSP Version 2.0. Arch. Formal Proofs 2019 (2019) - [j24]Frédéric Tuong, Burkhart Wolff:
Clean - An Abstract Imperative Programming Language and its Theory. Arch. Formal Proofs 2019 (2019) - [j23]Frédéric Tuong, Burkhart Wolff:
Isabelle/C. Arch. Formal Proofs 2019 (2019) - [j22]Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff:
A Formal Development of a Polychronous Polytimed Coordination Language. Arch. Formal Proofs 2019 (2019) - [c59]Achim D. Brucker
, Burkhart Wolff:
Using Ontologies in Formal Developments Targeting Certification. IFM 2019: 65-82 - [c58]Achim D. Brucker
, Burkhart Wolff:
Isabelle/DOF: Design and Implementation. SEFM 2019: 275-292 - [c57]Frédéric Tuong, Burkhart Wolff:
Deeply Integrating C11 Code Support into Isabelle/PIDE. F-IDE@FM 2019: 13-28 - [i4]Sergio Bezzecchi, Paolo Crisafulli, Charlotte Pichot, Burkhart Wolff:
Making Agile Development Processes fit for V-style Certification Procedures. CoRR abs/1905.06604 (2019) - 2018
- [c56]Achim D. Brucker
, Idir Aït-Sadoune
, Paolo Crisafulli, Burkhart Wolff:
Using the Isabelle Ontology Framework - Linking the Formal with the Informal. CICM 2018: 23-38 - [e6]Catherine Dubois, Burkhart Wolff
:
Tests and Proofs - 12th International Conference, TAP@STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. Lecture Notes in Computer Science 10889, Springer 2018, ISBN 978-3-319-92993-4 [contents] - 2017
- [j21]Achim D. Brucker, Lukas Brügger, Burkhart Wolff:
Formal Network Models and Their Application to Firewall Policies. Arch. Formal Proofs 2017 (2017) - [c55]Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron
, Burkhart Wolff:
A Symbolic Operational Semantics for TESL - With an Application to Heterogeneous System Testing. FORMATS 2017: 318-334 - 2016
- [j20]Romain Aïssat, Frédéric Voisin, Burkhart Wolff:
Infeasible Paths Elimination by Symbolic Execution Techniques: Proof of Correctness and Preservation of Paths. Arch. Formal Proofs 2016 (2016) - [c54]Romain Aïssat, Frédéric Voisin, Burkhart Wolff:
Infeasible Paths Elimination by Symbolic Execution Techniques - Proof of Correctness and Preservation of Paths. ITP 2016: 36-51 - [c53]Achim D. Brucker, Jordi Cabot, Gwendal Daniel, Martin Gogolla, Adolfo Sánchez-Barbudo Herrera, Frank Hilken, Frédéric Tuong, Edward D. Willink, Burkhart Wolff:
Recent Developments in OCL and Textual Modelling. OCL@MoDELS 2016: 157-165 - [c52]Romain Aïssat, Marie-Claude Gaudel, Frédéric Voisin, Burkhart Wolff:
A Method for Pruning Infeasible Paths via Graph Transformations and Symbolic Execution. QRS 2016: 144-151 - [c51]Achim D. Brucker, Burkhart Wolff:
Monadic Sequence Testing and Explicit Test-Refinements. TAP@STAF 2016: 17-36 - 2015
- [j19]Frédéric Tuong, Burkhart Wolff:
A Meta-Model for the Isabelle API. Arch. Formal Proofs 2015 (2015) - [j18]Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff:
Symbolic Test-generation in HOL-TESTGEN/CirTA A Case Study. Int. J. Softw. Informatics 9(2): 177-203 (2015) - [j17]Achim D. Brucker
, Lukas Brügger, Burkhart Wolff:
Formal firewall conformance testing: an application of test and proof techniques. Softw. Test. Verification Reliab. 25(1): 34-71 (2015) - [c50]Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Safouan Taha, Benoît Valiron, Burkhart Wolff, Lina Ye:
Towards a Formal Semantics of the TESL Specification Language. GEMOC+MPM@MoDELS 2015: 14-19 - [c49]Freek Verbeek, Oto Havle, Julien Schmaltz, Sergey Tverdyshev, Holger Blasum, Bruno Langenstein, Werner Stephan, Burkhart Wolff, Yakoub Nemouchi
:
Formal API Specification of the PikeOS Separation Kernel. NFM 2015: 375-389 - [c48]Achim D. Brucker
, Oto Havle, Yakoub Nemouchi, Burkhart Wolff:
Testing the IPC Protocol for a Real-Time Operating System. VSTTE 2015: 40-60 - 2014
- [j16]Achim D. Brucker, Lukas Brügger, Burkhart Wolff:
The Unified Policy Framework (UPF). Arch. Formal Proofs 2014 (2014) - [j15]Achim D. Brucker, Frédéric Tuong, Burkhart Wolff:
Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5. Arch. Formal Proofs 2014 (2014) - [j14]Freek Verbeek, Sergey Tverdyshev, Oto Havle, Holger Blasum, Bruno Langenstein, Werner Stephan, Yakoub Nemouchi, Abderrahmane Feliachi, Burkhart Wolff, Julien Schmaltz:
Formal Specification of a Generic Separation Kernel. Arch. Formal Proofs 2014 (2014) - [c47]Delphine Longuet, Frédéric Tuong, Burkhart Wolff:
Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection. OCL@MoDELS 2014: 43-52 - [c46]Achim D. Brucker, Tony Clark, Carolina Dania, Geri Georg, Martin Gogolla, Frédéric Jouault, Ernest Teniente, Burkhart Wolff:
Panel Discussion: Proposals for Improving OCL. OCL@MoDELS 2014: 83-99 - [i3]Achim D. Brucker, Dan Chiorean, Tony Clark
, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, Burkhart Wolff:
Report on the Aachen OCL Meeting. CoRR abs/1408.5698 (2014) - 2013
- [j13]Achim D. Brucker
, Burkhart Wolff:
On theorem prover-based testing. Formal Aspects Comput. 25(5): 683-721 (2013) - [c45]Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel, Burkhart Wolff:
The Circus Testing Theory Revisited in Isabelle/HOL. ICFEM 2013: 131-147 - [c44]Achim D. Brucker
, Lukas Brügger, Burkhart Wolff:
hol-TestGen/fw - An Environment for Specification-Based Firewall Conformance Testing. ICTAC 2013: 112-121 - [c43]Bruno Barras, Lourdes Del Carmen González-Huesca
, Hugo Herbelin, Yann Régis-Gianas, Enrico Tassi, Makarius Wenzel, Burkhart Wolff:
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems. MKM/Calculemus/DML 2013: 359-363 - [c42]Achim D. Brucker, Delphine Longuet, Frédéric Tuong, Burkhart Wolff:
On the Semantics of Object-Oriented Data Structures and Path Expressions. OCL@MoDELS 2013: 23-32 - [c41]Achim D. Brucker, Dan Chiorean, Tony Clark, Birgit Demuth, Martin Gogolla, Dimitri Plotnikov, Bernhard Rumpe, Edward D. Willink, Burkhart Wolff:
Report on the Aachen OCL Meeting. OCL@MoDELS 2013: 103-111 - [c40]Achim D. Brucker, Abderrahmane Feliachi, Yakoub Nemouchi
, Burkhart Wolff:
Test Program Generation for a Microprocessor - A Case-Study. TAP@STAF 2013: 76-95 - [e5]Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi:
Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7681, Springer 2013, ISBN 978-3-642-35704-6 [contents] - [i2]Bruno Barras, Lourdes Del Carmen González-Huesca, Hugo Herbelin, Yann Régis-Gianas, Enrico Tassi, Makarius Wenzel, Burkhart Wolff:
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems. CoRR abs/1305.7360 (2013) - [i1]Thierry Jéron, Margus Veanes, Burkhart Wolff:
Symbolic Methods in Testing (Dagstuhl Seminar 13021). Dagstuhl Reports 3(1): 1-29 (2013) - 2012
- [j12]Abderrahmane Feliachi, Burkhart Wolff, Marie-Claude Gaudel:
Isabelle/Circus. Arch. Formal Proofs 2012 (2012) - [c39]Achim D. Brucker
, Burkhart Wolff:
Featherweight OCL: a study for the consistent semantics of OCL 2.3 in HOL. OCL@MoDELS 2012: 19-24 - [c38]Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff:
Isabelle/Circus: A Process Specification and Verification Environment. VSTTE 2012: 243-260 - 2011
- [j11]Jordi Cabot, Robert Clarisó, Martin Gogolla, Burkhart Wolff:
Preface (OCL 2011 Proceedings). Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 44 (2011) - [c37]Achim D. Brucker
, Lukas Brügger, Paul J. Kearney, Burkhart Wolff:
An approach to modular and testable security models of real-world health-care applications. SACMAT 2011: 133-142 - [c36]Makarius Wenzel, Burkhart Wolff:
Isabelle/PIDE as Platform for Educational Tools. ThEdu 2011: 143-153 - [e4]Burkhart Wolff, Fatiha Zaïdi:
Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings. Lecture Notes in Computer Science 7019, Springer 2011, ISBN 978-3-642-24579-4 [contents] - [e3]Martin Gogolla, Burkhart Wolff:
Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings. Lecture Notes in Computer Science 6706, Springer 2011, ISBN 978-3-642-21767-8 [contents] - 2010
- [j10]Sascha Böhme, Michal Moskal
, Wolfram Schulte, Burkhart Wolff:
HOL-Boogie - An Interactive Prover-Backend for the Verifying C Compiler. J. Autom. Reason. 44(1-2): 111-144 (2010) - [c35]Matthias P. Krieger, Alexander Knapp, Burkhart Wolff:
Automatic and efficient simulation of operation contracts. GPCE 2010: 53-62 - [c34]Achim D. Brucker
, Lukas Brügger, Paul J. Kearney, Burkhart Wolff:
Verified Firewall Policy Transformations for Test Case Generation. ICST 2010: 345-354 - [c33]Achim D. Brucker
, Matthias P. Krieger, Delphine Longuet, Burkhart Wolff:
A Specification-Based Test Case Generation Method for UML/OCL. MoDELS (Workshops) 2010: 334-348 - [c32]Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff:
Unifying Theories in Isabelle/HOL. UTP 2010: 188-206
2000 – 2009
- 2009
- [j9]Achim D. Brucker
, Burkhart Wolff:
Semantics, calculi, and analysis for object-oriented specifications. Acta Informatica 46(4): 255-284 (2009) - [j8]Matthias Daum, Jan Dörrenbächer, Burkhart Wolff:
Proving Fairness and Implementation Correctness of a Microkernel Scheduler. J. Autom. Reason. 42(2-4): 349-388 (2009) - [c31]Achim D. Brucker
, Burkhart Wolff:
hol-TestGen. FASE 2009: 417-420 - [c30]Achim D. Brucker
, Matthias P. Krieger, Burkhart Wolff:
Extending OCL with Null-References. MoDELS (Workshops) 2009: 261-275 - 2008
- [j7]Achim D. Brucker
, Burkhart Wolff:
An Extensible Encoding of Object-oriented Data Models in hol. J. Autom. Reason. 41(3-4): 219-249 (2008) - [c29]Achim D. Brucker
, Burkhart Wolff:
Extensible Universes for Object-Oriented Data Models. ECOOP 2008: 438-462 - [c28]Achim D. Brucker
, Burkhart Wolff:
HOL-OCL: A Formal Proof Environment for UML/OCL. FASE 2008: 97-100 - [c27]Achim D. Brucker
, Lukas Brügger, Burkhart Wolff:
Model-Based Firewall Conformance Testing. TestCom/FATES 2008: 103-118 - [c26]Sascha Böhme, K. Rustan M. Leino, Burkhart Wolff:
HOL-Boogie - An Interactive Prover for the Boogie Program-Verifier. TPHOLs 2008: 150-166 - [c25]Matthias Daum, Jan Dörrenbächer, Mareike Schmidt, Burkhart Wolff:
A Verification Approach for System-Level Concurrent Programs. VSTTE 2008: 161-176 - [c24]Achim D. Brucker
, Lukas Brügger, Burkhart Wolff:
Verifying Test-Hypotheses: An Experiment in Test and Proof. MBT@ETAPS 2008: 15-27 - 2007
- [j6]David A. Basin, Hironobu Kuruma, Kunihiko Miyazaki, Kazuo Takaragi, Burkhart Wolff:
Verifying a signature architecture: a comparative case study. Formal Aspects Comput. 19(1): 63-91 (2007) - [c23]Achim D. Brucker
, Burkhart Wolff:
Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing. TAP 2007: 149-168 - [c22]Makarius Wenzel, Burkhart Wolff:
Building Formal Method Tools in the Isabelle/Isar Framework. TPHOLs 2007: 352-367 - 2006
- [j5]Achim D. Brucker
, Jürgen Doser, Burkhart Wolff:
An MDA Framework Supporting OCL. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 5 (2006) - [j4]Achim D. Brucker, Jürgen Doser, Burkhart Wolff:
Semantic Issues of OCL: Past, Present, and Future. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 5 (2006) - [c21]Achim D. Brucker
, Jürgen Doser, Burkhart Wolff:
A Model Transformation Semantics and Analysis Methodology for SecureUML. MoDELS 2006: 306-320 - [e2]Klaus Havelund, Manuel Núñez, Grigore Rosu, Burkhart Wolff:
Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4262, Springer 2006, ISBN 3-540-49699-8 [contents] - 2005
- [j3]Achim D. Brucker
, Burkhart Wolff:
A verification approach to applied system security. Int. J. Softw. Tools Technol. Transf. 7(3): 233-247 (2005) - [c20]Achim D. Brucker
, Burkhart Wolff:
Interactive Testing with HOL-TestGen. FATES 2005: 87-102 - [c19]David A. Basin, Hironobu Kuruma, Kazuo Takaragi, Burkhart Wolff:
Verification of a Signature Architecture with HOL-Z. FM 2005: 269-285 - [c18]David Aspinall, Christoph Lüth, Burkhart Wolff:
Assisted Proof Document Authoring. MKM 2005: 65-80 - 2004
- [c17]Achim D. Brucker, Burkhart Wolff:
Symbolic Test Case Generation for Primitive Recursive Functions. FATES 2004: 16-32 - [c16]Thomas Meyer, Burkhart Wolff:
Tactic-Based Optimized Compilation of Functional Programs. TYPES 2004: 201-214 - 2003
- [j2]Achim D. Brucker
, Frank Rittinger, Burkhart Wolff:
HOL-Z 2.0: A Proof Environment for Z-Specifications. J. Univers. Comput. Sci. 9(2): 152-172 (2003) - [c15]Achim D. Brucker
, Burkhart Wolff:
A Case Study of a Formalized Security Architecture. FMICS 2003: 24-40 - [c14]Nicole Rauch, Burkhart Wolff:
Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL. FMICS 2003: 41-58 - [e1]David A. Basin, Burkhart Wolff:
Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings. Lecture Notes in Computer Science 2758, Springer 2003, ISBN 3-540-40664-6 [contents] - 2002
- [c13]Achim D. Brucker
, Burkhart Wolff:
A Proposal for a Formal OCL Semantics in Isabelle/HOL. TPHOLs 2002: 99-114 - [c12]Achim D. Brucker
, Burkhart Wolff:
Using Theory Morphisms for Implementing Formal Methods Tools. TYPES 2002: 59-77 - [c11]Achim D. Brucker
, Burkhart Wolff:
HOL-OCL: Experiences, Consequences and Design Choices. UML 2002: 196-211 - 2001
- [c10]Achim D. Brucker, Burkhart Wolff:
Testing Distributed Component Based Systems Using UML/OCL. GI Jahrestagung (1) 2001: 608-614 - 2000
- [c9]Christoph Lüth, Burkhart Wolff:
More About TAS and IsaWin - Tools for Formal Program Development. FASE 2000: 367-370 - [c8]Christoph Lüth, Burkhart Wolff:
TAS - A Generic Window Inference System. TPHOLs 2000: 406-423
1990 – 1999
- 1999
- [b1]Burkhart Wolff:
A generic calculus of transformations. Bremen University, Germany, Shaker 1999, ISBN 978-3-8265-3654-0, pp. 1-162 - [j1]Christoph Lüth, Burkhart Wolff:
Functional Design and Implementation of Graphical User Interfaces for Theorem Provers. J. Funct. Program. 9(2): 167-189 (1999) - 1998
- [c7]Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff:
Tool Integration in the UniForM-Workbench. Tool Support for System Specification, Development and Verification 1998: 160-173 - [c6]Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, Burkhart Wolff:
HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z. ZUM 1998: 116-134 - 1997
- [c5]Haykal Tej, Burkhart Wolff:
A Corrected Failure Divergence Model for CSP in Isabelle/HOL. FME 1997: 318-337 - [c4]Kolyang, Christoph Lüth, Thomas Meyer, Burkhart Wolff:
TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving. TAPSOFT 1997: 855-858 - 1996
- [c3]Kolyang, Thomas Santen, Burkhart Wolff:
Correct and User-Friendly Implementations of Transformation Systems. FME 1996: 629-648 - [c2]Kolyang, Thomas Santen, Burkhart Wolff:
A Structure Preserving Encoding of Z in Isabelle/HOL. TPHOLs 1996: 283-298 - 1995
- [p1]Bernd Krieg-Brückner, Junbo Liu, Hui Shi, Burkhart Wolff:
Towards Correct, Efficient and Reusable Transformational Developments. KORSO Book 1995: 270-284 - 1993
- [c1]Bernd Krieg-Brückner, Junbo Liu, Burkhart Wolff, Hui Shi:
Towards Correctness, Efficiency and Reusability of Transformational Developments. GI Jahrestagung 1993: 241-246
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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-08-05 21:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint