Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPatrick Cousot
Person information
- affiliation: CS, CIMS, NYU, New York, NY, USA
- affiliation (former): ENS Paris, France
- award (2013): Programming Languages Achievement Award
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 1978
[b1]Patrick Cousot:
Méthodes itératives de construction et d'approximation de points fixes d'opérateurs monotones sur un treillis, analyse sémantique des programmes. Grenoble Institute of Technology, France, 1978
Journal Articles
- 2024
- [j25]Patrick Cousot
:
Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation. Proc. ACM Program. Lang. 8(POPL): 175-208 (2024) - 2022
- [j24]Chaoqiang Deng, Patrick Cousot:
The Systematic Design of Responsibility Analysis by Abstract Interpretation. ACM Trans. Program. Lang. Syst. 44(1): 3:1-3:90 (2022) - 2021
- [j23]Patrick Cousot:
Calculational design of a regular model checker by abstract interpretation. Theor. Comput. Sci. 869: 62-84 (2021) - 2019
- [j22]Patrick Cousot, Roberto Giacobazzi, Francesco Ranzato:
A²I: abstract² interpretation. Proc. ACM Program. Lang. 3(POPL): 42:1-42:31 (2019) - 2015
- [j21]Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival:
Static Analysis and Verification of Aerospace Software by Abstract Interpretation. Found. Trends Program. Lang. 2(2-3): 71-190 (2015) - 2012
- [j20]Patrick Cousot, Radhia Cousot, Laurent Mauborgne:
Theories, solvers and static analysis by abstract interpretation. J. ACM 59(6): 31:1-31:56 (2012) - 2011
- [j19]Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival:
Static analysis by abstract interpretation of embedded critical software. ACM SIGSOFT Softw. Eng. Notes 36(1): 1-8 (2011) - [j18]Patrick Cousot, Radhia Cousot:
Grammar semantics, analysis and parsing by abstract interpretation. Theor. Comput. Sci. 412(44): 6135-6192 (2011) - 2009
- [j17]Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival:
Why does Astrée scale up? Formal Methods Syst. Des. 35(3): 229-264 (2009) - [j16]Patrick Cousot, Radhia Cousot:
Bi-inductive structural semantics. Inf. Comput. 207(2): 258-283 (2009) - [j15]Daniel Kästner, Christian Ferdinand, Stephan Wilhelm, Stefana Nenova, Olha Honcharova, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival, Élodie-Jane Sims:
Astree: Nachweis der Abwesenheit von Laufzeit. Softwaretechnik-Trends 29(3) (2009) - [j14]Patrick Cousot, Radhia Cousot, Roberto Giacobazzi:
Abstract interpretation of resolution-based semantics. Theor. Comput. Sci. 410(46): 4724-4746 (2009) - 2008
- [j13]Mike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, Tiziana Margaria:
Software engineering and formal methods. Commun. ACM 51(9): 54-59 (2008) - 2003
- [j12]Patrick Cousot, Radhia Cousot:
Parsing as abstract interpretation of grammar semantics. Theor. Comput. Sci. 290(1): 531-544 (2003) - 2002
- [j11]Patrick Cousot:
Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. Theor. Comput. Sci. 277(1-2): 47-103 (2002) - 1999
- [j10]Patrick Cousot, Radhia Cousot:
Refining Model Checking by Abstract Interpretation. Autom. Softw. Eng. 6(1): 69-95 (1999) - [j9]Patrick Cousot:
Directions for Research in Approximate System Analysis. ACM Comput. Surv. 31(3es): 6 (1999) - 1997
- [j8]Patrick Cousot:
Program Analysis: The Abstract Interpretation Perspective. ACM SIGPLAN Notices 32(1): 73-76 (1997) - 1996
- [j7]Patrick Cousot:
Abstract Interpretation. ACM Comput. Surv. 28(2): 324-328 (1996) - [j6]Patrick Cousot:
Program Analysis: The Abstract Interpretation Perspective. ACM Comput. Surv. 28(4es): 165 (1996) - 1993
- [j5]Patrick Cousot, Radhia Cousot:
"A la Burstall" Intermittent Assertions Induction Principles for Proving Inevitable Ability Properties of Programs. Theor. Comput. Sci. 120(1): 123-155 (1993) - 1992
- [j4]Patrick Cousot, Radhia Cousot:
Abstract Interpretation and Application to Logic Programs. J. Log. Program. 13(2&3): 103-179 (1992) - [j3]Patrick Cousot, Radhia Cousot:
Abstract Interpretation Frameworks. J. Log. Comput. 2(4): 511-547 (1992) - 1989
- [j2]Patrick Cousot, Radhia Cousot:
A Language Independent Proof of the Soundness and Completeness of Generalized Hoare Logic. Inf. Comput. 80(2): 165-191 (1989) - 1987
- [j1]Patrick Cousot, Radhia Cousot:
Sometime = Always + Recursion = Always on the Equivalence of the Intermittent and Invariant Assertions Methods for Proving Inevitability Properties of Programs. Acta Informatica 24(1): 1-31 (1987)
Conference and Workshop Papers
- 2023
- [c83]Patrick Cousot:
Abstract Interpretation of Graphs. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems 2023: 72-96 - 2022
- [c82]Patrick Cousot:
Asynchronous Correspondences Between Hybrid Trajectory Semantics. Principles of Systems Design 2022: 131-159 - 2021
- [c81]Patrick Cousot:
Dynamic interval analysis by abstract interpretation. Formal Methods in Outer Space 2021: 61-86 - 2019
- [c80]Patrick Cousot:
Calculational Design of a Regular Model Checker by Abstract Interpretation. ICTAC 2019: 3-21 - [c79]Patrick Cousot:
On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics. LOPSTR 2019: 3-18 - [c78]Patrick Cousot:
Syntactic and Semantic Soundness of Structural Dataflow Analysis. SAS 2019: 96-117 - [c77]Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang, Patrick Cousot:
Verifying Numerical Programs via Iterative Abstract Testing. SAS 2019: 247-267 - [c76]Chaoqiang Deng, Patrick Cousot:
Responsibility Analysis by Abstract Interpretation. SAS 2019: 368-388 - [c75]Patrick Cousot:
Abstract Semantic Dependency. SAS 2019: 389-410 - 2018
- [c74]Patrick Cousot, Roberto Giacobazzi, Francesco Ranzato:
Program Analysis Is Harder Than Verification: A Computability Perspective. CAV (2) 2018: 75-95 - 2017
- [c73]Jade Alglave, Patrick Cousot:
Ogre and Pythia: an invariance proof method for weak consistency models. POPL 2017: 3-18 - 2015
- [c72]Patrick Cousot:
Verification by abstract interpretation, soundness and abstract induction. PPDP 2015: 1-4 - [c71]Junjie Chen, Patrick Cousot:
A Binary Decision Tree Abstract Domain Functor. SAS 2015: 36-53 - [c70]Patrick Cousot:
On Various Abstract Understandings of Abstract Interpretation. TASE 2015: 2-3 - [c69]Patrick Cousot:
Abstracting Induction by Extrapolation and Interpolation. VMCAI 2015: 19-42 - 2014
- [c68]Patrick Cousot, Radhia Cousot:
Abstract interpretation: past, present and future. CSL-LICS 2014: 2:1-2:10 - [c67]Patrick Cousot, Radhia Cousot:
A Galois connection calculus for abstract interpretation. POPL 2014: 3-4 - 2013
- [c66]Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri:
Andromeda: Accurate and Scalable Security Analysis of Web Applications. FASE 2013: 210-225 - [c65]Patrick Cousot, Radhia Cousot, Manuel Fähndrich, Francesco Logozzo:
Automatic Inference of Necessary Preconditions. VMCAI 2013: 128-148 - 2012
- [c64]Patrick Cousot, Michael Monerau:
Probabilistic Abstract Interpretation. ESOP 2012: 169-193 - [c63]Patrick Cousot:
Formal Verification by Abstract Interpretation. NASA Formal Methods 2012: 3-7 - [c62]Francesco Logozzo, Michael Barnett, Manuel Fähndrich, Patrick Cousot, Radhia Cousot:
A semantic integrated development environment. SPLASH 2012: 15-16 - [c61]Patrick Cousot, Radhia Cousot, Francesco Logozzo, Michael Barnett:
An abstract interpretation framework for refactoring with application to extract methods with contracts. OOPSLA 2012: 213-232 - [c60]Patrick Cousot, Radhia Cousot:
An abstract interpretation framework for termination. POPL 2012: 245-258 - 2011
- [c59]Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot:
Linear Absolute Value Relation Analysis. ESOP 2011: 156-175 - [c58]Patrick Cousot, Radhia Cousot, Laurent Mauborgne:
The Reduced Product of Abstract Domains and the Combination of Decision Procedures. FoSSaCS 2011: 456-472 - [c57]Patrick Cousot, Radhia Cousot, Francesco Logozzo:
A parametric segmentation functor for fully automatic and scalable array content analysis. POPL 2011: 105-118 - [c56]Patrick Cousot, Radhia Cousot, Francesco Logozzo:
Precondition Inference from Intermittent Assertions and Application to Contracts on Collections. VMCAI 2011: 150-168 - 2010
- [c55]Patrick Cousot, Radhia Cousot, Laurent Mauborgne:
Logical Abstract Domains and Interpretations. The Future of Software Engineering 2010: 48-71 - [c54]Patrick Cousot, Radhia Cousot, Laurent Mauborgne:
A Scalable Segmented Decision Tree Abstract Domain. Essays in Memory of Amir Pnueli 2010: 72-95 - [c53]Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot:
An Abstract Domain to Discover Interval Linear Equalities. VMCAI 2010: 112-128 - 2009
- [c52]Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot:
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. SAS 2009: 309-325 - 2008
- [c51]Liqian Chen, Antoine Miné, Patrick Cousot:
A Sound Floating-Point Polyhedra Abstract Domain. APLAS 2008: 3-18 - 2007
- [c50]Patrick Cousot:
Proving the absence of run-time errors in safety-critical avionics code. EMSOFT 2007: 7-9 - [c49]Patrick Cousot:
Avionic Software Verification by Abstract Interpretation. ISoLA 2007: 1 - [c48]Patrick Cousot, Pierre Ganty, Jean-François Raskin:
Fixpoint-Guided Abstraction Refinements. SAS 2007: 333-348 - [c47]Patrick Cousot:
The Rôle of Abstract Interpretation in Formal Methods. SEFM 2007: 135-140 - [c46]Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux, Xavier Rival:
Varieties of Static Analyzers: A Comparison with ASTREE. TASE 2007: 3-20 - [c45]Patrick Cousot, Radhia Cousot:
Bi-inductive Structural Semantics: (Extended Abstract). SOS@LICS/ICALP 2007: 29-44 - 2006
- [c44]Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival:
Combination of Abstractions in the ASTRÉE Static Analyzer. ASIAN 2006: 272-300 - [c43]Patrick Cousot, Radhia Cousot:
Grammar Analysis and Parsing by Abstract Interpretation. Program Analysis and Compilation 2006: 175-200 - 2005
- [c42]Patrick Cousot:
Integrating Physical Systems in the Static Analysis of Embedded Control Software. APLAS 2005: 135-138 - [c41]Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival:
The ASTREÉ Analyzer. ESOP 2005: 21-30 - [c40]Patrick Cousot:
Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming. VMCAI 2005: 1-24 - [c39]Patrick Cousot:
The Verification Grand Challenge and Abstract Interpretation. VSTTE 2005: 189-201 - 2004
- [c38]Patrick Cousot, Radhia Cousot:
Basic concepts of abstract interpretation. IFIP Congress Topical Sessions 2004: 359-366 - [c37]Patrick Cousot, Radhia Cousot:
An abstract interpretation-based framework for software watermarking. POPL 2004: 173-185 - 2003
- [c36]Patrick Cousot:
Verification by Abstract Interpretation. Verification: Theory and Practice 2003: 243-268 - [c35]Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival:
A static analyzer for large safety-critical software. PLDI 2003: 196-207 - [c34]Patrick Cousot:
Automatic Verification by Abstract Interpretation. VMCAI 2003: 20-24 - 2002
- [c33]Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival:
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software. The Essence of Computation 2002: 85-108 - [c32]Patrick Cousot, Radhia Cousot:
On Abstraction in Software Verification. CAV 2002: 37-56 - [c31]Patrick Cousot, Radhia Cousot:
Modular Static Program Analysis. CC 2002: 159-178 - [c30]Patrick Cousot, Radhia Cousot:
Systematic design of program transformation frameworks by abstract interpretation. POPL 2002: 178-190 - [c29]Patrick Cousot:
Abstract Interpretation: Theory and Practice. SPIN 2002: 2-5 - 2001
- [c28]Patrick Cousot:
Abstract Interpretation Based Formal Methods and Future Challenges. Informatics 2001: 138-156 - [c27]Patrick Cousot, Radhia Cousot:
Verification of Embedded Software: Problems and Perspectives. EMSOFT 2001: 97-113 - [c26]Patrick Cousot:
Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations. ICLP 2001: 4-5 - [c25]Patrick Cousot, Radhia Cousot:
A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination. MFPS 2001: 41-64 - 2000
- [c24]Patrick Cousot, Radhia Cousot:
Temporal Abstract Interpretation. POPL 2000: 12-25 - [c23]Patrick Cousot:
Partial Completeness of Abstract Fixpoint Checking. SARA 2000: 1-25 - 1997
- [c22]Patrick Cousot, Radhia Cousot:
Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract). AMAST 1997: 138-154 - [c21]Patrick Cousot:
Types as Abstract Interpretations. POPL 1997: 316-331 - [c20]Patrick Cousot:
Abstract Interpretation Based Static Analysis Parameterized by Semantics. SAS 1997: 388-394 - [c19]Patrick Cousot:
Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. MFPS 1997: 77-102 - 1996
- [c18]Flemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft, Bent Thomsen:
Logical and Operational Methods in the Analysis of Programs and Systems. LOMAPS 1996: 1-21 - 1995
- [c17]Patrick Cousot:
Completeness in Abstract Interpretation. GULP-PRODE 1995: 37-38 - [c16]Patrick Cousot, Radhia Cousot:
Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form. CAV 1995: 293-308 - [c15]Patrick Cousot, Radhia Cousot:
Formal Language, Grammar and Set-Constraint-Based Program Analysis by Abstract Interpretation. FPCA 1995: 170-181 - 1994
- [c14]Patrick Cousot, Radhia Cousot:
Invited Talk: Higher Order Abstract Interpretation (and Application to Comportment Analysis Generalizing Strictness, Termination, Projection, and PER Analysis. ICCL 1994: 95-112 - 1993
- [c13]Patrick Cousot, Radhia Cousot:
Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper). Formal Methods in Programming and Their Applications 1993: 98-127 - 1992
- [c12]Patrick Cousot, Radhia Cousot:
Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. PLILP 1992: 269-295 - [c11]Patrick Cousot, Radhia Cousot:
Inductive Definitions, Semantics and Abstract Interpretation. POPL 1992: 83-94 - 1991
- [c10]Patrick Cousot:
Abstract Interpretation of Logic Programs. ICLP 1991: 940 - [c9]Patrick Cousot, Radhia Cousot:
Relational Abstract Interpretation of Higher Order Functional Programs (extended abstract). JTASPEFT/WSA 1991: 33-36 - [c8]Patrick Cousot, Radhia Cousot:
Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation. JTASPEFT/WSA 1991: 107-110 - 1980
- [c7]Patrick Cousot, Radhia Cousot:
Semantic Analysis of Communicating Sequential Processes (Shortened Version). ICALP 1980: 119-133 - 1979
- [c6]Patrick Cousot, Radhia Cousot:
Systematic Design of Program Analysis Frameworks. POPL 1979: 269-282 - 1978
- [c5]Patrick Cousot, Nicolas Halbwachs:
Automatic Discovery of Linear Restraints Among Variables of a Program. POPL 1978: 84-96 - 1977
- [c4]Patrick Cousot, Radhia Cousot:
Static Determination of Dynamic Properties of Recursive Procedures. Formal Description of Programming Concepts 1977: 237-278 - [c3]Patrick Cousot, Radhia Cousot:
Static Determination of Dynamic Properties of Generalized Type Unions. Language Design for Reliable Software 1977: 77-94 - [c2]Patrick Cousot, Radhia Cousot:
Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. POPL 1977: 238-252 - [c1]Patrick Cousot, Radhia Cousot:
Automatic synthesis of optimal invariant assertions: Mathematical foundations. Artificial Intelligence and Programming Languages 1977: 1-12
Parts in Books or Collections
- 2010
- [p2]Patrick Cousot, Radhia Cousot:
A gentle introduction to formal verification of computer systems by abstract interpretation. Logics and Languages for Reliability and Security 2010: 1-29 - 1990
- [p1]Patrick Cousot:
Methods and Logics for Proving Programs. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 841-993
Editorship
- 2003
- [e5]Patrick Cousot, Lisbeth Fajstrup, Eric Goubault, Maurice Herlihy, Martin Raussen, Vladimiro Sassone:
4th Workshop on GEometry and Topology in COncurrency and distributed systems theory, GETCO 2002, Satellite workshop of DISC 2002, Toulouse, France, October 2002. Electronic Notes in Theoretical Computer Science 81, Elsevier 2003 [contents] - 2002
- [e4]Patrick Cousot, Lisbeth Fajstrup, Eric Goubault, Jeremy Gunawardena, Maurice Herlihy, Martin Raussen, Vladimiro Sassone:
3rd Workshop on GEometry and Topology in COncurrency theory, GETCO 2001, Satellite Event of CONCUR 2001, Aalborg, Denmark, August 25, 2001. Electronic Notes in Theoretical Computer Science 52(2), Elsevier 2002 [contents] - 2001
- [e3]Patrick Cousot:
Static Analysis, 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001, Proceedings. Lecture Notes in Computer Science 2126, Springer 2001, ISBN 3-540-42314-1 [contents] - 2000
- [e2]Patrick Cousot, Eric Goubault, Jeremy Gunawardena, Maurice Herlihy, Martin Raussen, Vladimiro Sassone:
2nd Workshop on Geometry and Topology in Concurrency theory, GETCO 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 21, 2000. Electronic Notes in Theoretical Computer Science 39(2), Elsevier 2000 [contents] - 1993
- [e1]Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy:
Static Analysis, Third International Workshop, WSA'93, Padova, Italy, September 22-24, 1993, Proceedings. Lecture Notes in Computer Science 724, Springer 1993, ISBN 3-540-57264-3 [contents]
Informal and Other Publications
- 2023
- [i8]Patrick Cousot:
Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation. CoRR abs/2310.15340 (2023) - 2022
- [i7]Patrick Cousot:
Asynchronous Correspondences Between Hybrid Trajectory Semantics. CoRR abs/2209.14945 (2022) - 2019
- [i6]Chaoqiang Deng, Patrick Cousot:
Responsibility Analysis by Abstract Interpretation. CoRR abs/1907.08251 (2019) - 2016
- [i5]Jade Alglave, Patrick Cousot:
Syntax and analytic semantics of LISA. CoRR abs/1608.06583 (2016) - [i4]Jade Alglave, Patrick Cousot, Luc Maranget:
Syntax and semantics of the weak consistency model specification language cat. CoRR abs/1608.07531 (2016) - [i3]Jade Alglave, Patrick Cousot, Caterina Urban:
Concurrency with Weak Memory Models (Dagstuhl Seminar 16471). Dagstuhl Reports 6(11): 108-128 (2016) - 2014
- [i2]Patrick Cousot, Daniel Kroening, Carsten Sinz:
Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352). Dagstuhl Reports 4(8): 107-125 (2014) - 2007
- [i1]Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival:
A Static Analyzer for Large Safety-Critical Software. CoRR abs/cs/0701193 (2007)
Coauthor Index
[j21] [j20] [j19] [j18] [j17] [j16] [j15] [j14] [j12] [j10] [j5] [j4] [j3] [j2] [j1] [c68] [c67] [c66] [c65] [c62] [c61] [c60] [c58] [c57] [c56] [c55] [c54] [c46] [c45] [c44] [c43] [c41] [c38] [c37] [c35] [c33] [c32] [c31] [c30] [c27] [c25] [c24] [c22] [c16] [c15] [c14] [c13] [c12] [c11] [c9] [c8] [c7] [c6] [c4] [c3] [c2] [c1] [p2] [i1]
a service of 
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-04-25 05:57 CEST 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:
