Publications

Export 131 results:
Filters: First Letter Of Title is R  [Clear All Filters]
2017
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.
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.
2015
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.
Leal, A.., B. Martins, and F. Couto, "Recognition and Normalization of Biomedical Entities Based on Ontologies", Bioinformatics Open Days, University of Lisbon, 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.
Cruz, N., and H. Miranda, "Recurring contact opportunities within groups of devices", EAI Endorsed Transactions on Ambient Systems, vol. 15, 2015.
Respicio, A., and D. Domingos, "Reliability of BPMN Business Processes", Procedia Computer Science, vol. 64, pp. 643–650, 2015.
2014
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.
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.
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.
Dragisic, Z., K. Eckert, J. Euzenat, D. Faria, A. Ferrara, R. Granada, V. Ivanova, E. Jiménez-Ruiz, A. Kempf, P. Lambrix, et al., "Results of theOntology Alignment Evaluation Initiative 2014", International Workshop on Ontology Matching, pp. 61–104, 2014.
2012
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.
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.
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.
Vavala, B., and N. Ferreira Neves, "Robust and Speculative Byzantine Randomized Consensus with Constant Time Complexity in Normal Conditions.", SRDS, pp. 161–170, 2012.
2011
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.
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.
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.
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.
Antunes, P., and H. Mourão, "Resilient business process management: Framework and services", Expert Systems with Applications, vol. 38, no. 2: Pergamon, pp. 1241–1254, 2011.
Timenetsky, KT., T. Figueiredo, AS. Yang, TJ. Andre, MK. Nagano, C. Alexandre, C. Garcia, RA. Caserta, P. Verissimo, and E. Silva, "Respiratory Muscle Weakness In Acute Heart Failure Patients", Am J Respir Crit Care Med, vol. 183, pp. A4246, 2011.
Verissimo, P., KT. Timenetsky, T. Figueiredo, ASY. Yang, TJ. Andre, MK. Nagano, C. Alexandre, C. Garcia, RA. Caserta, and E. Silva, "Respiratory Muscle Weakness In Acute Heart Failure Patients", AMERICAN JOURNAL OF RESPIRATORY AND CRITICAL CARE MEDICINE, vol. 183: AMER THORACIC SOC 61 BROADWAY, FL 4, NEW YORK, NY 10006 USA, 2011.
Goncalves, LHR., P. Verissimo, K. Timenetsky, T. Figueiredo, A. Yang, T. Andre, M. Nagano, C. Alexandre, A. Goedert, R. Caserta, et al., "Respiratory muscle weakness in acute heart failure patients", Critical Care, vol. 15, no. Suppl 2: BioMed Central Ltd, pp. P24, 2011.
Bandeira, R., R. Lopes, and L. Carriço, "Results from multi-dimensional accessibility assessment", Universal Access in Human-Computer Interaction. Design for All and eInclusion: Springer Berlin Heidelberg, pp. 187–196, 2011.
Antunes, J., N. Ferreira Neves, and P. Verissimo, "Reverse engineering of protocols from network traces", Reverse Engineering (WCRE), 2011 18th Working Conference on: IEEE, pp. 169–178, 2011.
Antunes, J., N. Ferreira Neves, and P. Verissimo, ReverX: Reverse engineering of protocols, , 2011.
Moniz, H., N. Ferreira Neves, M. Correia, and P. Verissimo, "RITAS: Services for randomized intrusion tolerance", Dependable and Secure Computing, IEEE Transactions on, vol. 8, no. 1: IEEE, pp. 122–136, 2011.
Silva, P., P. Pombinho, A. Paula Afonso, , and , "Rubi: An Open Source Android Platform for Mobile Augmented Reality Applications", International Conference on Human-Computer Interaction with Mobile Devices and Services, MobileHCI 2011, Workshop on Mobile Augmented Reality: Design Issues and Opportunities,: ACM, 2011.
Crispim, P., A. Lopes, and V. T. Vasconcelos, "Runtime Verification for Generic Classes with ConGu 2", Formal Methods: Foundations and Applications: Springer Berlin Heidelberg, pp. 33–48, 2011.
2010
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.
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.
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.
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.
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.
Gomes-Alves, P., F. Couto, C. Pesquita, A. V. Coelho, and D. Penque, "Rescue of F508del-CFTR by RXR motif inactivation triggers proteome modulation associated with the unfolded protein response", Biochimica et Biophysica Acta (BBA)-Proteins & Proteomics, vol. 1804, no. 4: Elsevier, pp. 856–865, 2010.
Antunes, P., and J. A. Pino, "A review of CRIWG research", Collaboration and Technology: Springer Berlin Heidelberg, pp. 1–15, 2010.
2009
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.
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.
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, P. Carvalho, and H. Gonçalo, ReRelEM-Reconhecimento de Relações entre Entidades Mencionadas. Segundo HAREM: proposta de nova pista, , 2009.
Bernardeschi, C., R. Bloomfield, A. Bondavalli, C. Cachin, M. Correia, M. Dacier, F. Di Giandomenico, J-C. Fabre, M. Harrison, M. Kaaniche, et al., Resilient Computing Courseware, , 2009.
Bernardeschi, C., R. Bloomfield, A. Bondavalli, C. Cachin, M. Correia, M. Dacier, F. Di Giandomenico, J-C. Fabre, M. Harrison, M. Kaaniche, et al., Resilient Computing Curriculum, , 2009.
Silva, H., A. Constantino, D. Freitas, M. Coutinho, S. Faustino, M. Mota, P. Colaço, J. Sousa, L. Dias, B. Damjanovic, et al., "RTEMS Centre-Support and Maintenance Centre to RTEMS Operating System", ESA Special Publication, vol. 669, pp. 10, 2009.
2008
Fonseca, P., and H. Miranda, Reaching Scalability in Unstructured P2P Networks Using a Divide and Conquer Strategy, : Department of Informatics, University of Lisbon, 2008.
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.
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.
Freitas, C., D. Santos, H. Gonçalo Oliveira, and P. Carvalho, "ReRelEM: Relações Semânticas no Segundo HAREM", quot; Encontro do Segundo HAREM (Universidade de Aveiro Portugal 7 de Setembro de 2008), 2008.
Casimiro, A., and , "Resilient architecture (final version)", EU FP6 IST project HIDENETS, deliverable D, vol. 2, 2008.
Coutinho, M., J. Rufino, and C. Almeida, "Response time analysis of asynchronous periodic and sporadic tasks sheduled by a fixed priority preemptive algorithm", Real-Time Systems, 2008. ECRTS'08. Euromicro Conference on: IEEE, pp. 156–167, 2008.
Carriço, L., G. Zurita Alarcón, R. Bandeira, R. Vogt, N. Baloian Tataryan, and P. Antunes, Risk Assessment in Healthcare Collaborative Settings: A Case Study Using SHELL, , 2008.
Antunes, P., R. Bandeira, L. Carriço, G. Zurita, N. Baloian, and R. Vogt, "Risk assessment in healthcare collaborative settings: A case study using SHELL", Groupware: Design, Implementation, and Use: Springer Berlin Heidelberg, pp. 65–73, 2008.
Rufino, J., and J. Craveiro, "Robust partitioning and composability in ARINC 653 conformant real-time operating systems", 1st INTERAC Research Network Plenary Workshop, Braga, Portugal, 2008.
Martins, F., L. Lopes, M. S. Silva, and J. Barros, Robust Programming for Sensor Networks, : Technical Report DCC-2008-01, Department of Computer Science, Faculty of Sciences, University of Porto, 2008.
Vasconcelos, V. T., I. Nunes, A. Lopes, N. Ramiro, and P. Crispim, Runtime checking Java code using ConGu, : International Workshop on Advanced Software Development Tools and Techniques, 2008, 2008.
2007
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.
Miranda, H., S. Leggio, L. Rodrigues, and K. Raatikainen, "Removing probabilities to improve efficiency in broadcast algorithms", 5 th MiNEMA Workshop, pp. 20, 2007.
Strigini, L., N. Ferreira Neves, M. Raynal, M. Harrison, M. Kaaniche, F. Von Henke, and , Resilience-building technologies: State of knowledge, , 2007.
Strigini, L., N. Ferreira Neves, M. Raynal, M. Harrison, M. Kaaniche, and F. Von Henke, Resilience-Building Technologies: State of Knowledge–ReSIST NoE Deliverable D12, : Department of Informatics, University of Lisbon, 2007.
Casimiro, A., A. Bondavalli, A. Ceccarelli, A. Daidone, L. Falai, P. Frejek, A. Kövi, EV. Matthiesen, O. Mendizabal, H. Moniz, et al., Resilient architecture, , 2007.
Casimiro, A., A. Bondavalli, A. Ceccarelli, A. Daidone, L. Falai, P. Frejek, F. Giandomenico, G. Huszerl, MO. Killijian, A. Kövi, et al., Resilient architecture (preliminary version), : Department of Informatics, University of Lisbon, 2007.
Simoncini, L., J-C. Laprie, K. Kanoun, JC. Fabre, H. Waeselynck, I. Majzik, A. Pataricza, R. Bloomfield, L. Strigini, N. Suri, et al., Resilient Computing Curriculum Draft–ReSIST NoE Deliverable D16, : Department of Informatics, University of Lisbon, 2007.
Sousa, P., A. Neves Bessani, M. Correia, N. Ferreira Neves, and P. Verissimo, "Resilient intrusion tolerance through proactive and reactive recovery", Dependable Computing, 2007. PRDC 2007. 13th Pacific Rim International Symposium on: IEEE, pp. 373–380, 2007.
Arlat, J., M. Kaaniche, A. Bondavalli, M. Calha, A. Casimiro, A. Daidone, L. Falai, G. Huszerl, MO. Killijian, A. Kövi, et al., Revised reference model, : Department of Informatics, University of Lisbon, 2007.
Arlat, J., M. Kaaniche, H-P. Schwefel, Y. Liu, E. Vestergaar Matthiesen, A. Bondavalli, M. Calha, A. Casimiro, A. Daidone, L. Falai, et al., Revised reference model: HIDENETS D1. 2, : Aalborg Universitetsforlag, 2007.
Domaschka, J., A. I. Schmied, H. P. Reiser, and F. J. Hauck, "Revisiting deterministic multithreading strategies", Parallel and Distributed Processing Symposium, 2007. IPDPS 2007. IEEE International: IEEE, pp. 1–8, 2007.
Lopes, R., H. Simoes, C. Duarte, and L. Carriço, "Rich Digital Books for the Web.", WEBIST (2), pp. 248–253, 2007.
Mendonca, M., and N. Ferreira Neves, "Robustness testing of the Windows DDK", Dependable Systems and Networks, 2007. DSN'07. 37th Annual IEEE/IFIP International Conference on: IEEE, pp. 554–564, 2007.
2006
Denysyuk, O., and L. Rodrigues, "Random walk on directed dynamic graphs", Arxiv preprint, 2006.
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.
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.
Couto, F., ReBIL: Relating Biological Information through Literature, : Tese de Doutoramento, Faculdade de Ciências, Departamento de Informática, Universidade de Lisboa, 2006.
Mocito, J., and L. Rodrigues, "Reconfigurable architecture for group communication support in hybrid networks", workshop in Sintra, pp. 33, 2006.
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.
Andrade, L., and M. J. Silva, "Relevance Ranking for Geographic IR.", GIR, 2006.
Guerraoui, R., and L. Rodrigues, "Reliable Broadcast", Introduction to Reliable Distributed Programming: Springer Berlin Heidelberg, pp. 69–134, 2006.
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.
Sousa, P., N. Ferreira Neves, A. Lopes, and P. Verissimo, "On the resilience of intrusion-tolerant distributed systems", DI/FCUL TR 06–14, DEP. OF INFORMATICS, UNIV. OF LISBON, SEPTEMBER 2006.–PRELIMINARY ARCHITECTURE SPECIFICATION PAGE 100, 2006.
Neves, N. Ferreira, P. Verissimo, P. Sousa, and A. Lopes, On the Resilience of Intrusion-Tolerant Distributed Systems, : Department of Informatics, University of Lisbon, 2006.
Casimiro, A., A. Bondavalli, H-P. Schwefel, M. Calha, M. Clemetsen, A. Daidone, M. Dixit, Z. Egel, L. Falai, F. Di Giandomenico, et al., Resilient architecture: HIDENETS D2. 1.2, , 2006.
Teles, J., J. Cavaleiro, P. Weinman, A. O. Falcao, P. Fernandes, and JE. Fonseca, RheugulationDB: building an integrated view on Rheumatoid Artritis, : European Congress of Rheumatology, 2006.
Teles, J., J. Cavaleiro, P. Weinman, A. O. Falcao, P. Fernandes, and JE. Fonseca, RheugulationDB: Construindo uma imagem integrada para a artrite reumatóide, : XIII Congresso Português de Reumatologia, 2006.
Lopes, R., C. Duarte, H. Simões, and L. Carriço, On the road to Rich Digital Books, : 2nd National Conference in Human Computer Interaction, 2006.
Mocito, J., and L. Rodrigues, "Run-time switching between total order algorithms", Euro-Par 2006 Parallel Processing: Springer Berlin Heidelberg, pp. 582–591, 2006.
2005
Falcao, A. O., "Residue fragment programs for enzyme classification", Proceedings of the workshop Bioinformatics: Knowledge Discovery in Biology, pp. 24–28, 2005.
Sousa, P., N. Ferreira Neves, and P. Verissimo, Resilence State Machine Replication, , 2005.
Sousa, P., N. Ferreira Neves, and P. Verissimo, "Resilient state machine replication", Dependable Computing, 2005. Proceedings. 11th Pacific Rim International Symposium on: IEEE, pp. 5–pp, 2005.

Pages