Valeria de Paiva

Cited by

	All	Since 2018
Citations	4888	2032
h-index	31	19
i10-index	78	40

420

210

105

315

19911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202319 21 47 61 72 70 78 83 88 60 51 58 83 81 84 123 118 155 111 130 152 88 89 200 173 263 197 359 326 356 407 338 243

Public access

View all

8 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Alexandre RademakerIBM Research and EMAp/FGVVerified email at br.ibm.com
Eike RitterSenior Lecturer in Computer Science, University of Birmingham, UKVerified email at cs.bham.ac.uk
Dick CrouchXerox PARCVerified email at parc.com
Gavin BiermanOracleVerified email at oracle.com
Daniel G. BobrowParc, Palo Alto Research CenterVerified email at parc.com
Martin HylandProfessor of Mathematical Logic, CambridgeVerified email at dpmms.cam.ac.uk
Tracy Holloway KingAdobe Inc., Sensei and SearchVerified email at alum.mit.edu
Nick BentonEngineering Manager, FacebookVerified email at fb.com
Fabricio ChalubCatawikiVerified email at catawiki.nl
Gerard de MeloProfessor at Hasso Plattner Institute / University of PotsdamVerified email at hpi.de
Annie ZaenenConsulting professor linguistics, Stanford universityVerified email at stanford.edu
Cláudia FreitasICMC / USPVerified email at usp.br
Natasha AlechinaDepartment of Information and Computing Sciences, University of UtrechtVerified email at uu.nl
Edward HaeuslerProfessor of Computer Science, PUC-RioVerified email at inf.puc-rio.br
Joakim NivreProfessor of Computational Linguistics, Uppsala University; Senior Researcher, RISEVerified email at lingfil.uu.se
Rowan NairnGoogleVerified email at google.com
Ted BriscoeProfessor of Computational Linguistics, MBZUAIVerified email at mbzuai.ac.ae
Ann CopestakeProfessor of Computational Linguistics, University of CambridgeVerified email at cl.cam.ac.uk
Maria Emilia MaiettiAssociate Professor, University of PadovaVerified email at math.unipd.it
Daniel ZemanInstitute of Formal and Applied Linguistics, Faculty of Mathematics and Physics, Charles UniversityVerified email at ufal.mff.cuni.cz

Valeria de Paiva

Other namesValeria Correa Vaz de Paiva, Valeria Paiva

University of Birmingham

Verified email at topos.institute - Homepage

Category Theory Proof Theory Type Systems Categorical logic Semantics of Natural languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
CoNLL 2017 Shared Task: Multilingual Parsing from Raw Text to Universal Dependencies CoNLL 2017 (Conference on Computational Natural Language Learning), 2017	588*	2017
A term calculus for intuitionistic linear logic N Benton, G Bierman, V De Paiva, M Hyland Typed Lambda Calculi and Applications: International Conference on Typed …, 1993	268	1993
On an intuitionistic modal logic GM Bierman, VCV de Paiva Studia Logica 65, 383-416, 2000	219	2000
Inheritance, Defaults, and the Lexicon T Briscoe, V de Paiva, A Copestake Computational Linguistics, 1994	185	1994
The dialectica categories VCV de Paiva Categories in Computer Science and Logic: Proceedings of the AMS-IMS-SIAM …, 1989	182	1989
Term assignment for intuitionistic linear logic (preliminary report) N Benton, G Bierman, V de Paiva, M Hyland University of Cambridge. Computer Laboratory, https://www.dpmms.cam.ac.uk …, 1992	162*	1992
Computational types from a logical perspective PN Benton, GM Bierman, VCV de Paiva Journal of functional programming 8 (2), 177-193, 1998	159	1998
Categorical and Kripke semantics for constructive S4 modal logic N Alechina, M Mendler, V De Paiva, E Ritter Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual …, 2001	153	2001
Universal Dependencies 2.2 J Nivre, M Abrams, Ž Agić, L Ahrenberg, L Antonsen, MJ Aranzabe, ...	136	2018
Openwordnet-pt: An open brazilian wordnet for reasoning V Paiva, A Rademaker, G Melo COLING 2012, 2012	132	2012
Entailment, intensionality and text understanding C Condoravdi, D Crouch, V De Paiva, R Stolle, D Bobrow Proceedings of the HLT-NAACL 2003 workshop on Text meaning, 38-45, 2003	118	2003
Full intuitionistic linear logic M Hyland, V De Paiva Annals of Pure and Applied Logic 64 (3), 273-291, 1993	115	1993
A dialectica-like model of linear logic VCV De Paiva Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 …, 2005	110	2005
Extended Curry-Howard correspondence for a basic constructive modal logic G Bellin, V De Paiva, E Ritter Proceedings of methods for modalities 2, 2001	107	2001
Linear λ-calculus and categorical models revisited N Benton, G Bierman, V De Paiva, M Hyland Computer Science Logic: 6th Workshop, CSL'92 San Miniato, Italy, September …, 1993	105	1993
Intuitionistic necessity revisited GM Bierman, VCV De Paiva School of Computer Science research reports-University of Birmingham CSR, 1996	93	1996
PARC’s bridge and question answering system DG Bobrow, B Cheslow, C Condoravdi, L Karttunen, TH King, R Nairn, ... Grammar Engineering Across Frameworks, 46-66, 2007	79	2007
Making ontologies work for resolving redundancies across documents JO Everett, DG Bobrow, R Stolle, R Crouch, V de Paiva, C Condoravdi, ... Communications of the ACM 45 (2), 55-60, 2002	77	2002
Deverbal nouns in knowledge representation O Gurevich, R Crouch, TH King, V De Paiva Journal of Logic and Computation 18 (3), 385-404, 2008	68	2008
Universal dependencies for Portuguese A Rademaker, F Chalub, L Real, C Freitas, E Bick, V and de Paiva Proceedings of the Fourth International Conference on Dependency Linguistics …, 2017	67	2017

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors