Luís Damas

Publication Activity (10 Years)

Years Active: 1982-2016
Publications (10 Years): 1

Top Venues

ITSC

UDM@IJCAI

IDA

EPIA

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Luís Moreira-Matias, João Gama, Michel Ferreira, João Mendes-Moreira, Luís Damas
Time-evolving O-D matrix estimation using high-speed GPS data streams. Expert Syst. Appl. 44 (2016)
Luís Moreira-Matias, João Mendes-Moreira, Michel Ferreira, João Gama, Luís Damas
An online learning framework for predicting the taxi stand's profitability. ITSC (2014)
Michel Ferreira, Luís Damas, Hugo Conceição, Pedro M. d'Orey, Ricardo Fernandes, Peter Steenkiste, Pedro Gomes
Self-automated parking lots for autonomous vehicles based on vehicular ad hoc networking. Intelligent Vehicles Symposium (2014)
Luís Moreira-Matias, João Gama, Michel Ferreira, João Mendes-Moreira, Luís Damas
On Predicting the Taxi-Passenger Demand: A Real-Time Approach. EPIA (2013)
Luís Moreira-Matias, João Gama, Michel Ferreira, João Mendes-Moreira, Luís Damas
Predicting Taxi-Passenger Demand Using Streaming Data. IEEE Trans. Intell. Transp. Syst. 14 (3) (2013)
Luís Moreira-Matias, Ricardo Fernandes, João Gama, Michel Ferreira, João Mendes-Moreira, Luís Damas
On Recommending Urban Hotspots to Find Our Next Passenger. UDM@IJCAI (2013)
Luís Moreira-Matias, Ricardo Fernandes, João Gama, Michel Ferreira, João Mendes-Moreira, Luís Damas
An online recommendation system for the taxi stand choice problem (Poster). VNC (2012)
Vítor Santos Costa, Ricardo Rocha, Luís Damas
The YAP Prolog system. Theory Pract. Log. Program. 12 (1-2) (2012)
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)
Luís Moreira-Matias, João Gama, Michel Ferreira, Luís Damas
A predictive model for the passenger demand on a taxi network. ITSC (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)
Pedro Emanuel Rodrigues Gomes, Cristina Olaverri-Monreal, Michel Ferreira, Luís Damas
Driver-Centric VANET Simulation. Nets4Cars/Nets4Trains (2011)
Vítor Santos Costa, Luís Damas, Ricardo Rocha
The YAP Prolog System CoRR (2011)
Hugo Conceição, Luís Damas, Michel Ferreira, João Barros
Large-scale simulation of V2V environments. SAC (2008)
Sabine Broda, Luís Damas
-Terms. WoLLIC (2007)
Sabine Broda, Luís Damas
On Long Normal Inhabitants of a Type. J. Log. Comput. 15 (3) (2005)
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) (2004)
Mário Florido, Luís Damas
Linearization of the lambda-calculus and its relation with intersection type systems. J. Funct. Program. 14 (5) (2004)
Michel Ferreira, Luís Damas
WAM Local Analysis. PADL (2003)
Sabine Broda, Luís Damas
Studying provability in implicational intuitionistic logic the formula tree approach. Electron. Notes Theor. Comput. Sci. 67 (2002)
Sabine Broda, Luís Damas
. EPIA (2001)
Sabine Broda, Luís Damas
Counting a Type's (Principal) Inhabitants. Fundam. Informaticae 45 (1-2) (2001)
Sabine Broda, Luís Damas
On principal types of combinators. Theor. Comput. Sci. 247 (1-2) (2000)
Sabine Broda, Luís Damas
Counting a Type's Principal Inhabitants. TLCA (1999)
Michel Ferreira, Luís Damas
Multiple Specialization of WAM Code. PADL (1999)
Sabine Broda, Luís Damas
Compact Bracket Abstraction in Combinatory Logic. J. Symb. Log. 62 (3) (1997)
Sabine Broda, Luís Damas
On Combinatory Complete Sets of Proper Combinators. J. Funct. Program. 7 (6) (1997)
Sabine Broda, Luís Damas
A New Translation Algorithm from Lambda Calculus into Combinatory Logic. EPIA (1995)
Luís Damas, Nelma Moreira
Constraint Categorial Grammars CoRR (1995)
Luís Damas, Nelma Moreira
Constraint Categorial Grammars. EPIA (1995)
Luís Damas, Nelma Moreira, Sabine Broda
Resolution of Constraints in Algebras of Rational Trees. EPIA (1993)
Luís Damas, Giovanni B. Varile
On the Satisfiability of Complex Constraints. COLING (1992)
José Paulo Leal, Luís Damas, Nelma Moreira
An History Based Interface. LPE (1991)
Luís Damas, Giovanni B. Varile, Nelma Moreira
The Formal and Processing Models of CLG. EACL (1991)
Sergio Balari, Giovanni B. Varile, Luís Damas, Nelma Moreira
CLG(n): Constraint Logic Grammars. COLING (1990)
Luís Damas, Giovanni B. Varile
CLG: A Grammar Formalism Based on Constraint Reslution. EPIA (1989)
Luís Damas, Robin Milner
Principal Type-Schemes for Functional Programs. POPL (1982)

Luís Damas.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Luís Damas