default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDValeria de Paiva
Person information
- affiliation: Topos Institute, Berkeley, CA, USA
- affiliation: Nuance Communications, Sunnyvale, CA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c62]Jacob Collard, Valeria de Paiva, Eswaran Subrahmanian:
Mathematical Entities: Corpora and Benchmarks. LREC/COLING 2024: 11080-11089- [i13]Valeria de Paiva
, Alexandre Rademaker:
Towards a Brazilian History Knowledge Graph. CoRR abs/2403.19856 (2024) - [i12]Jacob Collard, Valeria de Paiva, Eswaran Subrahmanian:
Mathematical Entities: Corpora and Benchmarks. CoRR abs/2406.11577 (2024) - 2023
- [j30]Aikaterini-Lida Kalouli, Hai Hu, Alexander F. Webb, Lawrence S. Moss, Valeria de Paiva:
Curing the SICK and Other NLI Maladies. Comput. Linguistics 49(1): 199-243 (2023) - [j29]Davide Trotta, Matteo Spadetto, Valeria de Paiva:
Dialectica principles via Gödel doctrines. Theor. Comput. Sci. 947: 113692 (2023) - [e8]Paolo Baldan, Valeria de Paiva:
10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, June 19-21, 2023, Indiana University Bloomington, IN, USA. LIPIcs 270, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-287-7 [contents] - [i11]Rodrigo Veiga, Markus Endler, Valeria de Paiva:
Extracting Blockchain Concepts from Text. CoRR abs/2305.10408 (2023) - [i10]Jacob Collard, Valeria de Paiva, Eswaran Subrahmanian:
Parmesan: mathematical concept extraction for education. CoRR abs/2307.06699 (2023) - [i9]Valeria de Paiva, Qiyue Gao, Pavel Kovalev, Lawrence S. Moss:
Extracting Mathematical Concepts with Large Language Models. CoRR abs/2309.00642 (2023) - [i8]Lucy Horowitz, Valeria de Paiva:
MathGloss: Building mathematical glossaries from text. CoRR abs/2311.12649 (2023) - 2022
- [j28]Davide Trotta, Matteo Spadetto, Valeria de Paiva:
Dialectica logical principles: not only rules. J. Log. Comput. 32(8): 1855-1875 (2022) - [c61]Jacob Collard, Valeria de Paiva, Brendan Fong, Eswaran Subrahmanian:
Extracting Mathematical Concepts from Text. W-NUT@COLING 2022: 15-23 - [c60]Valeria de Paiva, Livy Real, Aikaterini-Lida Kalouli:
Of Seringueiros and Sambistas: Occupation Mappings in Historical Text. DHandNLP@PROPOR 2022: 32-40 - [c59]Davide Trotta, Matteo Spadetto, Valeria de Paiva:
Dialectica Logical Principles. LFCS 2022: 346-363 - [e7]Cássia Trojahn, Maria José Finatto, Valeria de Paiva, Renata Vieira:
Proceedings of the Second Workshop on Digital Humanities and Natural Language Processing (2nd DHandNLP 2022) co-located with International Conference on the Computational Processing of Portuguese (PROPOR 2022), Virtual Event, Fortaleza, Brazil, 21st March, 2022. CEUR Workshop Proceedings 3128, CEUR-WS.org 2022 [contents] - [i7]Jacob Collard, Valeria de Paiva, Brendan Fong, Eswaran Subrahmanian:
Extracting Mathematical Concepts from Text. CoRR abs/2208.13830 (2022) - 2021
- [j27]Valeria de Paiva, Sergei Artemov:
Preface to Intiutionistic Modal Logic 2017. FLAP 8(8): 2261-2264 (2021) - [j26]Elaine Pimentel, Luiz Carlos Pereira, Valeria de Paiva:
An ecumenical notion of entailment. Synth. 198(22-S): 5391-5413 (2021) - [c58]Valeria de Paiva:
Dialectica Comonads (Invited Talk). CALCO 2021: 3:1-3:13 - [c57]Davide Trotta, Matteo Spadetto, Valeria de Paiva:
The Gödel Fibration. MFCS 2021: 87:1-87:16 - [e6]Ugo Dal Lago, Valeria de Paiva:
Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity&TLLA@IJCAR-FSCD 2020, Online, 29-30 June 2020. EPTCS 353, 2021 [contents] - [i6]Elena Di Lavore, Wilmer Leal, Valeria de Paiva:
Dialectica Petri nets. CoRR abs/2105.12801 (2021) - 2020
- [j25]Harley Eades III, Valeria de Paiva:
Multiple conclusion linear logic: cut elimination and more. J. Log. Comput. 30(1): 157-174 (2020) - [c56]Aikaterini-Lida Kalouli, Rita Sevastjanova, Valeria de Paiva, Richard S. Crouch, Mennatallah El-Assady:
XplaiNLI: Explainable Natural Language Inference through Visual Analytics. COLING (Demonstrations) 2020: 48-52 - [c55]Aikaterini-Lida Kalouli, Richard S. Crouch, Valeria de Paiva:
Hy-NLI: a Hybrid system for Natural Language Inference. COLING 2020: 5235-5249 - [c54]Paul Tarau, Valeria de Paiva:
Deriving Theorems in Implicational Linear Logic, Declaratively. ICLP Technical Communications 2020: 110-123 - [i5]Valeria de Paiva, Apostolos Syropoulos:
Dialectica Fuzzy Petri Nets. CoRR abs/2003.04712 (2020)
2010 – 2019
- 2019
- [j24]Valeria de Paiva, Ruy J. G. B. de Queiroz:
Preface. Math. Struct. Comput. Sci. 29(6): 731-732 (2019) - [j23]Mihaela Rozman, Valeria de Paiva, Amy P. Felty, Ursula Martin:
Women in Logic 2018 workshop report. ACM SIGLOG News 6(1): 41-42 (2019) - [c53]Aikaterini-Lida Kalouli, Annebeth Buis, Livy Real, Martha Palmer, Valeria de Paiva:
Explaining Simple Natural Language Inference. LAW@ACL 2019: 132-143 - [c52]Aikaterini-Lida Kalouli, Valeria de Paiva, Richard S. Crouch:
Composing Noun Phrase Vector Representations. RepL4NLP@ACL 2019: 84-95 - [c51]Valeria de Paiva, Alexandre Rademaker:
Portuguese Manners of Speaking. GWC 2019: 373-377 - [e5]Thomas Ehrhard, Maribel Fernández, Valeria de Paiva, Lorenzo Tortora de Falco:
Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018. EPTCS 292, 2019 [contents] - 2018
- [j22]Charles A. Stewart, Valeria de Paiva, Natasha Alechina:
Intuitionistic Modal Logic: A 15-year retrospective. J. Log. Comput. 28(5): 873-882 (2018) - [c50]Alessandra Cid, Alexandre Rademaker, Bruno Cuconato, Valeria de Paiva:
Linguistic Legal Concept Extraction in Portuguese. JURIX 2018: 181-185 - [c49]Valeria de Paiva, Harley Eades III:
Dialectica Categories for the Lambek Calculus. LFCS 2018: 256-272 - [c48]Giovanni Siragusa, Rohan Nanda, Valeria de Paiva, Luigi Di Caro:
Relating Legal Entities via Open Information Extraction. MTSR 2018: 181-187 - [c47]Livy Real, Ana Rodrigues, Andressa Vieira e Silva, Beatriz Albiero, Bruna Thalenberg, Bruno Guide, Cindy Silva, Guilherme de Oliveira Lima, Igor C. S. Câmara, Milos Stanojevic, Rodrigo Souza, Valeria de Paiva:
SICK-BR: A Portuguese Corpus for Inference. PROPOR 2018: 303-312 - [c46]Henrique Muniz, Fabricio Chalub, Alexandre Rademaker, Valeria de Paiva:
Extending Wordnet to Geological Times. GWC 2018: 145-152 - [c45]Jiaming Jiang, Harley Eades III, Valeria de Paiva:
On the Lambek Calculus with an Exchange Modality. Linearity-TLLA@FLoC 2018: 43-89 - [c44]Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis:
The ILLTP Library for Intuitionistic Linear Logic. Linearity-TLLA@FLoC 2018: 118-132 - [i4]Valeria de Paiva, Harley Eades III:
Dialectica Categories for the Lambek Calculus. CoRR abs/1801.06883 (2018) - [i3]Alessandra Cid, Alexandre Rademaker, Bruno Cuconato, Valeria de Paiva:
Linguistic Legal Concept Extraction in Portuguese. CoRR abs/1810.09379 (2018) - 2017
- [j21]Valeria de Paiva, Harley Eades III:
Constructive Temporal Logic, Categorically. FLAP 4(4) (2017) - [j20]Samuel G. Da Silva, Valeria de Paiva:
Dialectical categories, cardinalities of the continuum and combinatorics of ideals. Log. J. IGPL 25(4): 585-603 (2017) - [c43]Daniel Zeman, Martin Popel, Milan Straka, Jan Hajic, Joakim Nivre, Filip Ginter, Juhani Luotolahti, Sampo Pyysalo, Slav Petrov, Martin Potthast, Francis M. Tyers, Elena Badmaeva, Memduh Gokirmak, Anna Nedoluzhko, Silvie Cinková, Jan Hajic Jr., Jaroslava Hlavácová, Václava Kettnerová, Zdenka Uresová, Jenna Kanerva, Stina Ojala, Anna Missilä, Christopher D. Manning, Sebastian Schuster, Siva Reddy, Dima Taji, Nizar Habash, Herman Leung, Marie-Catherine de Marneffe, Manuela Sanguinetti, Maria Simi, Hiroshi Kanayama, Valeria de Paiva, Kira Droganova, Héctor Martínez Alonso, Çagri Çöltekin, Umut Sulubacak, Hans Uszkoreit, Vivien Macketanz, Aljoscha Burchardt, Kim Harris, Katrin Marheinecke, Georg Rehm, Tolga Kayadelen, Mohammed Attia, Ali El-Kahky, Zhuoran Yu, Emily Pitler, Saran Lertpradit, Michael Mandl, Jesse Kirchner, Hector Fernandez Alcalde, Jana Strnadová, Esha Banerjee, Ruli Manurung, Antonio Stella, Atsuko Shimada, Sookyoung Kwak, Gustavo Mendonça, Tatiana Lando, Rattima Nitisaroj, Josie Li:
CoNLL 2017 Shared Task: Multilingual Parsing from Raw Text to Universal Dependencies. CoNLL Shared Task (2) 2017: 1-19 - [c42]Alexandre Rademaker, Fabricio Chalub, Livy Real, Cláudia Freitas, Eckhard Bick, Valeria de Paiva:
Universal Dependencies for Portuguese. DepLing 2017: 197-206 - [c41]Aikaterini-Lida Kalouli, Livy Real, Valeria de Paiva:
Textual Inference: getting logic from humans. IWCS(2) 2017 - 2016
- [j19]Valeria de Paiva, Lawrence S. Moss, Daniel Leivant, Ruy J. G. B. de Queiroz:
22nd Workshop on Logic, Language, Information and Computation (WoLLIC 2015). Log. J. IGPL 24(5): 859 (2016) - [c40]Harley Eades III, Valeria de Paiva:
Multiple Conclusion Linear Logic: Cut Elimination and More. LFCS 2016: 90-105 - [c39]Fabricio Chalub, Livy Real, Alexandre Rademaker, Valeria de Paiva:
Semantic Links for Portuguese. LREC 2016 - [c38]Valeria de Paiva, Fabricio Chalub, Livy Real, Alexandre Rademaker:
Making Virtue of Necessity: A Verb Lexicon. PROPOR 2016: 271-282 - [c37]Valeria de Paiva, Livy Real, Hugo Gonçalo Oliveira, Alexandre Rademaker, Cláudia Freitas, Alberto Simões:
An overview of Portuguese WordNets. GWC 2016: 74-82 - [i2]Steven Neale, Valeria de Paiva, Arantxa Otegi, Alexandre Rademaker:
Proceedings of the LexSem+Logics Workshop 2016. CoRR abs/1608.04767 (2016) - 2015
- [j18]Alexandre Rademaker, Dário Augusto Borges Oliveira, Valeria de Paiva, Suemi Higuchi, Asla Medeiros e Sá, Moacyr Alvim:
A linked open data architecture for the historical archives of the Getulio Vargas Foundation. Int. J. Digit. Libr. 15(2-4): 153-167 (2015) - [c36]Wlodek Zadrozny, Valeria de Paiva, Lawrence S. Moss:
Explaining Watson: Polymath Style. AAAI 2015: 4078-4082 - [c35]Livy Real, Fabricio Chalub, Valeria de Paiva, Cláudia Freitas, Alexandre Rademaker:
Seeing is Correcting: curating lexical resources using social interfaces. LDL@IJCNLP 2015: 20-29 - [c34]Valeria de Paiva, Eike Ritter:
Fibrational Modal Type Theory. LSFA 2015: 143-161 - [e4]Makoto Kanazawa, Lawrence S. Moss, Valeria de Paiva:
Third Workshop on Natural Language and Computer Science, NLCS@ICALP/LICS 2015, Kyoto, Japan, 2015. EPiC Series in Computing 32, EasyChair 2015 [contents] - [e3]Valeria de Paiva, Ruy J. G. B. de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina Grisi de Oliveira:
Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings. Lecture Notes in Computer Science 9160, Springer 2015, ISBN 978-3-662-47708-3 [contents] - 2014
- [j17]Marcela Quispe-Cruz, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz, Valeria de Paiva:
Intuitionistic N-Graphs. Log. J. IGPL 22(2): 274-285 (2014) - [j16]Valeria de Paiva:
Linear logic model of state revisited. Log. J. IGPL 22(5): 791-804 (2014) - [c33]Gerard de Melo, Valeria de Paiva:
Sense-Specific Implicative Commitments. CICLing (1) 2014: 391-402 - [c32]Valeria de Paiva, Dário Augusto Borges Oliveira, Suemi Higuchi, Alexandre Rademaker, Gerard de Melo:
Exploratory Information Extraction from a Historical Dictionary. eScience Workshops 2014: 11-18 - [c31]Valeria de Paiva, William Jarrold, David L. Martin, Peter F. Patel-Schneider, Karen Wallace, Peter Z. Yeh:
Ontologies in Enterprise Application: Dimensional Comparison. FOMI@FOIS 2014 - [c30]Valeria de Paiva, Livy Real, Alexandre Rademaker, Gerard de Melo:
NomLex-PT: A Lexicon of Portuguese Nominalizations. LREC 2014: 2851-2858 - [c29]Cláudia Freitas, Valeria de Paiva, Alexandre Rademaker, Gerard de Melo, Livy Real, Anne Silva:
Extending a Lexicon of Portuguese Nominalizations with Data from Corpora. PROPOR 2014: 114-124 - [c28]Alexandre Rademaker, Valeria de Paiva, Gerard de Melo, Livy-Maria Real-Coelho:
Embedding NomLex-BR nominalizations into OpenWordnet-PT. GWC 2014: 378-382 - [c27]Alexandre Rademaker, Valeria de Paiva, Gerard de Melo, Livy Real, Maira Gatti:
OpenWordNet-PT: A Project Report. GWC 2014: 383-390 - [e2]Valeria de Paiva, Mario R. F. Benevides, Vivek Nigam, Elaine Pimentel:
Proceedings of the 6th Workshop on Intuitionistic Modal Logic and Applications, IMLA 2013, in association with UNILOG 2013, Rio de Janeiro, Brazil, April 7, 2013. Electronic Notes in Theoretical Computer Science 300, Elsevier 2014 [contents] - 2013
- [j15]Valeria de Paiva, Andrei Rodin:
Elements of Categorical Logic: Fifty Years Later. Logica Universalis 7(3): 265-273 (2013) - [c26]Valeria de Paiva, Mario R. F. Benevides, Vivek Nigam, Elaine Pimentel:
Preface. IMLA@UNILOG 2013: 1-2 - [c25]Dick Crouch, Valeria de Paiva:
If, not when. IMLA@UNILOG 2013: 3-20 - [c24]Valeria de Paiva, Charles Morgan, Samuel G. Da Silva:
Natural Number Objects in Dialectica Categories. LSFA 2013: 53-65 - 2012
- [c23]Valeria de Paiva, Alexandre Rademaker, Gerard de Melo:
OpenWordNet-PT: An Open Brazilian Wordnet for Reasoning. COLING (Demos) 2012: 353-360 - 2011
- [j14]Valeria de Paiva, Brigitte Pientka:
Intuitionistic Modal Logic and Applications (IMLA 2008). Inf. Comput. 209(12): 1435-1436 (2011) - [c22]Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker:
Intuitionistic Description Logic and Legal Reasoning. DEXA Workshops 2011: 345-349 - [i1]Apostolos Syropoulos, Valeria de Paiva:
Fuzzy Topological Systems. CoRR abs/1107.2513 (2011) - 2010
- [c21]Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker:
Intuitionistic Logic and Legal Ontologies. JURIX 2010: 155-158 - [c20]Valeria de Paiva, Edward Hermann Haeusler, Alexandre Rademaker:
Constructive Description Logics Hybrid-Style. HyLo@LICS 2010: 21-31 - [c19]Valeria de Paiva:
Bridges from Language to Logic: Concepts, Contexts and Ontologies. LSFA 2010: 83-94
2000 – 2009
- 2009
- [j13]Grigori Mints, Valeria de Paiva, Ruy J. G. B. de Queiroz:
Logic, Language, Information and Computation. Inf. Comput. 207(10): 969-970 (2009) - 2008
- [j12]Olga Gurevich, Richard S. Crouch, Tracy Holloway King, Valeria de Paiva:
Deverbal Nouns in Knowledge Representation. J. Log. Comput. 18(3): 385-404 (2008) - 2007
- [j11]Joseph A. Goguen, Till Mossakowski, Valeria de Paiva, Florian Rabe, Lutz Schröder:
An Institutional View on Categorical Logic. Int. J. Softw. Informatics 1(1): 129-152 (2007) - [c18]Daniel G. Bobrow, Dick Crouch, Tracy Holloway King, Cleo Condoravdi, Lauri Karttunen, Rowan Nairn, Valeria de Paiva, Annie Zaenen:
Precision-focused Textual Inference. ACL-PASCAL@ACL 2007: 16-21 - [c17]Valeria de Paiva, Daniel G. Bobrow, Cleo Condoravdi, Dick Crouch, Tracy Holloway King, Lauri Karttunen, Rowan Nairn, Annie Zaenen:
Textual Inference Logic: Take Two. C&O:RR 2007 - [e1]Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen:
Proceedings of the International Workshop on Hybrid Logic, HyLo@FLoC 2006, Seattle, WA, USA, August 11, 2006. Electronic Notes in Theoretical Computer Science 174(6), Elsevier 2007 [contents] - 2006
- [j10]Torben Braüner, Valeria de Paiva:
Intuitionistic hybrid logic. J. Appl. Log. 4(3): 231-255 (2006) - [c16]Olga Gurevich, Richard S. Crouch, Tracy Holloway King, Valeria de Paiva:
Deverbal Nouns in Knowledge Representation. FLAIRS 2006: 670-675 - [c15]Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen:
Preface. HyLo@FLoC 2006: 1-2 - 2005
- [j9]Maria Emilia Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter:
Relating Categorical Semantics for Intuitionistic Linear Logic. Appl. Categorical Struct. 13(1): 1-36 (2005) - 2004
- [j8]Valeria de Paiva, Rajeev Goré, Michael Mendler:
Editorial. J. Log. Comput. 14(4): 439-446 (2004) - [j7]Valeria de Paiva, Rajeev Goré, Michael Mendler:
Forthcoming Papers. J. Log. Comput. 14(4): 621-622 (2004) - [j6]Andrea Schalk, Valeria de Paiva:
Poset-valued sets or how to build models for linear logics. Theor. Comput. Sci. 315(1): 83-107 (2004) - 2003
- [c14]Valeria de Paiva:
Natural Deduction and Context as (Constructive) Modality. CONTEXT 2003: 116-129 - [c13]Reinhard Stolle, Daniel G. Bobrow, Cleo Condoravdi, Richard S. Crouch, Valeria de Paiva:
Knowledge Tracking: Answering Implicit Questions. New Directions in Question Answering 2003: 58-61 - 2002
- [j5]John O. Everett, Daniel G. Bobrow, Reinhard Stolle, Richard S. Crouch, Valeria de Paiva, Cleo Condoravdi, Martin van den Berg, Livia Polanyi:
Making ontologies work for resolving redundancies across documents. Commun. ACM 45(2): 55-60 (2002) - 2001
- [c12]Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter:
Categorical and Kripke Semantics for Constructive S4 Modal Logic. CSL 2001: 292-307 - [c11]Cleo Condoravdi, Dick Crouch, John O. Everett, Valeria de Paiva, Reinhard Stolle, Daniel G. Bobrow, Martin van den Berg:
Preventing existence. FOIS 2001: 162-173 - 2000
- [j4]Neil Ghani, Valeria de Paiva, Eike Ritter:
Linear Explicit Substitutions. Log. J. IGPL 8(1): 7-31 (2000) - [j3]Gavin M. Bierman, Valeria de Paiva:
On an Intuitionistic Modal Logic. Stud Logica 65(3): 383-416 (2000) - [c10]Maria Emilia Maietti, Valeria de Paiva, Eike Ritter:
Categorical Models for Intuitionistic and Linear Type Theory. FoSSaCS 2000: 223-237
1990 – 1999
- 1999
- [c9]Neil Ghani, Valeria de Paiva, Eike Ritter:
Categorical Models of Explicit Substitutions. FoSSaCS 1999: 197-211 - 1998
- [j2]P. N. Benton, Gavin M. Bierman, Valeria de Paiva:
Computational Types from a Logical Perspective. J. Funct. Program. 8(2): 177-193 (1998) - [c8]Valeria de Paiva, Andrea Schalk:
Building Models of Linear Logic. AMAST 1998: 164-177 - [c7]Neil Ghani, Valeria de Paiva, Eike Ritter:
Explicit Substitutions for Constructive Necessity. ICALP 1998: 743-754 - 1997
- [c6]Torben Braüner, Valeria de Paiva:
A Formulation of Linear Logic Based on Dependency-Relations. CSL 1997: 129-148 - [c5]Eike Ritter, Valeria de Paiva:
On Explicit Substitution and Names (Extended Abstract). ICALP 1997: 248-258 - 1993
- [j1]Martin Hyland, Valeria de Paiva:
Full Intuitionistic Linear Logic (extended abstract). Ann. Pure Appl. Log. 64(3): 273-291 (1993) - [c4]Monica Nesi, Valeria de Paiva, Eike Ritter:
Rewriting Properties of Combinators for Rudimentary Linear Logic. HOA 1993: 256-275 - [c3]P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland:
A Term Calculus for Intuitionistic Linear Logic. TLCA 1993: 75-90 - 1992
- [c2]P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland:
Linear Lambda-Calculus and Categorial Models Revisited. CSL 1992: 61-84
1980 – 1989
- 1989
- [c1]Valeria de Paiva:
A Dialectica-like Model of Linear Logic. Category Theory and Computer Science 1989: 341-356
Coauthor Index
Livy Real
aka: Livy-Maria Real-Coelho
aka: Livy-Maria Real-Coelho
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-07 22:12 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:
