Luís Damas

	2011
28		Pedro Emanuel Rodrigues Gomes, Cristina Olaverri-Monreal, Michel Ferreira, Luís Damas: Driver-Centric VANET Simulation. Nets4Cars/Nets4Trains 2011: 143-154
27		Vítor Santos Costa, Luís Damas, Ricardo Rocha: The YAP Prolog System CoRR abs/1102.3896: (2011)
	2008
26		Hugo Conceição, Luís Damas, Michel Ferreira, João Barros: Large-scale simulation of V2V environments. SAC 2008: 28-33
	2007
25		Sabine Broda, Luís Damas: On Principal Types of BCK- lambda -Terms. WoLLIC 2007: 120-130
	2005
24		Sabine Broda, Luís Damas: On Long Normal Inhabitants of a Type. J. Log. Comput. 15(3): 353-390 (2005)
	2004
23		Mário Florido, Luís Damas: Linearization of the lambda-calculus and its relation with intersection type systems. J. Funct. Program. 14(5): 519-546 (2004)
22		Sabine Broda, Luís Damas, Marcelo Finger, Paulo Silva e Silva: The decidability of a fragment of BB'IW-logic. Theor. Comput. Sci. 318(3): 373-408 (2004)
	2003
21		Michel Ferreira, Luís Damas: WAM Local Analysis. PADL 2003: 286-303
	2002
20		Sabine Broda, Luís Damas: Studying provability in implicational intuitionistic logic the formula tree approach. Electr. Notes Theor. Comput. Sci. 67: 131-147 (2002)
	2001
19		Sabine Broda, Luís Damas: A Context-Free Grammar Representation for Normal Inhabitants of Types in TAlambda. EPIA 2001: 321-334
18		Sabine Broda, Luís Damas: Counting a Type's (Principal) Inhabitants. Fundam. Inform. 45(1-2): 33-51 (2001)
	2000
17		Sabine Broda, Luís Damas: On principal types of combinators. Theor. Comput. Sci. 247(1-2): 277-290 (2000)
	1999
16		Michel Ferreira, Luís Damas: Multiple Specialization of WAM Code. PADL 1999: 243-258
15		Sabine Broda, Luís Damas: Counting a Type's Principal Inhabitants. TLCA 1999: 69-82
	1997
14		Sabine Broda, Luís Damas: On Combinatory Complete Sets of Proper Combinators. J. Funct. Program. 7(6): 593-612 (1997)
13		Sabine Broda, Luís Damas: Compact Bracket Abstraction in Combinatory Logic. J. Symb. Log. 62(3): 729-740 (1997)
	1995
12		Luís Damas, Nelma Moreira: Constraint Categorial Grammars. EPIA 1995: 347-358
11		Sabine Broda, Luís Damas: A New Translation Algorithm from Lambda Calculus into Combinatory Logic. EPIA 1995: 359-370
10		Luís Damas, Nelma Moreira: Constraint Categorial Grammars CoRR abs/cmp-lg/9507001: (1995)
	1993
9		Miguel Filgueiras, Luís Damas: Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings Springer 1993
8		Luís Damas, Nelma Moreira, Sabine Broda: Resolution of Constraints in Algebras of Rational Trees. EPIA 1993: 61-76
	1992
7		Luís Damas, Giovanni B. Varile: On the Satisfiability of Complex Constraints. COLING 1992: 108-112
	1991
6		Miguel Filgueiras, Luís Damas, Nelma Moreira, Ana Paula Tomás: Natural Language Processing, EAIA '90, 2nd Advanced School in Artificial Intelligence, Guarda, Portugal, October 8-12, 1990, Proceedings Springer 1991
5		Luís Damas, Giovanni B. Varile, Nelma Moreira: The Formal and Processing Models of CLG. EACL 1991: 173-178
4		José Paulo Leal, Luís Damas, Nelma Moreira: An History Based Interface. LPE 1991: 10-16
	1990
3		Sergio Balari, Giovanni B. Varile, Luís Damas, Nelma Moreira: CLG(n): Constraint Logic Grammars. COLING 1990: 7-12
	1989
2		Luís Damas, Giovanni B. Varile: CLG: A Grammar Formalism Based on Constraint Reslution. EPIA 1989: 175-186
	1982
1		Luís Damas, Robin Milner: Principal Type-Schemes for Functional Programs. POPL 1982: 207-212

Coauthor Index

1	Sergio Balari	[3]
2	João Barros	[26]
3	Sabine Broda	[8] [11] [13] [14] [15] [17] [18] [19] [20] [22] [24] [25]
4	Hugo Conceição	[26]
5	Vítor Santos Costa	[27]
6	Michel Ferreira	[16] [21] [26] [28]
7	Miguel Filgueiras	[6] [9]
8	Marcelo Finger	[22]
9	Mário Florido	[23]
10	Pedro Emanuel Rodrigues Gomes	[28]
11	José Paulo Leal	[4]
12	Robin Milner	[1]
13	Nelma Moreira	[3] [4] [5] [6] [8] [10] [12]
14	Cristina Olaverri-Monreal	[28]
15	Ricardo Rocha (Ricardo Jorge Gomes Lopes da Rocha)	[27]
16	Paulo Silva e Silva	[22]
17	Ana Paula Tomás	[6]
18	Giovanni B. Varile	[2] [3] [5] [7]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page