Luís Damas

Vítor Santos Costa, Ricardo Rocha, Luís Damas: The YAP Prolog system. TPLP 12(1-2): 5-34 (2012)

Luís Moreira-Matias, João Gama, Michel Ferreira, João Mendes-Moreira, Luís Damas: Online Predictive Model for Taxi Services. IDA 2012: 230-240

Michel Ferreira, Ricardo Fernandes, Hugo Conceição, Pedro Emanuel Rodrigues Gomes, Pedro M. d'Orey, Luís Moreira-Matias, João Gama, Fernanda Lima, Luís Damas: Vehicular Sensing: Emergence of a Massive Urban Scanner. S-CUBE 2012: 1-14

Luís Moreira-Matias, Ricardo Fernandes, Joao Gama, Michel Ferreira, João Mendes-Moreira, Luís Damas: An online recommendation system for the taxi stand choice problem (Poster). VNC 2012: 173-180

Pedro Emanuel Rodrigues Gomes, Cristina Olaverri-Monreal, Michel Ferreira, Luís Damas: Driver-Centric VANET Simulation. Nets4Cars/Nets4Trains 2011: 143-154

Vítor Santos Costa, Luís Damas, Ricardo Rocha: The YAP Prolog System. CoRR abs/1102.3896 (2011)

Hugo Conceição, Luís Damas, Michel Ferreira, João Barros: Large-scale simulation of V2V environments. SAC 2008: 28-33

Sabine Broda, Luís Damas: On Principal Types of BCK- lambda -Terms. WoLLIC 2007: 120-130

Sabine Broda, Luís Damas: On Long Normal Inhabitants of a Type. J. Log. Comput. 15(3): 353-390 (2005)

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)

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)

Michel Ferreira, Luís Damas: WAM Local Analysis. PADL 2003: 286-303

Sabine Broda, Luís Damas: Studying provability in implicational intuitionistic logic the formula tree approach. Electr. Notes Theor. Comput. Sci. 67: 131-147 (2002)

Sabine Broda, Luís Damas: Counting a Type's (Principal) Inhabitants. Fundam. Inform. 45(1-2): 33-51 (2001)

Sabine Broda, Luís Damas: A Context-Free Grammar Representation for Normal Inhabitants of Types in TA_lambda. EPIA 2001: 321-334

Sabine Broda, Luís Damas: On principal types of combinators. Theor. Comput. Sci. 247(1-2): 277-290 (2000)

Michel Ferreira, Luís Damas: Multiple Specialization of WAM Code. PADL 1999: 243-258

Sabine Broda, Luís Damas: Counting a Type's Principal Inhabitants. TLCA 1999: 69-82

Sabine Broda, Luís Damas: On Combinatory Complete Sets of Proper Combinators. J. Funct. Program. 7(6): 593-612 (1997)

Sabine Broda, Luís Damas: Compact Bracket Abstraction in Combinatory Logic. J. Symb. Log. 62(3): 729-740 (1997)

Luís Damas, Nelma Moreira: Constraint Categorial Grammars. EPIA 1995: 347-358

Sabine Broda, Luís Damas: A New Translation Algorithm from Lambda Calculus into Combinatory Logic. EPIA 1995: 359-370

Luís Damas, Nelma Moreira: Constraint Categorial Grammars. CoRR abs/cmp-lg/9507001 (1995)

Luís Damas, Nelma Moreira, Sabine Broda: Resolution of Constraints in Algebras of Rational Trees. EPIA 1993: 61-76

Miguel Filgueiras, Luís Damas (Eds.): Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings. Lecture Notes in Computer Science 727, Springer 1993, isbn 3-540-57287-2

Luís Damas, Giovanni B. Varile: On the Satisfiability of Complex Constraints. COLING 1992: 108-112

Luís Damas, Giovanni B. Varile, Nelma Moreira: The Formal and Processing Models of CLG. EACL 1991: 173-178

José Paulo Leal, Luís Damas, Nelma Moreira: An History Based Interface. LPE 1991: 10-16

Miguel Filgueiras, Luís Damas, Nelma Moreira, Ana Paula Tomás (Eds.): Natural Language Processing, EAIA '90, 2nd Advanced School in Artificial Intelligence, Guarda, Portugal, October 8-12, 1990, Proceedings. Lecture Notes in Computer Science 476, Springer 1991, isbn 3-540-53678-7

Sergio Balari, Giovanni B. Varile, Luís Damas, Nelma Moreira: CLG(n): Constraint Logic Grammars. COLING 1990: 7-12

Luís Damas, Giovanni B. Varile: CLG: A Grammar Formalism Based on Constraint Reslution. EPIA 1989: 175-186

Luís Damas, Robin Milner: Principal Type-Schemes for Functional Programs. POPL 1982: 207-212