| CoNLL 2017 Shared Task: Multilingual Parsing from Raw Text to Universal Dependencies Proceedings of the {C}o{NLL} 2017 Shared Task: Multilingual Parsing from Raw …, 2017 | 754* | 2017 |
| A term calculus for intuitionistic linear logic N Benton, G Bierman, V De Paiva, M Hyland International Conference on Typed Lambda Calculi and Applications, 75-90, 1993 | 283 | 1993 |
| On an intuitionistic modal logic GM Bierman, VCV de Paiva Studia Logica 65 (3), 383-416, 2000 | 241 | 2000 |
| Universal Dependencies 2.2 J Nivre, M Abrams, Ž Agić, L Ahrenberg, L Antonsen, MJ Aranzabe, ... | 217 | 2018 |
| The Dialectica Categories V de Paiva Computer Lab, University of Cambridge, Technical Report, PhD thesis, https …, 1991 | 205 | 1991 |
| Inheritance, defaults and the lexicon T Briscoe, A Copestake, V De Paiva Cambridge University Press, 1993 | 196 | 1993 |
| Computational types from a logical perspective PN Benton, GM Bierman, VCV de Paiva Journal of Functional Programming 8 (2), 177-193, 1998 | 181 | 1998 |
| Categorical and Kripke semantics for constructive S4 modal logic N Alechina, M Mendler, V De Paiva, E Ritter International workshop on computer science logic, 292-307, 2001 | 174 | 2001 |
| Term assignment for intuitionistic linear logic (preliminary report) N Benton, G Bierman, V de Paiva, M Hyland University of Cambridge. Computer Laboratory, UK https://www.cl.cam.ac.uk …, 1992 | 151* | 1992 |
| 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 | 142 | 2003 |
| 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 | 138 | 2012 |
| Extended Curry-Howard correspondence for a basic constructive modal logic G Bellin, V De Paiva, E Ritter Proceedings of methods for modalities 2, 2001 | 125 | 2001 |
| Full intuitionistic linear logic M Hyland, V De Paiva Annals of Pure and Applied Logic 64 (3), 273-291, 1993 | 122 | 1993 |
| Linear λ-calculus and categorical models revisited N Benton, G Bierman, V De Paiva, M Hyland International Workshop on Computer Science Logic, 61-84, 1992 | 121 | 1992 |
| 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 | 120 | 2017 |
| A dialectica-like model of linear logic VCV De Paiva Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 …, 1989 | 117* | 1989 |
| 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 | 100 | 2007 |
| Intuitionistic necessity revisited GM Bierman, VCV De Paiva School of Computer Science research reports-University of Birmingham CSR, 1996 | 97 | 1996 |
| 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 | 71 | 2008 |
Alexandre RademakerEMAp/FGVVerified email at fgv.br
