Luís Damas

40 papers A* 1A 1B 4C 4Misc 8Journal 12Unranked 8
YearRankTypeTitle / Venue / Authors
2016 J jnl
Time-evolving O-D matrix estimation using high-speed GPS data streams.
Expert Syst. Appl.
Luís Moreira-Matias, João Gama, Michel Ferreira, João Mendes-Moreira, Luís Damas
2014 — conf
An online learning framework for predicting the taxi stand's profitability.
ITSC
Luís Moreira-Matias, João Mendes-Moreira, Michel Ferreira, João Gama, Luís Damas
2014 B conf
Self-automated parking lots for autonomous vehicles based on vehicular ad hoc networking.
Intelligent Vehicles Symposium
Michel Ferreira, Luís Damas, Hugo Conceição, Pedro M. d'Orey, Ricardo Fernandes, Peter Steenkiste, Pedro Gomes
2013 Misc conf
On Predicting the Taxi-Passenger Demand: A Real-Time Approach.
EPIA
Luís Moreira-Matias, João Gama, Michel Ferreira, João Mendes-Moreira, Luís Damas
2013 — conf
On Recommending Urban Hotspots to Find Our Next Passenger.
UDM@IJCAI
Luís Moreira-Matias, Ricardo Fernandes, João Gama, Michel Ferreira, João Mendes-Moreira, Luís Damas
2013 J jnl
Predicting Taxi-Passenger Demand Using Streaming Data.
IEEE Trans. Intell. Transp. Syst.
Luís Moreira-Matias, João Gama, Michel Ferreira, João Mendes-Moreira, Luís Damas
2012 — conf
A predictive model for the passenger demand on a taxi network.
ITSC
Luís Moreira-Matias, João Gama, Michel Ferreira, Luís Damas
2012 — conf
An online recommendation system for the taxi stand choice problem (Poster).
VNC
Luís Moreira-Matias, Ricardo Fernandes, João Gama, Michel Ferreira, João Mendes-Moreira, Luís Damas
2012 B conf
Online Predictive Model for Taxi Services.
IDA
Luís Moreira-Matias, João Gama, Michel Ferreira, João Mendes-Moreira, Luís Damas
2012 J jnl
The YAP Prolog system.
Theory Pract. Log. Program.
Vítor Santos Costa, Ricardo Rocha, Luís Damas
2012 — conf
Vehicular Sensing: Emergence of a Massive Urban Scanner.
S-CUBE
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
2011 — conf
Driver-Centric VANET Simulation.
Nets4Cars/Nets4Trains
Pedro Emanuel Rodrigues Gomes, Cristina Olaverri-Monreal, Michel Ferreira, Luís Damas
2011 J jnl
The YAP Prolog System
CoRR
Vítor Santos Costa, Luís Damas, Ricardo Rocha
2008 Misc conf
Large-scale simulation of V2V environments.
SAC
Hugo Conceição, Luís Damas, Michel Ferreira, João Barros
2007 C conf
On Principal Types of BCK-
WoLLIC
Sabine Broda, Luís Damas
2005 J jnl
On Long Normal Inhabitants of a Type.
J. Log. Comput.
Sabine Broda, Luís Damas
2004 J jnl
Linearization of the lambda-calculus and its relation with intersection type systems.
J. Funct. Program.
Mário Florido, Luís Damas
2004 J jnl
The decidability of a fragment of BB'IW-logic.
Theor. Comput. Sci.
Sabine Broda, Luís Damas, Marcelo Finger, Paulo Silva e Silva
2003 C conf
WAM Local Analysis.
PADL
Michel Ferreira, Luís Damas
2002 C conf
Studying provability in implicational intuitionistic logic the formula tree approach.
WoLLIC
Sabine Broda, Luís Damas
2001 Misc conf
A Context-Free Grammar Representation for Normal Inhabitants of Types in TA
EPIA
Sabine Broda, Luís Damas
2001 J jnl
Counting a Type's (Principal) Inhabitants.
Fundam. Informaticae
Sabine Broda, Luís Damas
2000 J jnl
On principal types of combinators.
Theor. Comput. Sci.
Sabine Broda, Luís Damas
1999 — conf
Counting a Type's Principal Inhabitants.
TLCA
Sabine Broda, Luís Damas
1999 C conf
Multiple Specialization of WAM Code.
PADL
Michel Ferreira, Luís Damas
1997 J jnl
Compact Bracket Abstraction in Combinatory Logic.
J. Symb. Log.
Sabine Broda, Luís Damas
1997 J jnl
On Combinatory Complete Sets of Proper Combinators.
J. Funct. Program.
Sabine Broda, Luís Damas
1995 Misc conf
A New Translation Algorithm from Lambda Calculus into Combinatory Logic.
EPIA
Sabine Broda, Luís Damas
1995 J jnl
Constraint Categorial Grammars
CoRR
Luís Damas, Nelma Moreira
1995 Misc conf
Constraint Categorial Grammars.
EPIA
Luís Damas, Nelma Moreira
1993 Misc ed.
Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings
EPIA
Miguel Filgueiras, Luís Damas
1993 Misc conf
Resolution of Constraints in Algebras of Rational Trees.
EPIA
Luís Damas, Nelma Moreira, Sabine Broda
1992 B conf
On the Satisfiability of Complex Constraints.
COLING
Luís Damas, Giovanni B. Varile
1991 — conf
An History Based Interface.
LPE
José Paulo Leal, Luís Damas, Nelma Moreira
1991 — ed.
Natural Language Processing, EAIA '90, 2nd Advanced School in Artificial Intelligence, Guarda, Portugal, October 8-12, 1990, Proceedings
EAIA
Miguel Filgueiras, Luís Damas, Nelma Moreira, Ana Paula Tomás
1991 A conf
The Formal and Processing Models of CLG.
EACL
Luís Damas, Giovanni B. Varile, Nelma Moreira
1990 B conf
CLG(n): Constraint Logic Grammars.
COLING
Sergio Balari, Giovanni B. Varile, Luís Damas, Nelma Moreira
1989 Misc conf
CLG: A Grammar Formalism Based on Constraint Reslution.
EPIA
Luís Damas, Giovanni B. Varile
1984 — —
Type assignment in programming languages.
Luís Damas
1982 A* conf
Principal Type-Schemes for Functional Programs.
POPL
Luís Damas, Robin Milner