Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Luís Damas
@article{DBLP:journals/eswa/Moreira-MatiasG16, author = {Lu{\'{\i}}s Moreira{-}Matias and Jo{\~{a}}o Gama and Michel Ferreira and Jo{\~{a}}o Mendes{-}Moreira and Lu{\'{\i}}s Damas}, title = {Time-evolving {O-D} matrix estimation using high-speed {GPS} data streams}, journal = {Expert Syst. Appl.}, volume = {44}, pages = {275--288}, year = {2016}, url = {https://doi.org/10.1016/j.eswa.2015.08.048}, doi = {10.1016/J.ESWA.2015.08.048}, timestamp = {Tue, 28 Mar 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eswa/Moreira-MatiasG16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itsc/Moreira-MatiasM14, author = {Lu{\'{\i}}s Moreira{-}Matias and Jo{\~{a}}o Mendes{-}Moreira and Michel Ferreira and Jo{\~{a}}o Gama and Lu{\'{\i}}s Damas}, title = {An online learning framework for predicting the taxi stand's profitability}, booktitle = {17th International {IEEE} Conference on Intelligent Transportation Systems, {ITSC} 2014, Qingdao, China, October 8-11, 2014}, pages = {2009--2014}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/ITSC.2014.6957999}, doi = {10.1109/ITSC.2014.6957999}, timestamp = {Tue, 28 Mar 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/itsc/Moreira-MatiasM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ivs/FerreiraDCdFSG14, author = {Michel Ferreira and Lu{\'{\i}}s Damas and Hugo Concei{\c{c}}{\~{a}}o and Pedro M. d'Orey and Ricardo Fernandes and Peter Steenkiste and Pedro Gomes}, title = {Self-automated parking lots for autonomous vehicles based on vehicular ad hoc networking}, booktitle = {2014 {IEEE} Intelligent Vehicles Symposium Proceedings, Dearborn, MI, USA, June 8-11, 2014}, pages = {472--479}, publisher = {{IEEE}}, year = {2014}, url = {https://doi.org/10.1109/IVS.2014.6856561}, doi = {10.1109/IVS.2014.6856561}, timestamp = {Sun, 06 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ivs/FerreiraDCdFSG14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tits/Moreira-MatiasGFMD13, author = {Lu{\'{\i}}s Moreira{-}Matias and Jo{\~{a}}o Gama and Michel Ferreira and Jo{\~{a}}o Mendes{-}Moreira and Lu{\'{\i}}s Damas}, title = {Predicting Taxi-Passenger Demand Using Streaming Data}, journal = {{IEEE} Trans. Intell. Transp. Syst.}, volume = {14}, number = {3}, pages = {1393--1402}, year = {2013}, url = {https://doi.org/10.1109/TITS.2013.2262376}, doi = {10.1109/TITS.2013.2262376}, timestamp = {Tue, 28 Mar 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tits/Moreira-MatiasGFMD13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epia/Moreira-MatiasGFMD13, author = {Lu{\'{\i}}s Moreira{-}Matias and Jo{\~{a}}o Gama and Michel Ferreira and Jo{\~{a}}o Mendes{-}Moreira and Lu{\'{\i}}s Damas}, editor = {Lu{\'{\i}}s Correia and Lu{\'{\i}}s Paulo Reis and Jos{\'{e}} Cascalho}, title = {On Predicting the Taxi-Passenger Demand: {A} Real-Time Approach}, booktitle = {Progress in Artificial Intelligence - 16th Portuguese Conference on Artificial Intelligence, {EPIA} 2013, Angra do Hero{\'{\i}}smo, Azores, Portugal, September 9-12, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8154}, pages = {54--65}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-40669-0\_6}, doi = {10.1007/978-3-642-40669-0\_6}, timestamp = {Tue, 28 Mar 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/epia/Moreira-MatiasGFMD13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/Moreira-MatiasFGFMD13, author = {Lu{\'{\i}}s Moreira{-}Matias and Ricardo Fernandes and Jo{\~{a}}o Gama and Michel Ferreira and Jo{\~{a}}o Mendes{-}Moreira and Lu{\'{\i}}s Damas}, editor = {Jo{\~{a}}o Gama and Michael May and Nuno Cavalheiro Marques and Paulo Cortez and Carlos Abreu Ferreira}, title = {On Recommending Urban Hotspots to Find Our Next Passenger}, booktitle = {Proceedings of the 3rd Workshop on Ubiquitous Data Mining co-located with the 23rd International Joint Conference on Artificial Intelligence {(IJCAI} 2013), Beijing, China, August 3, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1088}, pages = {17}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1088/paper3.pdf}, timestamp = {Mon, 03 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/Moreira-MatiasFGFMD13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/CostaRD12, author = {V{\'{\i}}tor Santos Costa and Ricardo Rocha and Lu{\'{\i}}s Damas}, title = {The {YAP} Prolog system}, journal = {Theory Pract. Log. Program.}, volume = {12}, number = {1-2}, pages = {5--34}, year = {2012}, url = {https://doi.org/10.1017/S1471068411000512}, doi = {10.1017/S1471068411000512}, timestamp = {Thu, 13 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/CostaRD12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ida/Moreira-MatiasGFMD12, author = {Lu{\'{\i}}s Moreira{-}Matias and Jo{\~{a}}o Gama and Michel Ferreira and Jo{\~{a}}o Mendes{-}Moreira and Lu{\'{\i}}s Damas}, editor = {Jaakko Hollm{\'{e}}n and Frank Klawonn and Allan Tucker}, title = {Online Predictive Model for Taxi Services}, booktitle = {Advances in Intelligent Data Analysis {XI} - 11th International Symposium, {IDA} 2012, Helsinki, Finland, October 25-27, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7619}, pages = {230--240}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-34156-4\_22}, doi = {10.1007/978-3-642-34156-4\_22}, timestamp = {Tue, 28 Mar 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ida/Moreira-MatiasGFMD12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/itsc/Moreira-MatiasG12, author = {Lu{\'{\i}}s Moreira{-}Matias and Jo{\~{a}}o Gama and Michel Ferreira and Lu{\'{\i}}s Damas}, title = {A predictive model for the passenger demand on a taxi network}, booktitle = {15th International {IEEE} Conference on Intelligent Transportation Systems, {ITSC} 2012, Anchorage, AK, USA, September 16-19, 2012}, pages = {1014--1019}, publisher = {{IEEE}}, year = {2012}, url = {https://doi.org/10.1109/ITSC.2012.6338680}, doi = {10.1109/ITSC.2012.6338680}, timestamp = {Mon, 30 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/itsc/Moreira-MatiasG12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/scube/FerreiraFCGdMGLD12, author = {Michel Ferreira and Ricardo Fernandes and Hugo Concei{\c{c}}{\~{a}}o and Pedro Emanuel Rodrigues Gomes and Pedro M. d'Orey and Lu{\'{\i}}s Moreira{-}Matias and Jo{\~{a}}o Gama and Fernanda Lima and Lu{\'{\i}}s Damas}, editor = {Francisco Martins and Lu{\'{\i}}s M. B. Lopes and Herv{\'{e}} Paulino}, title = {Vehicular Sensing: Emergence of a Massive Urban Scanner}, booktitle = {Sensor Systems and Software - Third International {ICST} Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers}, series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering}, volume = {102}, pages = {1--14}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-32778-0\_1}, doi = {10.1007/978-3-642-32778-0\_1}, timestamp = {Mon, 30 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/scube/FerreiraFCGdMGLD12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vnc/Moreira-MatiasFGFMD12, author = {Lu{\'{\i}}s Moreira{-}Matias and Ricardo Fernandes and Jo{\~{a}}o Gama and Michel Ferreira and Jo{\~{a}}o Mendes{-}Moreira and Lu{\'{\i}}s Damas}, title = {An online recommendation system for the taxi stand choice problem (Poster)}, booktitle = {2012 {IEEE} Vehicular Networking Conference, {VNC} 2012, Seoul, Korea (South), November 14-16, 2012}, pages = {173--180}, publisher = {{IEEE}}, year = {2012}, url = {https://doi.org/10.1109/VNC.2012.6407427}, doi = {10.1109/VNC.2012.6407427}, timestamp = {Tue, 28 Mar 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vnc/Moreira-MatiasFGFMD12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nets4cars/GomesOFD11, author = {Pedro Emanuel Rodrigues Gomes and Cristina Olaverri{-}Monreal and Michel Ferreira and Lu{\'{\i}}s Damas}, editor = {Thomas Strang and Andreas Festag and Alexey V. Vinel and Rashid Mehmood and Cristina Rico Garcia and Matthias R{\"{o}}ckl}, title = {Driver-Centric {VANET} Simulation}, booktitle = {Communication Technologies for Vehicles - Third International Workshop, Nets4Cars/Nets4Trains 2011, Oberpfaffenhofen, Germany, March 23-24, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6596}, pages = {143--154}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-19786-4\_13}, doi = {10.1007/978-3-642-19786-4\_13}, timestamp = {Sat, 09 Apr 2022 12:41:03 +0200}, biburl = {https://dblp.org/rec/conf/nets4cars/GomesOFD11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1102-3896, author = {V{\'{\i}}tor Santos Costa and Lu{\'{\i}}s Damas and Ricardo Rocha}, title = {The {YAP} Prolog System}, journal = {CoRR}, volume = {abs/1102.3896}, year = {2011}, url = {http://arxiv.org/abs/1102.3896}, eprinttype = {arXiv}, eprint = {1102.3896}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1102-3896.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/ConceicaoDFB08, author = {Hugo Concei{\c{c}}{\~{a}}o and Lu{\'{\i}}s Damas and Michel Ferreira and Jo{\~{a}}o Barros}, editor = {Roger L. Wainwright and Hisham Haddad}, title = {Large-scale simulation of {V2V} environments}, booktitle = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008}, pages = {28--33}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1363686.1363694}, doi = {10.1145/1363686.1363694}, timestamp = {Tue, 06 Nov 2018 11:06:48 +0100}, biburl = {https://dblp.org/rec/conf/sac/ConceicaoDFB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wollic/BrodaD07, author = {Sabine Broda and Lu{\'{\i}}s Damas}, editor = {Daniel Leivant and Ruy J. G. B. de Queiroz}, title = {On Principal Types of {BCK-} \emph{lambda} -Terms}, booktitle = {Logic, Language, Information and Computation, 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4576}, pages = {120--130}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73445-1\_9}, doi = {10.1007/978-3-540-73445-1\_9}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/wollic/BrodaD07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/BrodaD05, author = {Sabine Broda and Lu{\'{\i}}s Damas}, title = {On Long Normal Inhabitants of a Type}, journal = {J. Log. Comput.}, volume = {15}, number = {3}, pages = {353--390}, year = {2005}, url = {https://doi.org/10.1093/logcom/exi016}, doi = {10.1093/LOGCOM/EXI016}, timestamp = {Tue, 06 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/logcom/BrodaD05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/FloridoD04, author = {M{\'{a}}rio Florido and Lu{\'{\i}}s Damas}, title = {Linearization of the lambda-calculus and its relation with intersection type systems}, journal = {J. Funct. Program.}, volume = {14}, number = {5}, pages = {519--546}, year = {2004}, url = {https://doi.org/10.1017/S0956796803004970}, doi = {10.1017/S0956796803004970}, timestamp = {Tue, 06 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/FloridoD04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BrodaDFS04, author = {Sabine Broda and Lu{\'{\i}}s Damas and Marcelo Finger and Paulo Silva e Silva}, title = {The decidability of a fragment of BB'IW-logic}, journal = {Theor. Comput. Sci.}, volume = {318}, number = {3}, pages = {373--408}, year = {2004}, url = {https://doi.org/10.1016/j.tcs.2004.02.002}, doi = {10.1016/J.TCS.2004.02.002}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BrodaDFS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/padl/FerreiraD03, author = {Michel Ferreira and Lu{\'{\i}}s Damas}, editor = {Ver{\'{o}}nica Dahl and Philip Wadler}, title = {{WAM} Local Analysis}, booktitle = {Practical Aspects of Declarative Languages, 5th International Symposium, {PADL} 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2562}, pages = {286--303}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-36388-2\_20}, doi = {10.1007/3-540-36388-2\_20}, timestamp = {Tue, 14 May 2019 10:00:42 +0200}, biburl = {https://dblp.org/rec/conf/padl/FerreiraD03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BrodaD02, author = {Sabine Broda and Lu{\'{\i}}s Damas}, editor = {Ruy J. G. B. de Queiroz and Luiz Carlos Pereira and Edward Hermann Haeusler}, title = {Studying provability in implicational intuitionistic logic the formula tree approach}, booktitle = {9th Workhop on Logic, Language, Information and Computation, WoLLIC 2002, Rio de Janeiro, Brazil, July 30 - August 2, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {67}, pages = {131--147}, publisher = {Elsevier}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(04)80545-0}, doi = {10.1016/S1571-0661(04)80545-0}, timestamp = {Mon, 05 Dec 2022 16:07:41 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BrodaD02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/BrodaD01, author = {Sabine Broda and Lu{\'{\i}}s Damas}, title = {Counting a Type's (Principal) Inhabitants}, journal = {Fundam. Informaticae}, volume = {45}, number = {1-2}, pages = {33--51}, year = {2001}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi45-1-2-03}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/BrodaD01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epia/BrodaD01, author = {Sabine Broda and Lu{\'{\i}}s Damas}, editor = {Pavel Brazdil and Al{\'{\i}}pio Jorge}, title = {A Context-Free Grammar Representation for Normal Inhabitants of Types in TA\({}_{\mbox{lambda}}\)}, booktitle = {Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving, 10th Portuguese Conference on Artificial Intelligence, {EPIA} 2001, Porto, Portugal, December 17-20, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2258}, pages = {321--334}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45329-6\_32}, doi = {10.1007/3-540-45329-6\_32}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/epia/BrodaD01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BrodaD00, author = {Sabine Broda and Lu{\'{\i}}s Damas}, title = {On principal types of combinators}, journal = {Theor. Comput. Sci.}, volume = {247}, number = {1-2}, pages = {277--290}, year = {2000}, url = {https://doi.org/10.1016/S0304-3975(99)00086-9}, doi = {10.1016/S0304-3975(99)00086-9}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BrodaD00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/padl/FerreiraD99, author = {Michel Ferreira and Lu{\'{\i}}s Damas}, editor = {Gopal Gupta}, title = {Multiple Specialization of {WAM} Code}, booktitle = {Practical Aspects of Declarative Languages, First International Workshop, {PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1551}, pages = {243--258}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-49201-1\_17}, doi = {10.1007/3-540-49201-1\_17}, timestamp = {Wed, 26 Oct 2022 11:14:38 +0200}, biburl = {https://dblp.org/rec/conf/padl/FerreiraD99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tlca/BrodaD99, author = {Sabine Broda and Lu{\'{\i}}s Damas}, editor = {Jean{-}Yves Girard}, title = {Counting a Type's Principal Inhabitants}, booktitle = {Typed Lambda Calculi and Applications, 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1581}, pages = {69--82}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48959-2\_7}, doi = {10.1007/3-540-48959-2\_7}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/tlca/BrodaD99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jfp/BrodaD97, author = {Sabine Broda and Lu{\'{\i}}s Damas}, title = {On Combinatory Complete Sets of Proper Combinators}, journal = {J. Funct. Program.}, volume = {7}, number = {6}, pages = {593--612}, year = {1997}, url = {https://doi.org/10.1017/s0956796897002888}, doi = {10.1017/S0956796897002888}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jfp/BrodaD97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsyml/BrodaD97, author = {Sabine Broda and Lu{\'{\i}}s Damas}, title = {Compact Bracket Abstraction in Combinatory Logic}, journal = {J. Symb. Log.}, volume = {62}, number = {3}, pages = {729--740}, year = {1997}, url = {https://doi.org/10.2307/2275570}, doi = {10.2307/2275570}, timestamp = {Tue, 06 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsyml/BrodaD97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epia/DamasM95, author = {Lu{\'{\i}}s Damas and Nelma Moreira}, editor = {Carlos A. Pinto{-}Ferreira and Nuno J. Mamede}, title = {Constraint Categorial Grammars}, booktitle = {Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, {EPIA} '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {990}, pages = {347--358}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60428-6\_29}, doi = {10.1007/3-540-60428-6\_29}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/epia/DamasM95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epia/BrodaD95, author = {Sabine Broda and Lu{\'{\i}}s Damas}, editor = {Carlos A. Pinto{-}Ferreira and Nuno J. Mamede}, title = {A New Translation Algorithm from Lambda Calculus into Combinatory Logic}, booktitle = {Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, {EPIA} '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {990}, pages = {359--370}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60428-6\_30}, doi = {10.1007/3-540-60428-6\_30}, timestamp = {Fri, 02 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/epia/BrodaD95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-cmp-lg-9507001, author = {Lu{\'{\i}}s Damas and Nelma Moreira}, title = {Constraint Categorial Grammars}, journal = {CoRR}, volume = {abs/cmp-lg/9507001}, year = {1995}, url = {http://arxiv.org/abs/cmp-lg/9507001}, eprinttype = {arXiv}, eprint = {cmp-lg/9507001}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-cmp-lg-9507001.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epia/DamasMB93, author = {Lu{\'{\i}}s Damas and Nelma Moreira and Sabine Broda}, editor = {Miguel Filgueiras and Lu{\'{\i}}s Damas}, title = {Resolution of Constraints in Algebras of Rational Trees}, booktitle = {Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, {EPIA} '93, Porto, Portugal, October 6-8, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {727}, pages = {61--76}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57287-2\_38}, doi = {10.1007/3-540-57287-2\_38}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/epia/DamasMB93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/epia/1993, editor = {Miguel Filgueiras and Lu{\'{\i}}s Damas}, title = {Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, {EPIA} '93, Porto, Portugal, October 6-8, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {727}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57287-2}, doi = {10.1007/3-540-57287-2}, isbn = {3-540-57287-2}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/epia/1993.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coling/DamasV92, author = {Lu{\'{\i}}s Damas and Giovanni B. Varile}, title = {On the Satisfiability of Complex Constraints}, booktitle = {14th International Conference on Computational Linguistics, {COLING} 1992, Nantes, France, August 23-28, 1992}, pages = {108--112}, year = {1992}, url = {https://aclanthology.org/C92-1020/}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/coling/DamasV92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eacl/DamasV91, author = {Lu{\'{\i}}s Damas and Giovanni B. Varile and Nelma Moreira}, editor = {J{\"{u}}rgen Kunze and Dorothee Reimann}, title = {The Formal and Processing Models of {CLG}}, booktitle = {{EACL} 1991, 5th Conference of the European Chapter of the Association for Computational Linguistics, April 9-11, 1991, Congress Hall, Alexanderplatz, Berlin, Germany}, pages = {173--178}, publisher = {The Association for Computer Linguistics}, year = {1991}, url = {https://aclanthology.org/E91-1030/}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eacl/DamasV91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpe/LealDM91, author = {Jos{\'{e}} Paulo Leal and Lu{\'{\i}}s Damas and Nelma Moreira}, editor = {Mireille Ducass{\'{e}} and G{\'{e}}rard Ferrand}, title = {An History Based Interface}, booktitle = {Proceedings of the {ICLP} 1991 Workshop on Logic Programming Environments, Paris, June 1991. Technical Report, University of Orl{\'{e}}ans, France, {LIFO} {N} 91-6}, pages = {10--16}, publisher = {University of Orl{\'{e}}ans, France}, year = {1991}, timestamp = {Mon, 02 Dec 2013 17:40:45 +0100}, biburl = {https://dblp.org/rec/conf/lpe/LealDM91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/eaia/1990, editor = {Miguel Filgueiras and Lu{\'{\i}}s Damas and Nelma Moreira and Ana Paula Tom{\'{a}}s}, title = {Natural Language Processing, {EAIA} '90, 2nd Advanced School in Artificial Intelligence, Guarda, Portugal, October 8-12, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {476}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-53678-7}, doi = {10.1007/3-540-53678-7}, isbn = {3-540-53678-7}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eaia/1990.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/coling/BalariVD90, author = {Sergio Balari and Giovanni B. Varile and Lu{\'{\i}}s Damas and Nelma Moreira}, title = {CLG(n): Constraint Logic Grammars}, booktitle = {13th International Conference on Computational Linguistics, {COLING} 1990, University of Helsinki, Finland, August 20-25, 1990}, pages = {7--12}, year = {1990}, url = {https://aclanthology.org/C90-3002/}, timestamp = {Fri, 06 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/coling/BalariVD90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epia/DamasV89, author = {Lu{\'{\i}}s Damas and Giovanni B. Varile}, editor = {Jo{\~{a}}o P. Martins and Ernesto M. Morgado}, title = {{CLG:} {A} Grammar Formalism Based on Constraint Reslution}, booktitle = {{EPIA} 89, 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {390}, pages = {175--186}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-51665-4\_84}, doi = {10.1007/3-540-51665-4\_84}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/epia/DamasV89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/ethos/Damas84, author = {Lu{\'{\i}}s Damas}, title = {Type assignment in programming languages}, school = {University of Edinburgh, {UK}}, year = {1984}, url = {https://hdl.handle.net/1842/13555}, timestamp = {Wed, 04 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/ethos/Damas84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/DamasM82, author = {Lu{\'{\i}}s Damas and Robin Milner}, editor = {Richard A. DeMillo}, title = {Principal Type-Schemes for Functional Programs}, booktitle = {Conference Record of the Ninth Annual {ACM} Symposium on Principles of Programming Languages, Albuquerque, New Mexico, USA, January 1982}, pages = {207--212}, publisher = {{ACM} Press}, year = {1982}, url = {https://doi.org/10.1145/582153.582176}, doi = {10.1145/582153.582176}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/popl/DamasM82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.