Luís Damas
According to our database1,
Luís Damas
authored at least 35 papers
between 1982 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2016
Expert Syst. Appl., 2016
2014
Self-automated parking lots for autonomous vehicles based on vehicular ad hoc networking.
Proceedings of the 2014 IEEE Intelligent Vehicles Symposium Proceedings, 2014
Proceedings of the 17th International IEEE Conference on Intelligent Transportation Systems, 2014
2013
IEEE Trans. Intell. Transp. Syst., 2013
Proceedings of the 3rd Workshop on Ubiquitous Data Mining co-located with the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), 2013
Proceedings of the Progress in Artificial Intelligence, 2013
2012
Proceedings of the 2012 IEEE Vehicular Networking Conference, 2012
Proceedings of the Sensor Systems and Software - Third International ICST Conference, 2012
Proceedings of the 15th International IEEE Conference on Intelligent Transportation Systems, 2012
Proceedings of the Advances in Intelligent Data Analysis XI - 11th International Symposium, 2012
2011
Proceedings of the Communication Technologies for Vehicles - Third International Workshop, 2011
2008
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
2007
2005
2004
Linearization of the lambda-calculus and its relation with intersection type systems.
J. Funct. Program., 2004
2003
Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003
2002
Studying provability in implicational intuitionistic logic the formula tree approach.
Proceedings of the 9th Workhop on Logic, Language, Information and Computation, 2002
2001
A Context-Free Grammar Representation for Normal Inhabitants of Types in TA<sub>lambda</sub>.
Proceedings of the Progress in Artificial Intelligence, 2001
2000
1999
Proceedings of the Practical Aspects of Declarative Languages, 1999
1997
1995
Proceedings of the Progress in Artificial Intelligence, 1995
Proceedings of the Progress in Artificial Intelligence, 1995
1993
Proceedings of the Progress in Artificial Intelligence, 1993
1992
Proceedings of the 14th International Conference on Computational Linguistics, 1992
1991
An History Based Interface.
Proceedings of the ICLP 1991 Workshop on Logic Programming Environments, 1991
1990
Proceedings of the 13th International Conference on Computational Linguistics, 1990
1989
Proceedings of the EPIA 89, 1989
1984
1982
Proceedings of the Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, 1982