Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStephen A. Cook
Person information
- affiliation: University of Toronto, Canada
- award: Turing Award, 1982
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2021
[j55]Iddo Tzameret
, Stephen A. Cook:
Uniform, Integral, and Feasible Proofs for the Determinant Identities. J. ACM 68(2): 12:1-12:80 (2021)- 2016
- [j54]Klaus Aehlig, Stephen A. Cook, Phuong Nguyen:
Relativizing small complexity classes and their theories. Comput. Complex. 25(1): 177-215 (2016) - 2014
- [j53]Anil Ada, Arkadev Chattopadhyay, Stephen A. Cook, Lila Fontes, Michal Koucký, Toniann Pitassi:
The Hardness of Being Private. ACM Trans. Comput. Theory 6(1): 1:1-1:24 (2014) - [j52]Stephen A. Cook, Yuval Filmus, Dai Tri Man Le:
The complexity of the comparator circuit value problem. ACM Trans. Comput. Theory 6(4): 15:1-15:44 (2014) - 2012
- [j51]Stephen A. Cook, Lila Fontes:
Formal Theories for Linear Algebra. Log. Methods Comput. Sci. 8(1) (2012) - [j50]Phuong Nguyen, Stephen A. Cook:
The Complexity of Proving the Discrete Jordan Curve Theorem. ACM Trans. Comput. Log. 13(1): 9:1-9:24 (2012) - [j49]Stephen A. Cook, Pierre McKenzie, Dustin Wehr, Mark Braverman, Rahul Santhanam:
Pebbles and Branching Programs for Tree Evaluation. ACM Trans. Comput. Theory 3(2): 4:1-4:43 (2012) - [j48]Akitoshi Kawamura, Stephen A. Cook:
Complexity Theory for Operators in Analysis. ACM Trans. Comput. Theory 4(2): 5:1-5:24 (2012) - 2011
- [j47]Dai Tri Man Le, Stephen A. Cook:
Formalizing Randomized Matching Algorithms. Log. Methods Comput. Sci. 8(3) (2011) - 2007
- [j46]Stephen A. Cook, Jan Krajícek:
Consequences of the provability of NP ⊆ P/poly. J. Symb. Log. 72(4): 1353-1371 (2007) - 2006
- [j45]Phuong Nguyen, Stephen A. Cook:
Theories for TC0 and Other Small Complexity Classes. Log. Methods Comput. Sci. 2(1) (2006) - [j44]Stephen A. Cook, Neil Thapen:
The strength of replacement in weak arithmetic. ACM Trans. Comput. Log. 7(4): 749-764 (2006) - 2005
- [j43]Stephen A. Cook, Tsuyoshi Morioka:
Quantified propositional calculus and a second-order theory for NC1. Arch. Math. Log. 44(6): 711-749 (2005) - 2004
- [j42]Michael Soltys, Stephen A. Cook:
The proof complexity of linear algebra. Ann. Pure Appl. Log. 130(1-3): 277-323 (2004) - 2003
- [j41]Stephen A. Cook, Antonina Kolokolova:
A second-order system for polytime reasoning based on Grädel's theorem. Ann. Pure Appl. Log. 124(1-3): 193-231 (2003) - [j40]Stephen A. Cook:
The importance of the P versus NP question. J. ACM 50(1): 27-29 (2003) - [j39]Stephen A. Cook, Yongmei Liu:
A Complete Axiomatization for Blocks World. J. Log. Comput. 13(4): 581-594 (2003) - 2002
- [j38]Stephen A. Cook, Jan K. Pachl, Irwin S. Pressman:
The optimal location of replicas in a network using a READ-ONE-WRITE-ALL policy. Distributed Comput. 15(1): 57-66 (2002) - 1999
- [j37]Armin Haken, Stephen A. Cook:
An Exponential Lower Bound for the Size of Monotone Real Circuits. J. Comput. Syst. Sci. 58(2): 326-335 (1999) - 1998
- [j36]Paul Beame, Stephen A. Cook, Jeff Edmonds, Russell Impagliazzo, Toniann Pitassi:
The Relative Complexity of NP Search Problems. J. Comput. Syst. Sci. 57(1): 3-19 (1998) - 1997
- [j35]Stephen A. Cook, Russell Impagliazzo, Tomoyuki Yamakami:
A Tight Relationship Between Generic Oracles and Type-2 Complexity Theory. Inf. Comput. 137(2): 159-170 (1997) - 1996
- [j34]Bruce M. Kapron, Stephen A. Cook:
A New Characterization of Type-2 Feasibility. SIAM J. Comput. 25(1): 117-132 (1996) - 1993
- [j33]Stephen A. Cook, Alasdair Urquhart:
Functional Interpretations of Feasibly Constructive Arithmetic. Ann. Pure Appl. Log. 63(2): 103-200 (1993) - [j32]Stephen A. Cook, Patrick W. Dymond:
Parallel Pointer Machines. Comput. Complex. 3: 19-30 (1993) - 1992
- [j31]Stephen J. Bellantoni, Stephen A. Cook:
A New Recursion-Theoretic Characterization of the Polytime Functions. Comput. Complex. 2: 97-110 (1992) - [j30]Samuel R. Buss, Stephen A. Cook, A. Gupta, V. Ramachandran:
An Optimal Parallel Algorithm for Formula Evaluation. SIAM J. Comput. 21(4): 755-780 (1992) - 1990
- [j29]Stephen A. Cook, Toniann Pitassi:
A Feasibly Constructive Lower Bound for Resolution Proofs. Inf. Process. Lett. 34(2): 81-85 (1990) - 1989
- [j28]Patrick W. Dymond, Stephen A. Cook:
Complexity Theory of Parallel Time and Hardware. Inf. Comput. 80(3): 205-226 (1989) - [j27]Allan Borodin, Stephen A. Cook, Patrick W. Dymond, Walter L. Ruzzo, Martin Tompa:
Two Applications of Inductive Counting for Complementation Problems. SIAM J. Comput. 18(3): 559-578 (1989) - [j26]Allan Borodin, Stephen A. Cook, Patrick W. Dymond, Walter L. Ruzzo, Martin Tompa:
Erratum: Two Applications of Inductive Counting for Complementation Problems. SIAM J. Comput. 18(6): 1283 (1989) - 1988
- [j25]Stephen A. Cook:
Short Propositional Formulas Represent Nondeterministic Computations. Inf. Process. Lett. 26(5): 269-270 (1988) - [j24]Stephen A. Cook, Michael Luby:
A Simple Parallel Algorithm for Finding a Satisfying Truth Assignment to a 2-CNF Formula. Inf. Process. Lett. 27(3): 141-145 (1988) - 1987
- [j23]Stephen A. Cook, Pierre McKenzie:
Problems Complete for Deterministic Logarithmic Space. J. Algorithms 8(3): 385-394 (1987) - [j22]Pierre McKenzie, Stephen A. Cook:
The Parallel Complexity of Abelian Permutation Group Problems. SIAM J. Comput. 16(5): 880-909 (1987) - 1986
- [j21]Stephen A. Cook, Cynthia Dwork, Rüdiger Reischuk:
Upper and Lower Time Bounds for Parallel Random Access Machines without Simultaneous Writes. SIAM J. Comput. 15(1): 87-97 (1986) - [j20]Paul Beame, Stephen A. Cook, H. James Hoover:
Log Depth Circuits for Division and Related Problems. SIAM J. Comput. 15(4): 994-1003 (1986) - 1985
- [j19]Stephen A. Cook:
A Taxonomy of Problems with Fast Parallel Algorithms. Inf. Control. 64(1-3): 2-21 (1985) - [j18]Stephen A. Cook, H. James Hoover:
A Depth-Universal Circuit. SIAM J. Comput. 14(4): 833-839 (1985) - 1983
- [j17]Stephen A. Cook:
An Overview of Computational Complexity. Commun. ACM 26(6): 400-408 (1983) - [j16]Burchard von Braunmühl, Stephen A. Cook, Kurt Mehlhorn, Rutger Verbeek:
The Recognition of Deterministic CFL's in Small Time and Space. Inf. Control. 56(1/2): 34-51 (1983) - [j15]Allan Borodin, Stephen A. Cook, Nicholas Pippenger:
Parallel Computation for Well-Endowed Rings and Space-Bounded Probabilistic Machines. Inf. Control. 58(1-3): 113-136 (1983) - 1982
- [j14]Allan Borodin, Stephen A. Cook:
A Time-Space Tradeoff for Sorting on a General Sequential Model of Computation. SIAM J. Comput. 11(2): 287-297 (1982) - 1981
- [j13]Stephen A. Cook:
Corrigendum: Soundness and Completeness of an Axiom System for Program Verification. SIAM J. Comput. 10(3): 612 (1981) - 1980
- [j12]Stephen A. Cook, Charles Rackoff:
Space Lower Bounds for Maze Threadability on Restricted Machines. SIAM J. Comput. 9(3): 636-652 (1980) - 1979
- [j11]Stephen A. Cook, Robert A. Reckhow:
The Relative Efficiency of Propositional Proof Systems. J. Symb. Log. 44(1): 36-50 (1979) - 1978
- [j10]Stephen A. Cook:
Soundness and Completeness of an Axiom System for Program Verification. SIAM J. Comput. 7(1): 70-90 (1978) - 1976
- [j9]Stephen A. Cook, Ravi Sethi:
Storage Requirements for Deterministic Polynomial Time Recognizable Languages. J. Comput. Syst. Sci. 13(1): 25-37 (1976) - [j8]Allan Borodin, Stephen A. Cook:
On the Number of Additions to Compute Specific Polynomials. SIAM J. Comput. 5(1): 146-157 (1976) - [j7]Stephen A. Cook:
A short proof of the pigeon hole principle using extended resolution. SIGACT News 8(4): 28-32 (1976) - 1974
- [j6]Stephen A. Cook:
An Observation on Time-Storage Trade Off. J. Comput. Syst. Sci. 9(3): 308-316 (1974) - [j5]Stephen A. Cook, Robert A. Reckhow:
Corrections for "On the lengths of proofs in the propositional calculus preliminary version". SIGACT News 6(3): 15-22 (1974) - 1973
- [j4]Stephen A. Cook:
A Hierarchy for Nondeterministic Time Complexity. J. Comput. Syst. Sci. 7(4): 343-353 (1973) - [j3]Stephen A. Cook, Robert A. Reckhow:
Time Bounded Random Access Machines. J. Comput. Syst. Sci. 7(4): 354-375 (1973) - 1971
- [j2]Stephen A. Cook:
Characterizations of Pushdown Machines in Terms of Time-Bounded Computers. J. ACM 18(1): 4-18 (1971) - 1966
- [j1]Stephen A. Cook:
The Solvability of the Derivability Problem for One-Normal Systems. J. ACM 13(2): 223-225 (1966)
Conference and Workshop Papers
- 2017
- [c50]Iddo Tzameret, Stephen A. Cook:
Uniform, integral and efficient proofs for the determinant identities. LICS 2017: 1-12 - 2016
- [c49]Robert Robere, Toniann Pitassi, Benjamin Rossman, Stephen A. Cook:
Exponential Lower Bounds for Monotone Span Programs. FOCS 2016: 406-415 - [c48]Stephen A. Cook, Jeff Edmonds, Venkatesh Medabalimi, Toniann Pitassi:
Lower Bounds for Nondeterministic Semantic Read-Once Branching Programs. ICALP 2016: 36:1-36:13 - 2013
- [c47]Kaveh Ghasemloo, Stephen A. Cook:
Theories for Subexponential-size Bounded-depth Frege Proofs. CSL 2013: 296-315 - [c46]Yuval Filmus, Toniann Pitassi, Robert Robere, Stephen A. Cook:
Average Case Lower Bounds for Monotone Switching Networks. FOCS 2013: 598-607 - 2012
- [c45]Anil Ada, Arkadev Chattopadhyay, Stephen A. Cook, Lila Fontes, Michal Koucký, Toniann Pitassi:
The Hardness of Being Private. CCC 2012: 192-202 - [c44]Stephen A. Cook:
Connecting Complexity Classes, Weak Formal Theories, and Propositional Proof Systems (Invited Talk). CSL 2012: 9-11 - 2011
- [c43]Dai Tri Man Le, Stephen A. Cook, Yuli Ye:
A Formal Theory for the Complexity Class Associated with the Stable Marriage Problem. CSL 2011: 381-395 - [c42]Dai Tri Man Le, Stephen A. Cook:
Formalizing Randomized Matching Algorithms. LICS 2011: 185-194 - 2010
- [c41]Stephen A. Cook, Lila Fontes:
Formal Theories for Linear Algebra. CSL 2010: 245-259 - [c40]Akitoshi Kawamura, Stephen A. Cook:
Complexity theory for operators in analysis. STOC 2010: 495-502 - 2009
- [c39]Mark Braverman, Stephen A. Cook, Pierre McKenzie, Rahul Santhanam, Dustin Wehr:
Fractional Pebbling and Thrifty Branching Programs. FSTTCS 2009: 109-120 - [c38]Mark Braverman, Stephen A. Cook, Pierre McKenzie, Rahul Santhanam, Dustin Wehr:
Branching Programs for Tree Evaluation. MFCS 2009: 175-186 - 2007
- [c37]Klaus Aehlig, Stephen A. Cook, Phuong Nguyen:
Relativizing Small Complexity Classes and Their Theories. CSL 2007: 374-388 - [c36]Phuong Nguyen, Stephen A. Cook:
The Complexity of Proving the Discrete Jordan Curve Theorem. LICS 2007: 245-256 - 2004
- [c35]Stephen A. Cook, Neil Thapen:
The Strength of Replacement in Weak Arithmetic. LICS 2004: 256-264 - [c34]Phuong Nguyen, Stephen A. Cook:
VTC circ: A Second-Order Theory for TCcirc. LICS 2004: 378-387 - [c33]Stephen A. Cook, Antonina Kolokolova:
A Second-Order Theory for NL. LICS 2004: 398-407 - 2002
- [c32]Stephen A. Cook, Yongmei Liu:
A Complete Axiomatization for Blocks World. AI&M 2002 - [c31]Stephen A. Cook:
Complexity Classes, Propositional Proof Systems, and Formal Theories. LICS 2002: 311 - [c30]Michael Soltys, Stephen A. Cook:
The Proof Complexity of Linear Algebra. LICS 2002: 335-344 - 2001
- [c29]Stephen A. Cook, Antonina Kolokolova:
A Second-Order System for Polytime Reasoning Using Graedel's Theorem. LICS 2001: 177-186 - 1996
- [c28]Stephen A. Cook, David G. Mitchell:
Finding hard instances of the satisfiability problem: A survey. Satisfiability Problem: Theory and Applications 1996: 1-17 - 1995
- [c27]Paul Beame, Stephen A. Cook, Jeff Edmonds, Russell Impagliazzo, Toniann Pitassi:
The relative complexity of NP search problems. STOC 1995: 303-314 - 1992
- [c26]Irwin S. Pressman, Stephen A. Cook, Jan K. Pachl:
The optimal placement of replicas in a network using a read any - write all policy. CASCON 1992: 189-201 - [c25]Stephen J. Bellantoni, Stephen A. Cook:
A New Recursion-Theoretic Characterization of the Polytime Functions (Extended Abstract). STOC 1992: 283-293 - 1991
- [c24]Bruce M. Kapron, Stephen A. Cook:
A New Characterization of Mehlhorn's Polynomial Time Functionals (Extended Abstract). FOCS 1991: 342-347 - 1989
- [c23]Stephen A. Cook, Bruce M. Kapron:
Characterizations of the Basic Feasible Functionals of Finite Type (Extended Abstract). FOCS 1989: 154-159 - [c22]Stephen A. Cook, Alasdair Urquhart:
Functional Interpretations of Feasibly Constructive Arithmetic (Extended Abstract). STOC 1989: 107-112 - 1988
- [c21]Allan Borodin, Stephen A. Cook, Patrick W. Dymond, Walter L. Ruzzo, Martin Tompa:
Two applications of complementation via inductive counting. SCT 1988: 116-125 - 1984
- [c20]Paul Beame, Stephen A. Cook, H. James Hoover:
Log Depth Circuits for Division and Related Problems. FOCS 1984: 1-6 - 1983
- [c19]Stephen A. Cook:
The Classifikation of Problems which have Fast Parallel Algorithms. FCT 1983: 78-93 - [c18]Pierre McKenzie, Stephen A. Cook:
The Parallel Complexity of the Abelian Permutation Group Membership Problem. FOCS 1983: 154-161 - 1982
- [c17]Stephen A. Cook, Cynthia Dwork:
Bounds on the Time for Parallel RAM's to Compute Simple Functions. STOC 1982: 231-233 - 1980
- [c16]Patrick W. Dymond, Stephen A. Cook:
Hardware Complexity and Parallel Computation (Preliminary Version). FOCS 1980: 360-372 - [c15]Allan Borodin, Stephen A. Cook:
A Time-Space Tradeoff for Sorting on a General Sequential Model of Computation. STOC 1980: 294-301 - 1979
- [c14]Stephen A. Cook:
Deterministic CFL's Are Accepted Simultaneously in Polynomial Time and Log Squared Space. STOC 1979: 338-345 - 1975
- [c13]Stephen A. Cook, Derek C. Oppen:
An Assertion Language for Data Structures. POPL 1975: 160-166 - [c12]Stephen A. Cook:
Feasibly Constructive Proofs and the Propositional Calculus (Preliminary Version). STOC 1975: 83-97 - [c11]Derek C. Oppen, Stephen A. Cook:
Proving Assertions about Programs that Manipulate Data Structures. STOC 1975: 107-116 - 1974
- [c10]Stephen A. Cook, Ravi Sethi:
Storage Requirements for Deterministic Polynomial Time Recognizable Languages. STOC 1974: 33-39 - [c9]Stephen A. Cook, Robert A. Reckhow:
On the Lengths of Proofs in the Propositional Calculus (Preliminary Version). STOC 1974: 135-148 - [c8]Allan Borodin, Stephen A. Cook:
On the Number of Additions to Compute Specific Polynomials (Preliminary Version). STOC 1974: 342-347 - 1973
- [c7]Stephen A. Cook:
An Observation on Time-Storage Trade Off. STOC 1973: 29-33 - 1972
- [c6]Stephen A. Cook, Robert A. Reckhow:
Time-Bounded Random Access Machines. STOC 1972: 73-80 - [c5]Stephen A. Cook:
A Hierarchy for Nondeterministic Time Complexity. STOC 1972: 187-192 - 1971
- [c4]Stephen A. Cook:
Linear Time Simulation of Deterministic Two-Way Pushdown Automata. IFIP Congress (1) 1971: 75-80 - [c3]Stephen A. Cook:
The Complexity of Theorem-Proving Procedures. STOC 1971: 151-158 - 1970
- [c2]Stephen A. Cook:
Path Systems and Language Recognition. STOC 1970: 70-72 - 1969
- [c1]Stephen A. Cook:
Variations on Pushdown Machines (Detailed Abstract). STOC 1969: 229-231
Parts in Books or Collections
- 2023
- [p9]Stephen A. Cook:
The 1982 ACM Turing Award Lecture: An Overview of Computational Complexity. Logic, Automata, and Computational Complexity 2023: 47-70 - [p8]Stephen A. Cook:
The Complexity of Theorem-Proving Procedures. Logic, Automata, and Computational Complexity 2023: 143-152 - [p7]Stephen A. Cook:
Characterizations of Pushdown Machines in Terms of Time-Bounded Computers. Logic, Automata, and Computational Complexity 2023: 153-172 - [p6]Stephen A. Cook, Robert A. Reckhow:
The Relative Efficiency of Propositional Proof Systems. Logic, Automata, and Computational Complexity 2023: 173-192 - [p5]Stephen A. Cook:
Feasibly Constructive Proofs and the Propositional Calculus (Preliminary Version). Logic, Automata, and Computational Complexity 2023: 193-218 - [p4]Stephen A. Cook:
Towards a Complexity Theory of Synchronous Parallel Computation. Logic, Automata, and Computational Complexity 2023: 219-244 - [p3]Allan Borodin, Stephen A. Cook:
A Time-Space Tradeoff for Sorting on a General Sequential Model of Computation. Logic, Automata, and Computational Complexity 2023: 245-260 - [p2]Stephen A. Cook, Pierre McKenzie, Dustin Wehr, Mark Braverman, Rahul Santhanam:
Pebbles and Branching Programs for Tree Evaluation. Logic, Automata, and Computational Complexity 2023: 261-318 - [p1]Stephen A. Cook:
A Survey of Classes of Primitive Recursive Functions. Logic, Automata, and Computational Complexity 2023: 325-336
Informal and Other Publications
- 2018
- [i18]Iddo Tzameret, Stephen A. Cook:
Uniform, Integral and Feasible Proofs for the Determinant Identities. CoRR abs/1811.04313 (2018) - [i17]Iddo Tzameret, Stephen A. Cook:
Uniform, Integral and Feasible Proofs for the Determinant Identities. Electron. Colloquium Comput. Complex. TR18 (2018) - 2017
- [i16]Stephen A. Cook, Bruce M. Kapron:
A Survey of Classes of Primitive Recursive Functions. Electron. Colloquium Comput. Complex. TR17 (2017) - 2016
- [i15]Stephen A. Cook, Toniann Pitassi, Robert Robere, Benjamin Rossman:
Exponential Lower Bounds for Monotone Span Programs. Electron. Colloquium Comput. Complex. TR16 (2016) - 2013
- [i14]Akitoshi Kawamura, Stephen A. Cook:
Complexity Theory for Operators in Analysis. CoRR abs/1305.0453 (2013) - [i13]Yuval Filmus, Toniann Pitassi, Robert Robere, Stephen A. Cook:
Average Case Lower Bounds for Monotone Switching Networks. Electron. Colloquium Comput. Complex. TR13 (2013) - 2012
- [i12]Stephen A. Cook:
Relativized Propositional Calculus. CoRR abs/1203.2168 (2012) - [i11]Klaus Aehlig, Stephen A. Cook, Phuong Nguyen:
Relativizing Small Complexity Classes and their Theories. CoRR abs/1204.5508 (2012) - [i10]Stephen A. Cook, Yuval Filmus, Dai Tri Man Le:
The Complexity of the Comparator Circuit Value Problem. CoRR abs/1208.2721 (2012) - 2011
- [i9]Dai Tri Man Le, Stephen A. Cook, Yuli Ye:
Complexity Classes and Theories for the Comparator Circuit Value Problem. CoRR abs/1106.4142 (2011) - 2010
- [i8]Phuong Nguyen, Stephen A. Cook:
The Complexity of Proving the Discrete Jordan Curve Theorem. CoRR abs/1002.2954 (2010) - [i7]Stephen A. Cook, Pierre McKenzie, Dustin Wehr, Mark Braverman, Rahul Santhanam:
Pebbles and Branching Programs for Tree Evaluation. CoRR abs/1005.2642 (2010) - 2006
- [i6]Stephen A. Cook:
Comments on Beckmann's Uniform Reducts. CoRR abs/cs/0601086 (2006) - 2005
- [i5]Phuong Nguyen, Stephen A. Cook:
Theories for TC0 and Other Small Complexity Classes. CoRR abs/cs/0505013 (2005) - [i4]Mark Braverman, Stephen A. Cook:
Computing over the Reals: Foundations for Scientific Computing. CoRR abs/cs/0509042 (2005) - 2004
- [i3]Stephen A. Cook, Neil Thapen:
The strength of replacement in weak arithmetic. CoRR cs.LO/0409015 (2004) - 2001
- [i2]Stephen A. Cook, Antonina Kolokolova:
A second-order system for polynomial-time reasoning based on Graedel's theorem. Electron. Colloquium Comput. Complex. TR01 (2001) - 2000
- [i1]Valentine Kabanets, Charles Rackoff, Stephen A. Cook:
Efficiently Approximable Real-Valued Functions. Electron. Colloquium Comput. Complex. TR00 (2000)
Coauthor Index
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-05-08 21:49 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:
