Valeria de Paiva

Cuill, Inc., Cupertino, CA, USA

	2011
36		Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker: Intuitionistic Description Logic and Legal Reasoning. DEXA Workshops 2011: 345-349
35		Apostolos Syropoulos, Valeria de Paiva: Fuzzy Topological Systems CoRR abs/1107.2513: (2011)
34		Valeria de Paiva: Bridges from Language to Logic: Concepts, Contexts and Ontologies. Electr. Notes Theor. Comput. Sci. 269: 83-94 (2011)
33		Valeria de Paiva, Edward Hermann Haeusler, Alexandre Rademaker: Constructive Description Logics Hybrid-Style. Electr. Notes Theor. Comput. Sci. 273: 21-31 (2011)
32		Valeria de Paiva, Brigitte Pientka: Intuitionistic Modal Logic and Applications (IMLA 2008). Inf. Comput. 209(12): 1435-1436 (2011)
	2010
31		Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker: Intuitionistic Logic and Legal Ontologies. JURIX 2010: 155-158
	2009
30		Grigori Mints, Valeria de Paiva, Ruy J. G. B. de Queiroz: Logic, Language, Information and Computation. Inf. Comput. 207(10): 969-970 (2009)
	2008
29		Olga Gurevich, Richard S. Crouch, Tracy H. King, Valeria de Paiva: Deverbal Nouns in Knowledge Representation. J. Log. Comput. 18(3): 385-404 (2008)
	2007
28		Valeria de Paiva, Daniel G. Bobrow, Cleo Condoravdi, Dick Crouch, Tracy H. King, Lauri Karttunen, Rowan Nairn, Annie Zaenen: Textual Inference Logic: Take Two. C&O:RR 2007
27		Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen: Preface. Electr. Notes Theor. Comput. Sci. 174(6): 1-2 (2007)
26		Joseph A. Goguen, Till Mossakowski, Valeria de Paiva, Florian Rabe, Lutz Schröder: An Institutional View on Categorical Logic. Int. J. Software and Informatics 1(1): 129-152 (2007)
	2006
25		Olga Gurevich, Richard S. Crouch, Tracy H. King, Valeria de Paiva: Deverbal Nouns in Knowledge Representation. FLAIRS Conference 2006: 670-675
24		Torben Braüner, Valeria de Paiva: Intuitionistic hybrid logic. J. Applied Logic 4(3): 231-255 (2006)
	2005
23		Maria Emilia Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter: Relating Categorical Semantics for Intuitionistic Linear Logic. Applied Categorical Structures 13(1): 1-36 (2005)
	2004
22		Valeria de Paiva, Rajeev Goré, Michael Mendler: Editorial. J. Log. Comput. 14(4): 439-446 (2004)
21		Valeria de Paiva, Rajeev Goré, Michael Mendler: Forthcoming Papers. J. Log. Comput. 14(4): 621-622 (2004)
20		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
19		Valeria de Paiva: Natural Deduction and Context as (Constructive) Modality. CONTEXT 2003: 116-129
18		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
17		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
16		Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter: Categorical and Kripke Semantics for Constructive S4 Modal Logic. CSL 2001: 292-307
15		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
14		Maria Emilia Maietti, Valeria de Paiva, Eike Ritter: Categorical Models for Intuitionistic and Linear Type Theory. FoSSaCS 2000: 223-237
13		Neil Ghani, Valeria de Paiva, Eike Ritter: Linear Explicit Substitutions. Logic Journal of the IGPL 8(1): 7-31 (2000)
12		Gavin M. Bierman, Valeria de Paiva: On an Intuitionistic Modal Logic. Studia Logica 65(3): 383-416 (2000)
	1999
11		Neil Ghani, Valeria de Paiva, Eike Ritter: Categorical Models of Explicit Substitutions. FoSSaCS 1999: 197-211
	1998
10		Valeria de Paiva, Andrea Schalk: Building Models of Linear Logic. AMAST 1998: 164-177
9		Neil Ghani, Valeria de Paiva, Eike Ritter: Explicit Substitutions for Constructive Necessity. ICALP 1998: 743-754
8		P. N. Benton, Gavin M. Bierman, Valeria de Paiva: Computational Types from a Logical Perspective. J. Funct. Program. 8(2): 177-193 (1998)
	1997
7		Torben Braüner, Valeria de Paiva: A Formulation of Linear Logic Based on Dependency-Relations. CSL 1997: 129-148
6		Eike Ritter, Valeria de Paiva: On Explicit Substitution and Names (Extended Abstract). ICALP 1997: 248-258
	1993
5		Monica Nesi, Valeria de Paiva, Eike Ritter: Rewriting Properties of Combinators for Rudimentary Linear Logic. HOA 1993: 256-275
4		P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland: A Term Calculus for Intuitionistic Linear Logic. TLCA 1993: 75-90
3		Martin Hyland, Valeria de Paiva: Full Intuitionistic Linear Logic (extended abstract). Ann. Pure Appl. Logic 64(3): 273-291 (1993)
	1992
2		P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland: Linear Lambda-Calculus and Categorial Models Revisited. CSL 1992: 61-84
	1989
1		Valeria de Paiva: A Dialectica-like Model of Linear Logic. Category Theory and Computer Science 1989: 341-356

Coauthor Index

1	Natasha Alechina	[16]
2	Nick Benton (P. N. Benton)	[2] [4] [8]
3	Martin van den Berg	[15] [17]
4	Gavin M. Bierman	[2] [4] [8] [12]
5	Patrick Blackburn	[27]
6	Daniel G. Bobrow	[15] [17] [18] [28]
7	Thomas Bolander	[27]
8	Torben Braüner	[7] [24] [27]
9	Cleo Condoravdi	[15] [17] [18] [28]
10	Dick Crouch	[15] [28]
11	Richard S. Crouch	[17] [18] [25] [29]
12	John O. Everett	[15] [17]
13	Neil Ghani	[9] [11] [13]
14	Joseph A. Goguen	[26]
15	Rajeev Goré	[21] [22]
16	Olga Gurevich	[25] [29]
17	Edward Hermann Haeusler	[31] [33] [36]
18	Martin Hyland (J. M. E. Hyland)	[2] [3] [4]
19	Lauri Karttunen	[28]
20	Tracy H. King	[25] [28] [29]
21	Maria Emilia Maietti	[14] [23]
22	Paola Maneggia	[23]
23	Michael Mendler	[16] [21] [22]
24	Grigori Mints	[30]
25	Till Mossakowski	[26]
26	Rowan Nairn	[28]
27	Monica Nesi	[5]
28	Brigitte Pientka	[32]
29	Livia Polanyi	[17]
30	Ruy J. G. B. de Queiroz	[30]
31	Florian Rabe	[26]
32	Alexandre Rademaker	[31] [33] [36]
33	Eike Ritter	[5] [6] [9] [11] [13] [14] [16] [23]
34	Andrea Schalk	[10] [20]
35	Lutz Schröder	[26]
36	Reinhard Stolle	[15] [17] [18]
37	Apostolos Syropoulos	[35]
38	Jørgen Villadsen	[27]
39	Annie Zaenen	[28]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page