Publications

Export 61 results:
Filters: First Letter Of Title is L  [Clear All Filters]
2018
Fonseca, A., F. Cerveira, B. Cabral, and R. Barbosa, "Language-Based Expression of Reliability and Parallelism for Low-Power Computing", IEEE Transactions on Sustainable Computing, vol. 3, no. 3: IEEE, pp. 153–166, 2018.
Duarte, F., R. Gil, P. Romano, A. Lopes, and L. Rodrigues, "Learning non-deterministic impact models for adaptation", Proceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems: ACM, pp. 196–205, 2018.
Narodytska, N., A. Ignatiev, F. Pereira, J. Marques-Silva, and ISDCT. S. B. RAS, "Learning Optimal Decision Trees with SAT.", IJCAI, pp. 1362–1368, 2018.
Aspnes, J., A. Bessani, P. Felber, and J. Leitao, "LIPIcs, Volume 95, OPODIS'17, Complete Volume", LIPIcs-Leibniz International Proceedings in Informatics, vol. 95: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2018.
2017
Peñaloza, R., C. Mencía, A. Ignatiev, and J. Marques-Silva, "Lean Kernels in Description Logics", European Semantic Web Conference: Springer, pp. 518–533, 2017.
Fiadeiro, J., I. Ţ. uţu, A. Lopes, and D. Pavlovic, "Logics for Actor Networks: A Case Study in Constrained Hybridization", International Workshop on Dynamic Logic: Springer, pp. 98–114, 2017.
2016
Gonçalves, D., M. Costa, and F. M. Couto, "A Large-Scale Characterization of User Behaviour in Cable TV", arXiv preprint arXiv:1609.02453, 2016.
Giunti, M., and V. Thudichum Vasconcelos, "Linearity, session types and the Pi calculus", Mathematical Structures in Computer Science, vol. 26, no. 2: Cambridge University Press, pp. 206–237, 2016.
Alaluna, M., F. M. V. Ramos, and N. Neves, "(Literally) Above the clouds: Virtualizing the network over multiple clouds", NetSoft Conference and Workshops (NetSoft), 2016 IEEE: IEEE, pp. 112–115, 2016.
Coelho, J., and C. Duarte, "A literature survey on older adults' use of social network services and social applications", Computers in Human Behavior, vol. 58, pp. 187 - 205, 2016.
2014
Verissimo, P., J. Rufino, and L. Rodrigues, "LAN-BASED PROTOCOLS", Distributed Computer Control Systems 1991: Towards Distributed Real-Time Systems with Predictable Timing Properties: Elsevier, pp. 75, 2014.
Costa, M., F. Couto, and M. J. Silva, "Learning temporal-dependent ranking models", Proceedings of the 37th international ACM SIGIR conference on Research & development in information retrieval: ACM, pp. 757–766, 2014.
Leitão, N., J.. Leitão, and F. Couto, "LLC-GNUMAP: Scalable, Precise, and High-Coverage Genomics Mapping", Bioinformatics Open Days, University of Braga, 2014.
Silva, A., D. H. Marques, C. Duarte, M. Ana Viana-Baptista, and L. Carriço, "LOST-Map: A Victim-Sourced Rescue Map of Disaster Areas", Collaboration and Technology: Springer International Publishing, pp. 311–318, 2014.
2013
Grego, T., F. Pinto, and F. Couto, "LASIGE: using conditional random fields and chebi ontology", Proceedings of SemEval, pp. 660–666, 2013.
Giunti, M., and V. T. Vasconcelos, "Linearity, session types and the pi calculus", Mathematical Structures in Computer Science: Cambridge University Press, pp. 1–32, 2013.
Pinto, J.., P.S.. Dias, R.. Martins, J.. Fortuna, E. R. B. Marques, and J.. Sousa, "The LSTS Toolchain for Networked Vehicle Systems", IEEE/MTS Oceans'13: IEEE, 2013.
2011
Carvalho, P., L. Sarmento, J. Teixeira, and M. J. Silva, "Liars and saviors in a sentiment annotated corpus of comments to political debates", 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies, Portland, Oregon, USA, 2011.
Marques, L., and A. Casimiro, "Lightweight dependable adaptation for wireless sensor networks", Reliable Distributed Systems Workshops (SRDSW), 2011 30th IEEE Symposium on: IEEE, pp. 26–35, 2011.
Giunti, M., and V. T. Vasconcelos, "Linearity, session types and the pi calculus", UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE, 2011.
Pombinho, P., M. Beatriz Carmo, A. Paula Afonso, and H. Aguiar, "Location and Orientation Based Queries on Mobile Environments", International Journal of Computer Information Systems and Industrial Management Applications, vol. 3, pp. 788–795, 2011.
Rocha, F., and M. Correia, "Lucy in the sky without diamonds: Stealing confidential data in the cloud", Dependable Systems and Networks Workshops (DSN-W), 2011 IEEE/IFIP 41st International Conference on: IEEE, pp. 129–134, 2011.
2010
Giunti, M., and V. T. Vasconcelos, "A linear account of session types in the pi calculus", CONCUR 2010-Concurrency Theory: Springer Berlin Heidelberg, pp. 432–446, 2010.
Gay, S. J., and V. T. Vasconcelos, "Linear type theory for asynchronous session types", Journal of Functional Programming, vol. 20, no. 01: Cambridge University Press, pp. 19–50, 2010.
Lopez-Pellicer, F. J., M. J. Silva, and M. Chaves, "Linkable geographic ontologies", Proceedings of the 6th Workshop on Geographic Information Retrieval: ACM, pp. 1, 2010.
Francisco, J., M. J. Silva, and M. Chaves, Linkable Geographic Ontologies, , 2010.
Pombinho, P., M. Beatriz Carmo, A. Paula Afonso, and H. Aguiar, "Location and orientation based point of interest search interface", Proceedings of the 12th international conference on Human computer interaction with mobile devices and services: ACM, pp. 375–376, 2010.
2008
de Sá, M., and L. Carriço, "Lessons from early stages design of mobile applications", Proceedings of the 10th international conference on Human computer interaction with mobile devices and services: ACM, pp. 127–136, 2008.
2007
Yoshida, N., and V. T. Vasconcelos, "Language primitives and type discipline for structured communication-based programming revisited: Two systems for higher-order session communication", Electronic Notes in Theoretical Computer Science, vol. 171, no. 4: Elsevier, pp. 73–93, 2007.
Lopes, R., and L. Carriço, "Leveraging rich accessible documents on the web", Proceedings of the 2007 international cross-disciplinary conference on Web accessibility (W4A): ACM, pp. 74–83, 2007.
Mendonca, M., and N. Ferreira Neves, "Localização de Vulnerabilidades de Segurança em Gestores de Dispositivos Wi-Fi com Técnicas de Fuzzing", Actas da 3ª Conferência Nacional Sobre Segurança Informática nas Organizações, Lisboa, Portugal, 2007.
2006
Maia, B., A. Frankenber Garcia, M. J. Silva, P. Gomes, M. Cabral, A. Silva, S. Inácio, A. Sofia Pinto, L. Costa, P. Rocha, et al., Linguateca: seven years working for the computational processing of Portuguese, , 2006.
Neves, N. Ferreira, "Locating file processing vulnerabilities", Fast abstract in Supplement of the Int. Conf. on Dependable Systems and Networks, 2006.
de Sá, M., and L. Carriço, "Low-fi prototyping for mobile devices", CHI'06 extended abstracts on Human factors in computing systems: ACM, pp. 694–699, 2006.
2005
Martins, B., and M. J. Silva, "Language identification in web pages", Proceedings of the 2005 ACM symposium on Applied computing: ACM, pp. 764–768, 2005.
Martins, B., and M. J. Silva, Language Identification in Web Pages Proceedings of ACM-SAC-DE, : 20th ACM Symposium on Applied Computing-Document Engineering Track, 2005.
Chambel, T., and N. Guimarães, "Learning styles and multiple intelligences", Encyclopedia of Distance Learning, pp. 1237–1247, 2005.
Jain, P., F. Couto, M. J. Silva, and J. D. Becker, "Literature based functional annotation of genes", BKDB2005-Bioinformatics: Knowledge Discovery in Biology, 2005.
Araujo, F., and L. Rodrigues, "Long range contacts in overlay networks", Euro-Par 2005 Parallel Processing: Springer Berlin Heidelberg, pp. 1153–1162, 2005.
Correia, M., N. Ferreira Neves, C. L Lung, and P. Verissimo, "Low complexity Byzantine-resilient consensus", Distributed Computing, vol. 17, no. 3: Springer-Verlag, pp. 237–249, 2005.
2004
Araujo, F., and L. Rodrigues, Long Range Contacts in Overlay Networks with Unbalanced Node Distribution, : Department of Informatics, University of Lisbon, 2004.
Pereira, J., L. Rodrigues, A. Pinto, and R. Oliveira, "Low latency probabilistic broadcast in wide area networks", Reliable Distributed Systems, 2004. Proceedings of the 23rd IEEE International Symposium on: IEEE, pp. 299–308, 2004.
2002
Verissimo, P., Lessons learned with NavTech: a framework for reliable large-scale applications, : Department of Informatics, University of Lisbon, 2002.
Rodrigues, L., L. D Borges, and M. L Gonalves, "A locally adaptive edge-preserving algorithm for image interpolation", Computer Graphics and Image Processing, 2002. Proceedings. XV Brazilian Symposium on: IEEE, pp. 300–305, 2002.
2001
Chambel, T., and N. Guimarães, Learning with Video in Hypermedia, : Department of Informatics, University of Lisbon, 2001.
Pinto, A., H. Miranda, and L. Rodrigues, "Light-weight groups: an implementation in ensemble", Fourth European Research Seminar on Advances in Distributed Systems (ERSADS'01), 2001.
Mostéfaoui, A., M. Raynal, and P. Verı ssimo, "The logically instantaneous communication mode: a communication abstraction", Future Generation Computer Systems, vol. 17, no. 6: Elsevier, pp. 669–678, 2001.
1995
Cosquer, F., P. Verissimo, and , "Large scale distribution support for cooperative applications", Proceedings of the European Reasearch Seminar on Advances in Distributed Systems (ERSADS): Citeseer, 1995.
Correia, M., and P. Pinto, "Low-level multimedia synchronization algorithms on broadband networks", Proceedings of the third ACM international conference on Multimedia: ACM, pp. 423–434, 1995.
1993
Rodrigues, L., P. Verissimo, and J. Rufino, "A low-level processor group membership protocol for LANs", Distributed Computing Systems, 1993., Proceedings the 13th International Conference on: IEEE, pp. 541–550, 1993.
1990
Fonseca, H., L. Rodrigues, J. Rufino, and P. Verissimo, "Local support environment: User specification", Relatório Técnico RT/50-90, INESC, Lisboa, Portugal, 1990.