Export 61 results:
Filters: First Letter Of Title is L  [Clear All Filters]
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.
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.
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.
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.
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.
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.
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.
Francisco, J., M. J. Silva, and M. Chaves, Linkable Geographic Ontologies, , 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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.