Valeria de Paiva

Citado por

	Total	Desde 2019
Citas	5046	1860
Índice h	33	18
Índice i10	83	36

400

200

100

300

199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202418 30 47 57 70 67 75 82 84 62 52 60 84 84 86 124 122 149 113 127 153 86 86 195 171 264 187 347 294 329 395 319 332 191

Acceso público

Ver todo

9 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Alexandre RademakerIBM Research and EMAp/FGVDirección de correo verificada de br.ibm.com
Eike RitterSenior Lecturer in Computer Science, University of Birmingham, UKDirección de correo verificada de cs.bham.ac.uk
Dick CrouchXerox PARCDirección de correo verificada de parc.com
Gavin BiermanOracleDirección de correo verificada de oracle.com
Daniel G. BobrowParc, Palo Alto Research CenterDirección de correo verificada de parc.com
Martin HylandProfessor of Mathematical Logic, CambridgeDirección de correo verificada de dpmms.cam.ac.uk
Tracy Holloway KingAdobe Inc., Sensei and SearchDirección de correo verificada de alum.mit.edu
Nick BentonEngineering Manager, FacebookDirección de correo verificada de fb.com
Torben BraünerRoskilde UniversityDirección de correo verificada de ruc.dk
Fabricio ChalubCatawikiDirección de correo verificada de catawiki.nl
Gerard de MeloProfessor at Hasso Plattner Institute / University of PotsdamDirección de correo verificada de hpi.de
Annie ZaenenConsulting professor linguistics, Stanford universityDirección de correo verificada de stanford.edu
Cláudia FreitasICMC / USPDirección de correo verificada de usp.br
Edward HaeuslerProfessor of Computer Science, PUC-RioDirección de correo verificada de inf.puc-rio.br
Natasha AlechinaDepartment of Information and Computing Sciences, University of UtrechtDirección de correo verificada de uu.nl
Joakim NivreProfessor of Computational Linguistics, Uppsala University; Senior Researcher, RISEDirección de correo verificada de lingfil.uu.se
Maria Emilia MaiettiFull Professor, University of PadovaDirección de correo verificada de math.unipd.it
Rowan NairnGoogleDirección de correo verificada de google.com
Ted BriscoeProfessor of Computational Linguistics, MBZUAIDirección de correo verificada de mbzuai.ac.ae
Ann CopestakeProfessor of Computational Linguistics, University of CambridgeDirección de correo verificada de cl.cam.ac.uk

Seguir

Valeria de Paiva

Otros nombresValeria Correa Vaz de Paiva, Valeria Paiva

Topos Institute, University of Birmingham

Dirección de correo verificada de topos.institute - Página principal

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


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
CoNLL 2017 Shared Task: Multilingual Parsing from Raw Text to Universal Dependencies CoNLL 2017 (Conference on Computational Natural Language Learning), 2017	663*	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	281	1993
On an intuitionistic modal logic GM Bierman, VCV de Paiva Studia Logica 65, 383-416, 2000	225	2000
Inheritance, Defaults, and the Lexicon T Briscoe, V de Paiva, A Copestake Computational Linguistics, 1994	194	1994
The dialectica categories VCV de Paiva Categories in Computer Science and Logic: Proceedings of the AMS-IMS-SIAM …, 1989	190	1989
Computational types from a logical perspective PN Benton, GM Bierman, VCV de Paiva Journal of Functional Programming 8 (2), 177-193, 1998	169	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	160	2001
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	149*	1992
Openwordnet-pt: An open brazilian wordnet for reasoning V De Paiva, A Rademaker, G De Melo Proceedings of COLING 2012: Demonstration Papers, 353-360, 2012	137	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	130	2003
Full intuitionistic linear logic M Hyland, V De Paiva Annals of Pure and Applied Logic 64 (3), 273-291, 1993	118	1993
A dialectica-like model of linear logic VCV De Paiva Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 …, 2005	113	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	113	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	111	1993
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	100	2017
Intuitionistic necessity revisited GM Bierman, VCV De Paiva School of Computer Science research reports-University of Birmingham CSR, 1996	94	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	82	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	73	2002
Universal Dependencies 2.1 J Nivre, Ž Agić, L Ahrenberg, L Antonsen, MJ Aranzabe, M Asahara, ...	72	2017
Deverbal nouns in knowledge representation O Gurevich, R Crouch, TH King, V De Paiva Journal of Logic and Computation 18 (3), 385-404, 2008	69	2008

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores