default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAtsushi Igarashi
Person information
- affiliation: Kyoto University, Japan
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j32]Taro Sekiyama
, Takeshi Tsukada, Atsushi Igarashi:
Signature restriction for polymorphic algebraic effects. J. Funct. Program. 34 (2024)- [j31]Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, Yudai Tanabe:
Space-Efficient Polymorphic Gradual Typing, Mostly Parametric. Proc. ACM Program. Lang. 8(PLDI): 1585-1608 (2024) - [j30]Michael Hanus, Atsushi Igarashi:
Functional and logic programming: Selected papers of FLOPS 2022. Sci. Comput. Program. 238: 103129 (2024) - [c61]Takashi Suwa, Atsushi Igarashi:
An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage Programming. FLOPS 2024: 237-272 - [c60]Yuki Nishida, Kohei Suenaga, Atsushi Igarashi:
iCon: Automated Verification of Inter-Transaction Properties in Tezos Smart Contracts with Unknowns. ICBC 2024: 576-584 - [c59]Pedro Ângelo, Atsushi Igarashi, Vasco T. Vasconcelos:
Linear Contextual Metaprogramming and Session Types. PLACES@ETAPS 2024: 1-10 - [i20]Takuma Yoshioka, Taro Sekiyama, Atsushi Igarashi:
Abstracting Effect Systems for Algebraic Effect Handlers. CoRR abs/2404.16381 (2024) - [i19]Ryo Wakizaka, Yasunari Suzuki, Atsushi Igarashi:
Type-Based Verification of Connectivity Constraints in Lattice Surgery. CoRR abs/2409.00529 (2024) - 2023
- [c58]Yuito Murase, Yuichi Nishiwaki, Atsushi Igarashi:
Contextual Modal Type Theory with Polymorphic Contexts. ESOP 2023: 281-308 - [e8]Yudai Tanabe, Lars Schütze, Robert Hirschfeld, Atsushi Igarashi, Hidehiko Masuhara:
Proceedings of the 15th ACM International Workshop on Context-Oriented Programming and Advanced Modularity, COP 2023, Seattle, WA, USA, 17 July 2023. ACM 2023 [contents] - [i18]Ryo Wakizaka, Atsushi Igarashi:
Type-based Qubit Allocation for a First-Order Quantum Programming Language. CoRR abs/2306.01856 (2023) - 2022
- [j29]Davide Ancona, Olivier Flückiger, Adrian Francalanza, Robert Hirschfeld, Atsushi Igarashi, Yu David Liu, Hidehiko Masuhara, Chris Seaton, Harumi Watanabe:
Preface to the JOT special issue on ECOOP 2021: selected workshop papers. J. Object Technol. 21(2) (2022) - [j28]Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi:
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types. New Gener. Comput. 40(2): 507-540 (2022) - [c57]Atsushi Igarashi:
(I Can't Get No) Verification (Keynote). SPLASH Companion 2022: 1 - [e7]Yudai Tanabe, Atsushi Igarashi:
COP@ECOOP 2022: International Workshop on Context-Oriented Programming and Advanced Modularity (collocated with ECOOP), Berlin, Germany, 7 June 2022. ACM 2022, ISBN 978-1-4503-9986-9 [contents] - [e6]Michael Hanus, Atsushi Igarashi:
Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings. Lecture Notes in Computer Science 13215, Springer 2022, ISBN 978-3-030-99460-0 [contents] - 2021
- [c56]Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi:
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types. TACAS (2) 2021: 262-280 - [e5]Yu David Liu, Harumi Watanabe, Robert Hirschfeld, Atsushi Igarashi, Hidehiko Masuhara:
COP@ECOOP 2021: Proceedings of the 13th ACM International Workshop on Context-Oriented Programming and Advanced Modularity, Virtual Event, Denmark, July 12, 2021. ACM 2021, ISBN 978-1-4503-8542-8 [contents] - [i17]Sota Sato, Ryotaro Banno, Jun Furuse, Kohei Suenaga, Atsushi Igarashi:
Verification of a Merkle Patricia Tree Library Using F. CoRR abs/2106.04826 (2021) - [i16]Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi:
HELMHOLTZ: A Verifier for Tezos Smart Contracts Based on Refinement Types. CoRR abs/2108.12971 (2021) - 2020
- [j27]Taro Sekiyama, Takeshi Tsukada, Atsushi Igarashi:
Signature restriction for polymorphic algebraic effects. Proc. ACM Program. Lang. 4(ICFP): 117:1-117:30 (2020) - [c55]Yuya Tsuda, Atsushi Igarashi, Tomoya Tabuchi:
Space-Efficient Gradual Typing in Coercion-Passing Style. ECOOP 2020: 8:1-8:29 - [c54]John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi:
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs. ESOP 2020: 684-714 - [i15]John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi:
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs. CoRR abs/2002.07770 (2020) - [i14]Taro Sekiyama, Takeshi Tsukada, Atsushi Igarashi:
Signature restriction for polymorphic algebraic effects. CoRR abs/2003.08138 (2020) - [i13]Yuki Nishida, Atsushi Igarashi:
Compilation of Coordinated Choice. CoRR abs/2004.14084 (2020)
2010 – 2019
- 2019
- [j26]Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler:
Gradual session types. J. Funct. Program. 29: e17 (2019) - [j25]Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi:
Dynamic type inference for gradual Hindley-Milner typing. Proc. ACM Program. Lang. 3(POPL): 18:1-18:29 (2019) - [j24]Hiroaki Inoue, Atsushi Igarashi:
A type system for first-class layers with inheritance, subtyping, and swapping. Sci. Comput. Program. 179: 54-86 (2019) - [c53]Yuki Nishida, Atsushi Igarashi:
Manifest Contracts with Intersection Types. APLAS 2019: 33-52 - [c52]Akira Kawata, Atsushi Igarashi:
A Dependently Typed Multi-stage Calculus. APLAS 2019: 53-72 - [c51]Taro Sekiyama, Atsushi Igarashi:
Handling Polymorphic Algebraic Effects. ESOP 2019: 353-380 - [c50]Naoki Kobayashi, Takeshi Nishikawa, Atsushi Igarashi, Hiroshi Unno:
Temporal Verification of Programs via First-Order Fixpoint Logic. SAS 2019: 413-436 - [e4]Manuel V. Hermenegildo, Atsushi Igarashi:
Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2019, Cascais, Portugal, January 14-15, 2019. ACM 2019, ISBN 978-1-4503-6226-9 [contents] - [i12]Hiroaki Inoue, Atsushi Igarashi:
A Type System for First-Class Layers with Inheritance, Subtyping, and Swapping. CoRR abs/1905.01453 (2019) - [i11]Akira Kawata, Atsushi Igarashi:
A Dependently Typed Multi-Stage Calculus. CoRR abs/1908.02035 (2019) - [i10]Yuya Tsuda, Atsushi Igarashi, Tomoya Tabuchi:
Space-Efficient Gradual Typing in Coercion-Passing Style. CoRR abs/1908.02414 (2019) - [i9]Yuki Nishida, Atsushi Igarashi:
Manifest Contracts with Intersection Types. CoRR abs/1908.03010 (2019) - [i8]Taro Sekiyama, Atsushi Igarashi:
Gradual Typing for Extensibility by Rows. CoRR abs/1910.08480 (2019) - 2018
- [j23]Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi:
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions (Artifact). Dagstuhl Artifacts Ser. 4(3): 04:1-04:2 (2018) - [j22]Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi:
Automated Verification of Functional Correctness of Race-Free GPU Programs. J. Autom. Reason. 60(3): 279-298 (2018) - [j21]Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Atsushi Igarashi:
Method safety mechanism for asynchronous layer deactivation. Sci. Comput. Program. 156: 104-120 (2018) - [c49]Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi:
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions. ECOOP 2018: 2:1-2:33 - [c48]Akifumi Imanishi, Kohei Suenaga, Atsushi Igarashi:
A guess-and-assume approach to loop fusion for program verification. PEPM 2018: 2-14 - [c47]Yuki Nishida, Atsushi Igarashi:
Nondeterministic Manifest Contracts. PPDP 2018: 16:1-16:13 - [i7]Taro Sekiyama, Atsushi Igarashi:
Reasoning about Polymorphic Manifest Contracts. CoRR abs/1806.07041 (2018) - [i6]Atsushi Igarashi, Peter Thiemann, Yuya Tsuda, Vasco T. Vasconcelos, Philip Wadler:
Gradual Session Types. CoRR abs/1809.05649 (2018) - [i5]Yusuke Miyazaki, Taro Sekiyama, Atsushi Igarashi:
Dynamic Type Inference for Gradual Hindley-Milner Typing. CoRR abs/1810.12619 (2018) - [i4]Taro Sekiyama, Atsushi Igarashi:
Handling polymorphic algebraic effects. CoRR abs/1811.07332 (2018) - 2017
- [j20]Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, Philip Wadler:
Gradual session types. Proc. ACM Program. Lang. 1(ICFP): 38:1-38:28 (2017) - [j19]Yuu Igarashi, Taro Sekiyama, Atsushi Igarashi:
On polymorphic gradual typing. Proc. ACM Program. Lang. 1(ICFP): 40:1-40:29 (2017) - [j18]Kensuke Kojima, Atsushi Igarashi:
A Hoare Logic for GPU Kernels. ACM Trans. Comput. Log. 18(1): 3:1-3:43 (2017) - [j17]Taro Sekiyama, Atsushi Igarashi, Michael Greenberg:
Polymorphic Manifest Contracts, Revised and Resolved. ACM Trans. Program. Lang. Syst. 39(1): 3:1-3:36 (2017) - [c46]Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga, Atsushi Igarashi:
A Nonstandard Functional Programming Language. APLAS 2017: 514-533 - [c45]Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi:
A DSL for compensable and interruptible executions. REBLS@SPLASH 2017: 8-14 - [c44]Takashi Suwa, Takeshi Tsukada, Naoki Kobayashi, Atsushi Igarashi:
Verification of code generators via higher-order model checking. PEPM 2017: 59-70 - [c43]Taro Sekiyama, Atsushi Igarashi:
Stateful manifest contracts. POPL 2017: 530-544 - 2016
- [j16]Robert Hirschfeld, Hidehiko Masuhara, Atsushi Igarashi, Tim Felgentreff:
Visibility of Context-oriented Behavior and State in L. Inf. Media Technol. 11: 11-20 (2016) - [c42]Hiroaki Inoue, Atsushi Igarashi:
A library-based approach to context-dependent computation with reactive values: suppressing reactions of context-dependent functions using dynamic binding. MODULARITY (Companion) 2016: 50-54 - [c41]Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi:
Automated Verification of Functional Correctness of Race-Free GPU Programs. VSTTE 2016: 90-106 - [e3]Atsushi Igarashi:
Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings. Lecture Notes in Computer Science 10017, 2016, ISBN 978-3-319-47957-6 [contents] - 2015
- [c40]Taro Sekiyama, Soichiro Ueda, Atsushi Igarashi:
Shifting the Blame - A Blame Calculus with Delimited Control. APLAS 2015: 189-207 - [c39]Hiroaki Inoue, Atsushi Igarashi:
A Sound Type System for Layer Subtyping and Dynamically Activated First-Class Layers. APLAS 2015: 445-462 - [c38]Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Atsushi Igarashi:
Method Safety Mechanism for Asynchronous Layer Deactivation. COP@ECOOP 2015: 6:1-6:6 - [c37]Taro Sekiyama, Yuki Nishida, Atsushi Igarashi:
Manifest Contracts for Datatypes. POPL 2015: 195-207 - [i3]Atsushi Igarashi, Andrzej S. Murawski, Nikos Tzevelekos:
Semantics and Verification of Object-Oriented Languages (NII Shonan Meeting 2015-13). NII Shonan Meet. Rep. 2015 (2015) - 2014
- [c36]Tatsuya Sonobe, Kohei Suenaga, Atsushi Igarashi:
Automatic Memory Management Based on Program Transformation Using Ownership. APLAS 2014: 58-77 - [c35]Tetsuo Kamina, Tomoyuki Aotani, Atsushi Igarashi:
On-Demand Layer Activation for Type-Safe Deactivation. COP@ECOOP 2014: 4:1-4:7 - [c34]Hiroaki Inoue, Atsushi Igarashi, Malte Appeltauer, Robert Hirschfeld:
Towards Type-Safe JCop: A type system for layer inheritance and first-class layers. COP@ECOOP 2014: 7:1-7:6 - [c33]Yuichiro Hanada, Atsushi Igarashi:
On Cross-Stage Persistence in Multi-Stage Programming. FLOPS 2014: 103-118 - [e2]Gul A. Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura:
Concurrent Objects and Beyond - Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 8665, Springer 2014, ISBN 978-3-662-44470-2 [contents] - [i2]Atsushi Igarashi, Peter Thiemann, Philip Wadler:
Software Contracts for Communication, Monitoring, and Security (NII Shonan Meeting 2014-6). NII Shonan Meet. Rep. 2014 (2014) - 2013
- [j15]Chieri Saito, Atsushi Igarashi:
Matching MyType to subtyping. Sci. Comput. Program. 78(7): 933-952 (2013) - [c32]Kensuke Kojima, Atsushi Igarashi:
A Hoare Logic for SIMT Programs. APLAS 2013: 58-73 - [c31]Robert Hirschfeld, Hidehiko Masuhara, Atsushi Igarashi:
L: context-oriented programming with only layers. COP@ECOOP 2013: 4:1-4:5 - [c30]Naoki Kobayashi, Atsushi Igarashi:
Model-Checking Higher-Order Programs with Recursive Types. ESOP 2013: 431-450 - 2012
- [c29]Kohei Suenaga, Ryota Fukuda, Atsushi Igarashi:
Type-based safe resource deallocation for shared-memory concurrency. OOPSLA 2012: 1-20 - [e1]Ranjit Jhala, Atsushi Igarashi:
Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings. Lecture Notes in Computer Science 7705, Springer 2012, ISBN 978-3-642-35181-5 [contents] - 2011
- [j14]Kensuke Kojima, Atsushi Igarashi:
Constructive linear-time temporal logic: Proof systems and Kripke semantics. Inf. Comput. 209(12): 1491-1503 (2011) - [c28]Atsushi Igarashi:
A Featherweight Approach to FOOL. ECOOP 2011: 433 - [c27]João Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C. Pierce:
Polymorphic Contracts. ESOP 2011: 18-37 - [c26]Robert Hirschfeld, Atsushi Igarashi, Hidehiko Masuhara:
ContextFJ: a minimal core calculus for context-oriented programming. FOAL 2011: 19-23 - [c25]Lintaro Ina, Atsushi Igarashi:
Gradual typing for generics. OOPSLA 2011: 609-624 - 2010
- [j13]Takeshi Tsukada, Atsushi Igarashi:
A Logical Foundation for Environment Classifiers. Log. Methods Comput. Sci. 6(4) (2010) - [c24]Hidehiko Masuhara, Atsushi Igarashi, Manabu Toyama:
Type relaxed weaving. AOSD 2010: 121-132 - [c23]Shigeru Chiba, Atsushi Igarashi, Salikh Zakirov:
Mostly modular compilation of crosscutting concerns by contextual predicate dispatch. OOPSLA 2010: 539-554
2000 – 2009
- 2009
- [c22]Lintaro Ina, Atsushi Igarashi:
Towards gradual typing for generics. STOP@ECOOP 2009: 17-29 - [c21]Chieri Saito, Atsushi Igarashi:
Self type constructors. OOPSLA 2009: 263-282 - [c20]Chieri Saito, Atsushi Igarashi:
Matching ThisType to subtyping. SAC 2009: 1851-1858 - [c19]Takeshi Tsukada, Atsushi Igarashi:
A Logical Foundation for Environment Classifiers. TLCA 2009: 341-355 - 2008
- [j12]Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi:
Calculi of meta-variables. Frontiers Comput. Sci. China 2(1): 12-21 (2008) - [j11]Chieri Saito, Atsushi Igarashi, Mirko Viroli:
Lightweight family polymorphism. J. Funct. Program. 18(3): 285-331 (2008) - [j10]Chieri Saito, Atsushi Igarashi:
The Essence of Lightweight Family Polymorphism. J. Object Technol. 7(5): 67-99 (2008) - [j9]Naokata Shikuma, Atsushi Igarashi:
Proving Noninterference by a Fully Complete Translation to the Simply Typed Lambda-Calculus. Log. Methods Comput. Sci. 4(3) (2008) - [c18]Elvira Albert, Anindya Banerjee, Sophia Drossopoulou, Marieke Huisman, Atsushi Igarashi, Gary T. Leavens, Peter Müller, Tobias Wrigstad:
Formal Techniques for Java-Like Programs. ECOOP Workshops 2008: 70-76 - [i1]Naokata Shikuma, Atsushi Igarashi:
Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus. CoRR abs/0808.3307 (2008) - 2007
- [j8]Atsushi Igarashi, Hideshi Nagira:
Union Types for Object-Oriented Programming. J. Object Technol. 6(2): 47-68 (2007) - [c17]Atsushi Igarashi, Masashi Iwaki:
Deriving Compilers and Virtual Machines for a Multi-level Language. APLAS 2007: 206-221 - [c16]Atsushi Igarashi, Mirko Viroli:
Variant path types for scalable extensibility. OOPSLA 2007: 113-132 - 2006
- [j7]Atsushi Igarashi, Mirko Viroli:
Variant parametric types: A flexible subtyping scheme for generics. ACM Trans. Program. Lang. Syst. 28(5): 795-847 (2006) - [c15]Naokata Shikuma, Atsushi Igarashi:
Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-Calculus. ASIAN 2006: 301-315 - [c14]Davide Ancona, Sophia Drossopoulou, Atsushi Igarashi, Gary T. Leavens, Arnd Poetzsch-Heffter, Elena Zucca:
Formal Techniques for Java-Like Programs. ECOOP Workshops 2006: 53-58 - [c13]Futoshi Iwama, Atsushi Igarashi, Naoki Kobayashi:
Resource usage analysis for a functional language with exceptions. PEPM 2006: 38-47 - [c12]Yosihiro Yuse, Atsushi Igarashi:
A modal type system for multi-level generating extensions with persistent code. PPDP 2006: 201-212 - [c11]Atsushi Igarashi, Hideshi Nagira:
Union types for object-oriented programming. SAC 2006: 1435-1441 - 2005
- [j6]Atsushi Igarashi, Naoki Kobayashi:
Resource usage analysis. ACM Trans. Program. Lang. Syst. 27(2): 264-313 (2005) - [c10]Atsushi Igarashi, Chieri Saito, Mirko Viroli:
Lightweight Family Polymorphism. APLAS 2005: 161-177 - 2004
- [j5]Atsushi Igarashi, Naoki Kobayashi:
A generic type system for the Pi-calculus. Theor. Comput. Sci. 311(1-3): 121-163 (2004) - 2003
- [c9]Masahiko Sato, Takafumi Sakurai, Yukiyoshi Kameyama, Atsushi Igarashi:
Calculi of Meta-variables. CSL 2003: 484-497 - 2002
- [j4]Atsushi Igarashi, Benjamin C. Pierce:
Foundations for Virtual Types. Inf. Comput. 175(1): 34-49 (2002) - [j3]Atsushi Igarashi, Benjamin C. Pierce:
On Inner Classes. Inf. Comput. 177(1): 56-89 (2002) - [c8]Atsushi Igarashi, Mirko Viroli:
On Variance-Based Subtyping for Parametric Types. ECOOP 2002: 441-469 - [c7]Atsushi Igarashi, Naoki Kobayashi:
Resource usage analysis. POPL 2002: 331-342 - 2001
- [j2]Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler:
Featherweight Java: a minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst. 23(3): 396-450 (2001) - [c6]Atsushi Igarashi, Naoki Kobayashi:
Resource Usage Analysis. APLAS 2001: 147-158 - [c5]Atsushi Igarashi, Naoki Kobayashi:
A generic type system for the Pi-calculus. POPL 2001: 128-141 - 2000
- [j1]Atsushi Igarashi, Naoki Kobayashi:
Type Reconstruction for Linear -Calculus with I/O Subtyping. Inf. Comput. 161(1): 1-44 (2000) - [c4]Atsushi Igarashi, Benjamin C. Pierce:
On Inner Classes. ECOOP 2000: 129-153
1990 – 1999
- 1999
- [c3]Atsushi Igarashi, Benjamin C. Pierce:
Foundations for Virtual Types. ECOOP 1999: 161-185 - [c2]Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler:
Featherwieght Java: A Minimal Core Calculus for Java and GJ. OOPSLA 1999: 132-146 - 1997
- [c1]Atsushi Igarashi, Naoki Kobayashi:
Type-Based Analysis of Communication for Concurrent Programming Languages. SAS 1997: 187-201
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-10-22 20:14 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:
