Principal Type-Schemes for Functional Programs. - Luís Damas; Robin Milner (POPL, 1982)

Type assignment in programming languages. - Luís Damas (1984)

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

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

The Formal and Processing Models of CLG. - Luís Damas; Giovanni B. Varile; Nelma Moreira (EACL, 1991)

An History Based Interface. - José Paulo Leal; Luís Damas; Nelma Moreira (LPE, 1991)

On the Satisfiability of Complex Constraints. - Luís Damas; Giovanni B. Varile (COLING, 1992)

Resolution of Constraints in Algebras of Rational Trees. - Luís Damas; Nelma Moreira; Sabine Broda (EPIA, 1993)

A New Translation Algorithm from Lambda Calculus into Combinatory Logic. - Sabine Broda; Luís Damas (EPIA, 1995)

Constraint Categorial Grammars. - Luís Damas; Nelma Moreira (EPIA, 1995)

On Combinatory Complete Sets of Proper Combinators. - Sabine Broda; Luís Damas (J. Funct. Program., 1997)

Compact Bracket Abstraction in Combinatory Logic. - Sabine Broda; Luís Damas (J. Symb. Log., 1997)

Multiple Specialization of WAM Code. - Michel Ferreira; Luís Damas (PADL, 1999)

On principal types of combinators. - Sabine Broda; Luís Damas (Theor. Comput. Sci., 2000)

A Context-Free Grammar Representation for Normal Inhabitants of Types in TAlambda. - Sabine Broda; Luís Damas (EPIA, 2001)

Counting a Type's (Principal) Inhabitants. - Sabine Broda; Luís Damas (Fundam. Informaticae, 2001)

Studying provability in implicational intuitionistic logic the formula tree approach. - Sabine Broda; Luís Damas (WoLLIC, 2002)

WAM Local Analysis. - Michel Ferreira; Luís Damas (PADL, 2003)

Linearization of the lambda-calculus and its relation with intersection type systems. - Mário Florido; Luís Damas (J. Funct. Program., 2004)

The decidability of a fragment of BB'IW-logic. - Sabine Broda; Luís Damas; Marcelo Finger; Paulo Silva e Silva (Theor. Comput. Sci., 2004)

On Long Normal Inhabitants of a Type. - Sabine Broda; Luís Damas (J. Log. Comput., 2005)

On Principal Types of BCK- lambda -Terms. - Sabine Broda; Luís Damas (WoLLIC, 2007)

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

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

Online Predictive Model for Taxi Services. - Luís Moreira-Matias; João Gama 001; Michel Ferreira; João Mendes-Moreira 001; Luís Damas (IDA, 2012)

A predictive model for the passenger demand on a taxi network. - Luís Moreira-Matias; João Gama 001; Michel Ferreira; Luís Damas (ITSC, 2012)

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

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

The YAP Prolog system. - Vítor Santos Costa; Ricardo Rocha 001; Luís Damas (Theory Pract. Log. Program., 2012)

On Predicting the Taxi-Passenger Demand: A Real-Time Approach. - Luís Moreira-Matias; João Gama 001; Michel Ferreira; João Mendes-Moreira 001; Luís Damas (EPIA, 2013)

On Recommending Urban Hotspots to Find Our Next Passenger. - Luís Moreira-Matias; Ricardo Fernandes; João Gama 001; Michel Ferreira; João Mendes-Moreira 001; Luís Damas (UDM@IJCAI, 2013)

Predicting Taxi-Passenger Demand Using Streaming Data. - Luís Moreira-Matias; João Gama 001; Michel Ferreira; João Mendes-Moreira 001; Luís Damas (IEEE Trans. Intell. Transp. Syst., 2013)

An online learning framework for predicting the taxi stand's profitability. - Luís Moreira-Matias; João Mendes-Moreira 001; Michel Ferreira; João Gama 001; Luís Damas (ITSC, 2014)

Self-automated parking lots for autonomous vehicles based on vehicular ad hoc networking. - Michel Ferreira; Luís Damas; Hugo Conceição; Pedro M. d'Orey; Ricardo Fernandes; Peter Steenkiste; Pedro Gomes (Intelligent Vehicles Symposium, 2014)

Time-evolving O-D matrix estimation using high-speed GPS data streams. - Luís Moreira-Matias; João Gama 001; Michel Ferreira; João Mendes-Moreira 001; Luís Damas (Expert Syst. Appl., 2016)