Publications

Export 2364 results:
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
R
Vogels, W., P. Verissimo, and L. Rodrigues, "Requirements for high performance group support in distributed systems", Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring: ACM, pp. 1–5, 1992.
Miranda, H., and L. Rodrigues, "Reputation in anonymous vehicular networks", International Journal of Autonomous and Adaptive Communications Systems, vol. 3, no. 2: Inderscience Publishers, pp. 178–197, 2010.
Magaia, N., Z. Sheng, P. Rogerio Pereira, and M. Correia, "REPSYS: A Robust and Distributed Incentive Scheme for Collaborative Caching and Dissemination in Content-Centric Cellular-Based Vehicular Delay-Tolerant Networks", IEEE Wireless Communications, vol. 25, no. 3: IEEE, pp. 65–71, 2018.
Falcao, A. O., and M. Próspero Santos, Representação de Paisagens Florestais Adequada á Navegação para Áreas de Grande Dimensão, , 2004.
Albrecht, S. V., B. Bouchard, J. S. Brownstein, D. L. Buckeridge, C. Caragea, K. M. Carter, A. Darwiche, B. Fortuna, Y. Francillette, S. Gaboury, et al., "Reports of the 2016 AAAI workshop program", AI Magazine, vol. 37, no. 3: AI Access Foundation, pp. 99–108, 2016.
Prakash, R., and L. Rodrigues, Report on the EU/NSF Strategic Workshop on Middleware for Mobile Systems Workshop, , 2002.
Rodrigues, L., E. Siegel, and P. Verissimo, "A replication-transparent remote invocation protocol", Reliable Distributed Systems, 1994. Proceedings., 13th Symposium on: IEEE, pp. 160–169, 1994.
Araujo, F., R. Barbosa, and A. Casimiro, "Replication for dependability on virtualized cloud environments", Proceedings of the 10th International Workshop on Middleware for Grids, Clouds and e-Science: ACM, pp. 2, 2012.
Rodrigues, L., and P. Verissimo, Replicated object management using group technology, , 1993.
Araujo, F., S. Boychenko, R. Barbosa, and A. Casimiro, "Replica placement to mitigate attacks on clouds", Journal of Internet Services and Applications, vol. 5, no. 1: Springer London, pp. 1–13, 2014.
Luiz, A. Fernando, A. Neves Bessani, C. L Lung, and T. Filgueiras, "REPEATS: Uma arquitetura para replicaç ao tolerante a faltas bizantinas baseada em espaço de tuplas", Anais do XXVI Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuıdos. SBC, 2008.
Neves, N. Ferreira, and K. W Fuchs, "RENEW: A tool for fast and efficient implementation of checkpoint protocols", Fault-Tolerant Computing, 1998. Digest of Papers. Twenty-Eighth Annual International Symposium on: IEEE, pp. 58–67, 1998.
Carvalho, N., F. Araújo, and L. Rodrigues, Rendezvous-Based Publish-SuLicribe Systems for Wireless Ad Hoc Networks, : 5th International Workshop on Distributed Event-Based Systems (DEBS), 2006.
Miranda, H., S. Leggio, L. Rodrigues, and K. Raatikainen, "Removing probabilities to improve efficiency in broadcast algorithms", 5 th MiNEMA Workshop, pp. 20, 2007.
Alarcao, S. M., "Reminiscence Therapy Improvement using Emotional Information", 2017 Seventh International Conference on Affective Computing and Intelligent Interaction (ACII), San Antonio, Texas, USA, 2017.
Verissimo, P., and L. Rodrigues, "Reliable multicasting in high-speed LANs", High-Capacity Local and Metropolitan Area Networks: Springer Berlin Heidelberg, pp. 397–412, 1991.
Rodrigues, L., H. Fonseca, and P. Verissimo, "Reliable computing over mobile networks", Distributed Computing Systems, 1995., Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems, Cheju Island, Korea, August 1995: IEEE, pp. 488–494, 1995.
Verissimo, P., L. Rodrigues, and H. Fonseca, Reliable Computing over Mobile Networks, : University of Bologna, 1995.
Verissimo, P., and J. Alves Marques, "Reliable broadcast for fault-tolerance on local computer networks", Reliable Distributed Systems, 1990. Proceedings., Ninth Symposium on: IEEE, pp. 54–63, 1990.
Guerraoui, R., and L. Rodrigues, "Reliable Broadcast", Introduction to Reliable Distributed Programming: Springer Berlin Heidelberg, pp. 69–134, 2006.
Domingos, D., A. Respicio, and R. Martinho, "Reliability of IoT-Aware BPMN Healthcare Processes", Internet of Things and Advanced Application in Healthcare: IGI Global, pp. 214, 2016.
Respicio, A., and D. Domingos, "Reliability of BPMN Business Processes", Procedia Computer Science, vol. 64, pp. 643–650, 2015.
Respicio, A., R. Martinho, and D. Domingos, "Reliability of AAL Systems Modeled as BPMN Business Processes", International Conference on Enterprise Information Systems: Springer, pp. 535–550, 2016.
Brandão, L. T. A. N., and A. Neves Bessani, "On the reliability and availability of systems tolerant to stealth intrusion", Dependable Computing (LADC), 2011 5th Latin-American Symposium on: IEEE, pp. 35–44, 2011.
Brandão, L. Teixeira d, and A. Neves Bessani, "On the reliability and availability of replicated and rejuvenating systems under stealth attacks and intrusions", Journal of the Brazilian Computer Society, vol. 18, no. 1: Springer-Verlag, pp. 61–80, 2012.
Andrade, L., and M. J. Silva, "Relevance Ranking for Geographic IR.", GIR, 2006.
Oliveira, I., O. Grigore, N. Guimarães, and L. Duarte, "Relevance of EEG input signals in the augmented human reader", Proceedings of the 1st Augmented Human International Conference: ACM, pp. 5, 2010.
Rodrigues, L., Relatório da Cadeira de SISTEMAS DISTRIBUÍDOS para AMBIENTES INDUSTRIAIS Licenciatura em Engenharia Informática, 4 o Ano, 2 o Semestre, , 1996.
Freitas, C., D. Santos, C. Mota, H. Gonçalo Oliveira, and P. Carvalho, "Relation detection between named entities: report of a shared task", SEW-2009 Semantic Evaluations: Recent Achievements and Future Directions, pp. 129, 2009.
Freitas, C., D. Santos, H. Gonçalo Oliveira, P. Carvalho, and C. Mota, "Relaçoes semânticas do ReRelEM: além das entidades no Segundo HAREM", Mota and Santos (Mota and Santos, 2008), 2008.
Busnel, Y., N. Cruz, D. Gillet, A. Holzer, and H. Miranda, "Reinventing mobile community computing and communication", Trust, Security and Privacy in Computing and Communications (TrustCom), 2013 12th IEEE International Conference on: IEEE, pp. 1450–1457, 2013.
Chambel, T., P. Antunes, C. Duarte, L. Carriço, and N. Guimarães, "Reflections on Teaching Human-Computer Interaction to Blind Students", Creativity and HCI: From Experience to Design in Education: Springer US, pp. 123–142, 2009.
James, S., M. J. Fonseca, and J. Collomosse, "Reenact: Sketch based choreographic design from archival dance footage", Proceedings of International Conference on Multimedia Retrieval: ACM, pp. 313, 2014.
Verissimo, P., "Redundant media mechanisms for dependable communication in token-bus LANs", Local Computer Networks, 1988., Proceedings of the 13th Conference on: IEEE, pp. 453–462, 1988.
Jeichande, D. Ussene, and H. Miranda, Redundant firewalls for web applications, , 2016.
Rufino, J., Redundant CAN architectures for dependable communication, : Tech. rept. CSTC RT-97-07. Centro de Sistemas Telemáticos e Computacionais do Instituto Superior Técnico, Lisboa, Portugal, 1997.
Pereira, J., L. Rodrigues, and R. Oliveira, "Reducing the cost of group communication with semantic view synchrony", Dependable Systems and Networks, 2002. DSN 2002. Proceedings. International Conference on: IEEE, pp. 293–302, 2002.
Carvalho, N., F. Araujo, and L. Rodrigues, "Reducing latency in rendezvous-based publish-subscribe systems for wireless ad hoc networks", Distributed Computing Systems Workshops, 2006. ICDCS Workshops 2006. 26th IEEE International Conference on: IEEE, pp. 28–28, 2006.
Lopes, R., K. Van Isacker, and L. Carriço, "Redefining assumptions: accessibility and its stakeholders", Computers Helping People with Special Needs: Springer Berlin Heidelberg, pp. 561–568, 2010.
Antunes, J., and N. Ferreira Neves, "Recycling test cases to detect security vulnerabilities", Software Reliability Engineering (ISSRE), 2012 IEEE 23rd International Symposium on: IEEE, pp. 231–240, 2012.
Kauer, B., P. Verissimo, and A. Neves Bessani, "Recursive virtual machines for advanced security mechanisms", Dependable Systems and Networks Workshops (DSN-W), 2011 IEEE/IFIP 41st International Conference on: IEEE, pp. 117–122, 2011.
Cruz, N., and H. Miranda, "Recurring contacts between groups of devices: analysis and application", IEEE Transactions on Mobile Computing, vol. 17, no. 7: IEEE, pp. 1666–1679, 2018.
Cruz, N., and H. Miranda, "Recurring contact opportunities within groups of devices", EAI Endorsed Transactions on Ambient Systems, vol. 15, 2015.
Cruz, N., and H. Miranda, "Recurring contact opportunities within groups of devices", Proceedings of the 12th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MOBIQUITOUS 2015): ACM, 2015.
Mocito, J., and L. Rodrigues, "Reconfigurable architecture for group communication support in hybrid networks", workshop in Sintra, pp. 33, 2006.
Leal, A.., B. Martins, and F. Couto, "Recognition and Normalization of Biomedical Entities Based on Ontologies", Bioinformatics Open Days, University of Lisbon, 2015.
Casimiro, A., and M. Correia, "Recent Advances on the Timely Computing Base Model", Fast Abstract at the International Conference on Dependable Systems and Networks, Göteborg, Sweden, 2001.
Couto, F., M. J. Silva, and P. Coutinho, "Rebil: Relating biological information through literature", Intelligent Systems for Molecular Biology, 2003.
Couto, F., ReBIL: Relating Biological Information through Literature, : Tese de Doutoramento, Faculdade de Ciências, Departamento de Informática, Universidade de Lisboa, 2006.
Chadha, R., L. Cruz-Filipe, P. Mateus, and A. Sernadas, "Reasoning about probabilistic sequential programs", Theoretical Computer Science, vol. 379, no. 1: Elsevier, pp. 142–165, 2007.
Falcao, A. O., M. Próspero Santos, and J. G. Borges, "A real-time visualization tool for forest ecosystem management decision support", Computers and electronics in agriculture, vol. 53, no. 1: Elsevier, pp. 3–12, 2006.
Verissimo, P., and L. Rodrigues, "Real-Time Systems Foundations", Distributed Systems for System Architects: Springer US, pp. 277–288, 2001.
Almeida, C., and P. Verissimo, Real-Time Group Communication in a Quasi-Synchronous System, : Citeseer, 1995.
Verissimo, P., "Real-time data management with clock-less reliable broadcast protocols", Management of Replicated Data, 1990. Proceedings., Workshop on the: IEEE, pp. 20–24, 1990.
Bond, P., D. Seaton, P. Verissimo, and J. Waddington, "Real-time concepts", Springer-Verlag Research Reports ESPRIT Series: Delta-4: a Generic Architecture for Dependable Distributed Computing. Springer-Verlag, 1991.
Almeida, C., and P. Verissimo, Real-Time Communication in Quasi-Synchronous Systems. Providing Support for Dynamic Real-Time Applications, : Citeseer, 1996.
Verissimo, P., "Real-time communication", Distributed Systems, 2nd Edition, ACM-Press. Addison-Wesley, 1993.
Melro, S., P. Verissimo, and , Real-time and dependability comparison of Delta-4/XPA and Mars systems, , 1992.
Miranda, H., F. Costa, and L. Rodrigues, "Realizaçao de um serviço de grupos ligeiros para a plataforma de comunicaçao em grupo Ensemble", of: Actas da 1 conferência sobre Redes de Computadores, pp. 65–69, 1998.
Pedrosa, J., M. Beatriz Carmo, A. Claudio, A. Paula Afonso, A. Ferreira, P. Redweik, and C. Catita, "Realidade aumentada com dados cient{íficos em dispositivos móveis", INTERA{\c{C}}ÃO: 5ª conferência nacional sobre Interação, pp. 70–76, 2013.
Kopetz, H., and P. Verissimo, "Real time and dependability concepts", Distributed systems (2nd Ed.): ACM Press/Addison-Wesley Publishing Co., pp. 411–446, 1993.
Oliveira, I., O. Grigore, N. Guimarães, NE. Mastorakis, V. Mladenov, Z. Bojkovic, S. Kartalopoulos, A. Varonides, M. Jha, and D. Simian, Reading detection based on electroencephalogram processing, , no. 13: WSEAS, 2009.
Moreira, S., J. Filgueiras, B. Martins, F. Couto, and M. J. Silva, "Reaction: A naive machine learning approach for sentiment classification", Second Joint Conference on Lexical and Computational Semantics (* SEM), vol. 2, pp. 490–494, 2013.
Fonseca, P., and H. Miranda, Reaching Scalability in Unstructured P2P Networks Using a Divide and Conquer Strategy, : Department of Informatics, University of Lisbon, 2008.
Silva, C., P. Sousa, and P. Verissimo, "Rave: Replicated antivirus engine", Dependable Systems and Networks Workshops (DSN-W), 2010 International Conference on: IEEE, pp. 170–175, 2010.
Couto, F., "Rating, recognizing and rewarding metadata integration and sharing on the semantic web", 10th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2014), pp. 67, 2014.
Antunes, LF., A. Souto, and PMB. Vitányi, "On the rate of decrease in logical depth", Theoretical Computer Science, vol. 702: Elsevier, pp. 60–64, 2017.
Costa, M., and M. J. Silva, Ranking no motor de busca TUMBA, : CRC'01-4ª Conferência de Redes de Computadores, 2001.
Moniz, H., N. Ferreira Neves, M. Correia, and P. Verissimo, "Randomized intrusion-tolerant asynchronous services", Dependable Systems and Networks, 2006. DSN 2006. International Conference on: IEEE, pp. 568–577, 2006.
Vavala, B., N. Ferreira Neves, H. Moniz, and P. Verissimo, "Randomized consensus in wireless environments: a case where more is better", Dependability (DEPEND), 2010 Third International Conference on: IEEE, pp. 7–12, 2010.
Vavala, B., N. Ferreira Neves, H. Moniz, and P. Verissimo, "Randomized Consensus in Wireless Environments", International Journal On Advances in Intelligent Systems, vol. 4, no. 1 and 2, pp. 1–12, 2011.
Ruano, A., H. Reza Khosravani, and P. M. Ferreira, "A Randomized Approximation Convex Hull Algorithm for High Dimensions", 2nd IFAC Conference on Embedded Systems, Computer Intelligence and Telematics in Control (CESCIT) 2015, Maribor, Slovenia" issn = "2405-8963, June, 2015.
Moniz, H., N. Ferreira Neves, M. Correia, and P. Verissimo, "Randomization can be a healer: consensus with dynamic omission failures", Distributed Computing, vol. 24, no. 3-4: Springer-Verlag, pp. 165–175, 2011.
Denysyuk, O., and L. Rodrigues, "Random walk on directed dynamic graphs", Arxiv preprint, 2006.
Teixeira, A. L., J. P. Leal, and A. O. Falcao, "Random forests for feature selection in QSPR Models-an application for predicting standard enthalpy of formation of hydrocarbons.", J. Cheminformatics, vol. 5, pp. 9, 2013.
Q
Rodrigues, L., and M. Raynal, "Quorum-based replication in asynchronous crash-recovery distributed systems", Euro-Par 2000 Parallel Processing: Springer Berlin Heidelberg, pp. 605–608, 2000.
Lopes, R., and L. Carriço, "Querying Web Accessibility Knowledge from Web Graphs", Handbook of Research on Social Dimensions of Semantic Technologies, pp. 88–112, 2009.
Cardoso, N., and M. J. Silva, "Query expansion through geographical feature types", Proceedings of the 4th ACM workshop on Geographical information retrieval: ACM, pp. 55–60, 2007.
Janota, M., and J. Marques-Silva, "On the query complexity of selecting minimal sets for monotone predicates", Artificial Intelligence, vol. 233: Elsevier, pp. 73–83, 2016.
Almeida, C., P. Verissimo, and A. Casimiro, "The quasi-synchronous approach to fault-tolerant and real-time communication and processing", Lisboa, Portugal, jul, 1998.
Almeida, C., and P. Verissimo, The Quasi-Synchronous approach to Distributed Real-Time Databases, , 1996.
Verissimo, P., and C. Almeida, "Quasi-synchronism: a step away from the traditional fault-tolerant real-time system models", Bulletin of the Technical Committee on Operating Systems and Application Environments (TCOS), vol. 7, no. 4, pp. 35–39, 1995.
Mateus, P., D. Qiu, and A. Souto, "Quantum machines with classical control", arXiv preprint arXiv:1709.01387, 2017.
Vlachou, C., W. Krawec, P. Mateus, N. Paunkovic, and A. Souto, "Quantum key distribution with quantum walks", arXiv preprint arXiv:1710.07979, 2017.
Vlachou, C., W. Krawec, P. Mateus, N. Paunkovic, and A. Souto, "Quantum key distribution with quantum walks", Quantum Information Processing, vol. 17, no. 11: Springer, pp. 288, 2018.
Yadav, P., P. Mateus, N. Paunković, and A. Souto, "Quantum contract signing with entangled pairs", arXiv preprint arXiv:1711.09843, 2017.
Ferreira, A., and P. Antunes, "Quantitative Evaluation of Workspace Collaboration.", CSCWD, vol. 6, pp. 1–6, 2006.
Ferreira, A., and P. Antunes, "Quantitative evaluation of workspace collaboration", CSCWD: 10th international conference on Computer supported cooperative work in design: IEEE, pp. 1065–1070, 2006.
Ferreira, A., and P. Antunes, Quantitative Analysis of Shared Workspace Usability, : Department of Informatics, University of Lisbon, 2005.
Ignatiev, A., M. Janota, and J. Marques-Silva, "Quantified maximum satisfiability", Constraints, vol. 21, no. 2: Springer, pp. 277–302, 2016.
Araujo, F., F. Ara Ujo, and L. Rodrigues, Quality of service in indirect communication systems, , 2001.
Martinho, R., and D. Domingos, "Quality of Information and Access Cost of IoT Resources in BPMN Processes", Procedia Technology, vol. 16: Elsevier, pp. 737–744, 2014.
Araujo, F., and L. Rodrigues, On QoS-Aware Publish-Subscribe-Position Paper, : Department of Informatics, University of Lisbon, 2002.
Araujo, F., and L. Rodrigues, "On QoS-aware publish-subscribe", Distributed Computing Systems Workshops, 2002. Proceedings. 22nd International Conference on: IEEE, pp. 511–515, 2002.
Bom, J., P. Marques, M. Correia, and P. Pinto, "QoS control: an application integrated framework", ATM, 1998. ICATM-98., 1998 1st IEEE International Conference on: IEEE, pp. 283–290, 1998.
P
Ignatiev, A., A. Morgado, and J. Marques-Silva, "PySAT: A Python Toolkit for Prototyping with SAT Oracles", International Conference on Theory and Applications of Satisfiability Testing: Springer, pp. 428–437, 2018.
Ruano, A., S. Pesteh, S. Silva, H. Duarte, G. Mestre, PM. Ferreira, H. Khosravani, and R. Horta, "PVM-based intelligent predictive control of HVAC systems", IFAC-PapersOnLine, vol. 49, no. 5: Elsevier, pp. 371–376, 2016.
Ruano, A., S. Pesteh, S. Silva, H. Duarte, G. Mestre, P. M. Ferreira, H. Reza Khosravani, and R. Horta, "PVM-based intelligent predictive control of HVAC systems", 4th IFAC International Conference on Intelligent Control and Automation Sciences - ICONS'2016, Reims, France, IFAC, June, 2016.
Carvalho, J., L. Duarte, and L. Carriço, "Puzzle games: player strategies across different interaction modalities", Proceedings of the 4th International Conference on Fun and Games: ACM, pp. 64–72, 2012.
de Sá, M., and L. Carriço, "Psychological Therapy Artifacts–Usage and Editing with PDAs", Proceedings of Applied Computing, International Association for Development of the Information Society, IADIS, Algarve, Portugal, 2005.

Pages