| 2013 | EPIA | On Predicting the Taxi-Passenger Demand: A Real-Time Approach. | Lus Moreira-Matias, Joo Gama, Michel Ferreira, Joo Mendes-Moreira, Lus Damas |
| 2013 | IJCAI | On Recommending Urban Hotspots to Find Our Next Passenger. | Lus Moreira-Matias, Ricardo Fernandes, Joo Gama, Michel Ferreira, Joo Mendes-Moreira, Lus Damas |
| 2012 | IDA | Online Predictive Model for Taxi Services. | Lus Moreira-Matias, Joo Gama, Michel Ferreira, Joo Mendes-Moreira, Lus Damas |
| 2008 | SAC | Large-scale simulation of V2V environments. | Hugo Conceio, Lus Damas, Michel Ferreira, Joo Barros |
| 2007 | WoLLIC | On Principal Types of BCK- | Sabine Broda, Lus Damas |
| 2003 | PADL | WAM Local Analysis. | Michel Ferreira, Lus Damas |
| 2001 | EPIA | A Context-Free Grammar Representation for Normal Inhabitants of Types in TA | Sabine Broda, Lus Damas |
| 1999 | PADL | Multiple Specialization of WAM Code. | Michel Ferreira, Lus Damas |
| 1995 | EPIA | A New Translation Algorithm from Lambda Calculus into Combinatory Logic. | Sabine Broda, Lus Damas |
| 1995 | EPIA | Constraint Categorial Grammars. | Lus Damas, Nelma Moreira |
| 1993 | EPIA | Resolution of Constraints in Algebras of Rational Trees. | Lus Damas, Nelma Moreira, Sabine Broda |
| 1992 | COLING | On the Satisfiability of Complex Constraints. | Lus Damas, Giovanni B. Varile |
| 1991 | EACL | The Formal and Processing Models of CLG. | Lus Damas, Giovanni B. Varile, Nelma Moreira |
| 1990 | COLING | CLG(n): Constraint Logic Grammars. | Sergio Balari, Giovanni B. Varile, Lus Damas, Nelma Moreira |
| 1989 | EPIA | CLG: A Grammar Formalism Based on Constraint Reslution. | Lus Damas, Giovanni B. Varile |
| 1982 | POPL | Principal Type-Schemes for Functional Programs. | Lus Damas, Robin Milner |