The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Luís Damas" ( http://dblp.L3S.de/Authors/Luís_Damas )

  Author page on DBLP  Author page in RDF  Community of Luís Damas in ASPL-2

Publication years (Num. hits)
1982-1997 (15) 1999-2012 (19) 2013-2016 (6)
Publication types (Num. hits)
article(13) inproceedings(24) phdthesis(1) proceedings(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 6 occurrences of 6 keywords

Results
Found 41 publication records. Showing 40 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Luí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. Search on Bibsonomy Expert Syst. Appl. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michel 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. Search on Bibsonomy Intelligent Vehicles Symposium The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Luí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. Search on Bibsonomy ITSC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Luís Moreira-Matias, João Gama, Michel Ferreira, João Mendes-Moreira, Luís Damas Predicting Taxi-Passenger Demand Using Streaming Data. Search on Bibsonomy IEEE Trans. Intelligent Transportation Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Luí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. Search on Bibsonomy EPIA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Luí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. Search on Bibsonomy UDM@IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Vítor Santos Costa, Ricardo Rocha 0001, Luís Damas The YAP Prolog system. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Michel 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. Search on Bibsonomy S-CUBE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Luís Moreira-Matias, João Gama, Michel Ferreira, João Mendes-Moreira, Luís Damas Online Predictive Model for Taxi Services. Search on Bibsonomy IDA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Luís Moreira-Matias, João Gama, Michel Ferreira, Luís Damas A predictive model for the passenger demand on a taxi network. Search on Bibsonomy ITSC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Luí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). Search on Bibsonomy VNC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Vítor Santos Costa, Luís Damas, Ricardo Rocha 0001 The YAP Prolog System Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Pedro Emanuel Rodrigues Gomes, Cristina Olaverri-Monreal, Michel Ferreira, Luís Damas Driver-Centric VANET Simulation. Search on Bibsonomy Nets4Cars/Nets4Trains The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Hugo Conceição, Luís Damas, Michel Ferreira, João Barros Large-scale simulation of V2V environments. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF traffic telematics, wireless networks, large-scale simulation
1Sabine Broda, Luís Damas On Principal Types of BCK- lambda -Terms. Search on Bibsonomy WoLLIC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF condensed BCK-logic, Typed lambda-calculus, principal types
1Sabine Broda, Luís Damas On Long Normal Inhabitants of a Type. Search on Bibsonomy J. Log. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Sabine Broda, Luís Damas, Marcelo Finger, Paulo Silva e Silva The decidability of a fragment of BB'IW-logic. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Mário Florido, Luís Damas Linearization of the lambda-calculus and its relation with intersection type systems. Search on Bibsonomy J. Funct. Program. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Michel Ferreira, Luís Damas WAM Local Analysis. Search on Bibsonomy PADL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Prolog Compilation, Multiple Specialization, Abstract Interpretation
1Sabine Broda, Luís Damas Studying provability in implicational intuitionistic logic the formula tree approach. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Sabine Broda, Luís Damas Counting a Type's (Principal) Inhabitants. Search on Bibsonomy Fundam. Inform. The full citation details ... 2001 DBLP  BibTeX  RDF
1Sabine Broda, Luís Damas A Context-Free Grammar Representation for Normal Inhabitants of Types in TAlambda. Search on Bibsonomy EPIA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Sabine Broda, Luís Damas On principal types of combinators. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Michel Ferreira, Luís Damas Multiple Specialization of WAM Code. Search on Bibsonomy PADL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Prolog Compilation, Code Specialization, Program Analysis
1Sabine Broda, Luís Damas Counting a Type's Principal Inhabitants. Search on Bibsonomy TLCA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Sabine Broda, Luís Damas Compact Bracket Abstraction in Combinatory Logic. Search on Bibsonomy J. Symb. Log. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Sabine Broda, Luís Damas On Combinatory Complete Sets of Proper Combinators. Search on Bibsonomy J. Funct. Program. The full citation details ... 1997 DBLP  BibTeX  RDF
1Luís Damas, Nelma Moreira Constraint Categorial Grammars Search on Bibsonomy CoRR The full citation details ... 1995 DBLP  BibTeX  RDF
1Luís Damas, Nelma Moreira Constraint Categorial Grammars. Search on Bibsonomy EPIA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Sabine Broda, Luís Damas A New Translation Algorithm from Lambda Calculus into Combinatory Logic. Search on Bibsonomy EPIA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Miguel Filgueiras, Luís Damas (eds.) Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings Search on Bibsonomy EPIA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Luís Damas, Nelma Moreira, Sabine Broda Resolution of Constraints in Algebras of Rational Trees. Search on Bibsonomy EPIA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Luís Damas, Giovanni B. Varile On the Satisfiability of Complex Constraints. Search on Bibsonomy COLING The full citation details ... 1992 DBLP  BibTeX  RDF
1José Paulo Leal, Luís Damas, Nelma Moreira An History Based Interface. Search on Bibsonomy LPE The full citation details ... 1991 DBLP  BibTeX  RDF
1Luís Damas, Giovanni B. Varile, Nelma Moreira The Formal and Processing Models of CLG. Search on Bibsonomy EACL The full citation details ... 1991 DBLP  BibTeX  RDF
1Miguel Filgueiras, Luís Damas, Nelma Moreira, Ana Paula Tomás (eds.) Natural Language Processing, EAIA '90, 2nd Advanced School in Artificial Intelligence, Guarda, Portugal, October 8-12, 1990, Proceedings Search on Bibsonomy EAIA The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Sergio Balari, Giovanni B. Varile, Luís Damas, Nelma Moreira CLG(n): Constraint Logic Grammars. Search on Bibsonomy COLING The full citation details ... 1990 DBLP  BibTeX  RDF
1Luís Damas, Giovanni B. Varile CLG: A Grammar Formalism Based on Constraint Reslution. Search on Bibsonomy EPIA The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Luís Damas Type assignment in programming languages. Search on Bibsonomy 1984   RDF
1Luís Damas, Robin Milner Principal Type-Schemes for Functional Programs. Search on Bibsonomy POPL The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #40 of 40 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license