Luís Damas

According to our database, Luís Damas authored at least 35 papers between 1982 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2016

Time-evolving O-D matrix estimation using high-speed GPS data streams.

Luís Moreira-Matias, João Gama, Michel Ferreira, João Mendes-Moreira, Luís Damas

Expert Syst. Appl., 2016

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

Proceedings of the 2014 IEEE Intelligent Vehicles Symposium Proceedings, 2014

An online learning framework for predicting the taxi stand's profitability.

Luís Moreira-Matias, João Mendes-Moreira, Michel Ferreira, João Gama, Luís Damas

Proceedings of the 17th International IEEE Conference on Intelligent Transportation Systems, 2014

2013

Predicting Taxi-Passenger Demand Using Streaming Data.

Luís Moreira-Matias, João Gama, Michel Ferreira, João Mendes-Moreira, Luís Damas

IEEE Trans. Intell. Transp. Syst., 2013

On Recommending Urban Hotspots to Find Our Next Passenger.

Luís Moreira-Matias, Ricardo Fernandes, João Gama, Michel Ferreira, João Mendes-Moreira, Luís Damas

Proceedings of the 3rd Workshop on Ubiquitous Data Mining co-located with the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), 2013

On Predicting the Taxi-Passenger Demand: A Real-Time Approach.

Luís Moreira-Matias, João Gama, Michel Ferreira, João Mendes-Moreira, Luís Damas

Proceedings of the Progress in Artificial Intelligence, 2013

2012

The YAP Prolog system.

Vítor Santos Costa, Ricardo Rocha, Luís Damas

Theory Pract. Log. Program., 2012

An online recommendation system for the taxi stand choice problem (Poster).

Luís Moreira-Matias, Ricardo Fernandes, João Gama, Michel Ferreira, João Mendes-Moreira, Luís Damas

Proceedings of the 2012 IEEE Vehicular Networking Conference, 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, Fernanda Lima, Luís Damas

Proceedings of the Sensor Systems and Software - Third International ICST Conference, 2012

A predictive model for the passenger demand on a taxi network.

Luís Moreira-Matias, João Gama, Michel Ferreira, Luís Damas

Proceedings of the 15th International IEEE Conference on Intelligent Transportation Systems, 2012

Online Predictive Model for Taxi Services.

Luís Moreira-Matias, João Gama, Michel Ferreira, João Mendes-Moreira, Luís Damas

Proceedings of the Advances in Intelligent Data Analysis XI - 11th International Symposium, 2012

2011

Driver-Centric VANET Simulation.

Pedro Emanuel Rodrigues Gomes, Cristina Olaverri-Monreal, Michel Ferreira, Luís Damas

Proceedings of the Communication Technologies for Vehicles - Third International Workshop, 2011

2008

Large-scale simulation of V2V environments.

Hugo Conceição, Luís Damas, Michel Ferreira, João Barros

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

2007

On Principal Types of BCK- <i>lambda</i> -Terms.

Sabine Broda, Luís Damas

Proceedings of the Logic, 2007

2005

On Long Normal Inhabitants of a Type.

Sabine Broda, Luís Damas

J. Log. Comput., 2005

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

Linearization of the lambda-calculus and its relation with intersection type systems.

Mário Florido, Luís Damas

J. Funct. Program., 2004

2003

WAM Local Analysis.

Michel Ferreira, Luís Damas

Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003

2002

Studying provability in implicational intuitionistic logic the formula tree approach.

Sabine Broda, Luís Damas

Proceedings of the 9th Workhop on Logic, Language, Information and Computation, 2002

2001

Counting a Type's (Principal) Inhabitants.

Sabine Broda, Luís Damas

Fundam. Informaticae, 2001

A Context-Free Grammar Representation for Normal Inhabitants of Types in TA_lambda.

Sabine Broda, Luís Damas

Proceedings of the Progress in Artificial Intelligence, 2001

2000

On principal types of combinators.

Sabine Broda, Luís Damas

Theor. Comput. Sci., 2000

1999

Multiple Specialization of WAM Code.

Michel Ferreira, Luís Damas

Proceedings of the Practical Aspects of Declarative Languages, 1999

1997

Compact Bracket Abstraction in Combinatory Logic.

Sabine Broda, Luís Damas

J. Symb. Log., 1997

On Combinatory Complete Sets of Proper Combinators.

Sabine Broda, Luís Damas

J. Funct. Program., 1997

1995

Constraint Categorial Grammars.

Luís Damas, Nelma Moreira

Proceedings of the Progress in Artificial Intelligence, 1995

A New Translation Algorithm from Lambda Calculus into Combinatory Logic.

Sabine Broda, Luís Damas

Proceedings of the Progress in Artificial Intelligence, 1995

1993

Resolution of Constraints in Algebras of Rational Trees.

Luís Damas, Nelma Moreira, Sabine Broda

Proceedings of the Progress in Artificial Intelligence, 1993

1992

On the Satisfiability of Complex Constraints.

Luís Damas, Giovanni B. Varile

Proceedings of the 14th International Conference on Computational Linguistics, 1992

1991

An History Based Interface.

José Paulo Leal, Luís Damas, Nelma Moreira

Proceedings of the ICLP 1991 Workshop on Logic Programming Environments, 1991

The Formal and Processing Models of CLG.

Luís Damas, Giovanni B. Varile, Nelma Moreira

Proceedings of the EACL 1991, 1991

1990

CLG(n): Constraint Logic Grammars.

Sergio Balari, Giovanni B. Varile, Luís Damas, Nelma Moreira

Proceedings of the 13th International Conference on Computational Linguistics, 1990

1989

CLG: A Grammar Formalism Based on Constraint Reslution.

Luís Damas, Giovanni B. Varile

Proceedings of the EPIA 89, 1989

1984

Type assignment in programming languages.

Luís Damas

PhD thesis, 1984

1982

Principal Type-Schemes for Functional Programs.

Luís Damas, Robin Milner

Proceedings of the Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, 1982