Publications

Export 2364 results:
Journal Article
Prakash, R., and L. Rodrigues, Report on the EU/NSF Strategic Workshop on Middleware for Mobile Systems Workshop, , 2002.
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.
Falcao, A. O., and M. Próspero Santos, Representação de Paisagens Florestais Adequada á Navegação para Áreas de Grande Dimensão, , 2004.
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.
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.
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.
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.
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.
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.
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.
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., and , "Resilient architecture (final version)", EU FP6 IST project HIDENETS, deliverable D, vol. 2, 2008.
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.
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.
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.
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.
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.
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.
Antunes, J., N. Ferreira Neves, and P. Verissimo, ReverX: Reverse engineering of protocols, , 2011.
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.
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.
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.
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.
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.
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.
Lopes, J., and N. Ferreira Neves, "Robustness of the RaptorQ FEC Code Under Malicious Attacks", Inforum, 2013.
Rodrigues, L., and P. Verissimo, The ROMANCE approach to replicated object management, : Citeseer, 1994.
Neves, N. Ferreira, and P. Verissimo, Running Lab Prototype of MAFTIA Middleware, , 2002.
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.
Lopes, L., and F. Martins, "A safe-by-design programming language for wireless sensor networks", Journal of Systems Architecture, vol. 63: Elsevier, pp. 16–32, 2016.
da Costa, P. Nuno Perei, Safety kernel for cooperative sensor-based systems, , 2013.
Borges, JG., and A. O. Falcao, "SagFlor, a simulator of management alternatives in forest ecosystems", Revista Florestal (Portugal), 1999.
Falcao, A. O., JG. Borges, and M. Tomé, "SAGfLOR–An automated forest management prescription writer", Modelling the Growth of Tree Plantations and Agroforestry Systems in South and East Africa, University of Joensuu, Faculty of Forestry Research Notes, vol. 97, pp. 211–218, 1999.
Bessani, A. Neves, R. Mendes, T. Oliveira, N. Ferreira Neves, M. Correia, M. Pasin, and P. Verissimo, "SCFS: a shared cloud-backed file system", Usenix ATC, 2014.
de Sá, M., L. Carriço, L. Duarte, D. Cruz, and C. Torres, ScWiz: Personalizing Psychotherapy, : 2nd National Conference in Human Computer Interaction, 2006.
Costa, R., and F. Ramos, "An SDN-based approach to enhance BGP security", arXiv preprint arXiv:1602.06924, 2016.
Costa, M., and M. J. Silva, "A search log analysis of a Portuguese web search engine", Proc. of the 2nd INForum-Simpósio de Informática, vol. 525, no. 536, pp. 5, 2010.
Silva, M. J., "Searching and archiving the web with tumba", CAPSI 2003-4a. Conferência da Associaçao Portuguesa de Sistemas de Informaçao, 2003.
Freitas, C., C. Mota, D. Santos, H. Gonçalo Oliveira, and P. Carvalho, "Second HAREM: Advancing the State of the Art of Named Entity Recognition in Portuguese", Proceedings of the Seventh International Conference on Language Resources and Evaluation (LREC 2010), Valetta, Malta, 2010.
Santos, D., C. Freitas, H. Gonçalo Oliveira, and P. Carvalho, "Second HAREM: new challenges and old wisdom", Computational Processing of the Portuguese Language: Springer, pp. 212–215, 2008.
Ferrolho, L., M. Alaluna, N. Neves, and F. Ramos, "Secure and dependable virtual network embedding", arXiv preprint arXiv:1602.02268, 2016.
Alaluna, M., L. Ferrolho, J. Rui Figueira, N. Neves, and F. Ramos, "Secure Virtual Network Embedding in a Multi-Cloud Environment", arXiv preprint arXiv:1703.01313, 2017.
Almeida, C., M. Coutinho, and J. Rufino, Securing the Timeliness of Input/Output Event Handling in Real-Time Kernels, , 2005.
Verissimo, P., Security and Dependability Risks of Critical Information Infrastructures, , 2008.
Areias, M., P. Moniz, and P. Verissimo, "Security and reliability of critical utility infrastructures", Europe, vol. 1, no. 2, pp. 5–6, 2009.
Santos, D., C. Freitas, H. Gonçalo Oliveira, P. Carvalho, and C. Mota, Segundo HAREM: Balanço e perspectivas de futuro, : Desafios na avaliação conjunta do reconhecimento de entidades mencionadas: O Segundo HAREM, Linguateca, 2009.
Santos, D., P. Carvalho, C. Freitas, and H. Gonçalo, Segundo HAREM: Directivas de anotação, , 2009.
Carvalho, P., H. Gonçalo Oliveira, D. Santos, C. Freitas, and C. Mota, "Segundo HAREM: Modelo geral, novidades e avaliação", Desafios na avaliação conjunta do reconhecimento de entidades mencionadas: O Segundo HAREM. Linguateca, pp. 11–31, 2008.
Verissimo, P., "SEGURAN{\c{C}}A e CONFIABILIDADE: na ordem do dia dos sistemas distribu{ídos", Jornadas do Colégio de Engenharia Electrotécnica, Ordem dos Engenheiros, vol. 12, 1996.
Sousa, P., Segurança e Disponibilidade através de Resiliência Proactiva, : Department of Informatics, University of Lisbon, 2008.
Ruano, A. E., G. Madureira, O. Barros, HR. Khosravani, G. M Ruano, and P. Ferreira, "Seismic detection using support vector machines", Neurocomputing, vol. 135: Elsevier, pp. 273–283, 2014.
Field, J., and V. T. Vasconcelos, "Selected Papers from the Eleventh International Conference on Coordination Models and Languages", Science of Computer Programming, vol. 77, no. 6: Elsevier, pp. 661–662, 2012.
Rodrigues, L., J. Pereira, U. Minho, and U. Lisboa, "Self-adapting epidemic broadcast algorithms", FuDiCo II: SOS Survivability: Obstacles and Solutions 2nd Bertinoro Workshop on Future Directions in Distributed Computing, 2004.
Costa, D., and C. Duarte, "Self-adapting TV based applications", Universal Access in Human-Computer Interaction. Design for All and eInclusion: Springer, pp. 357–364, 2011.
Rosa, L., L. Rodrigues, A. Lopes, M. Hiltunen, and R. Schlichting, "Self-management of adaptable component-based applications", Software Engineering, IEEE Transactions on, vol. 39, no. 3: IEEE, pp. 403–421, 2013.
Pesquita, C., D. Faria, A. O. Falcao, P. Lord, F. Couto, and , "Semantic Similarities in Biomedical Ontologies", IMIA Yearbook, vol. 5, pp. 84–84, 2010.
Ferreira, J., and F. Couto, "Semantic similarity for automatic classification of chemical compounds", PLoS computational biology, vol. 6, no. 9: Public Library of Science, pp. e1000937, 2010.
Pesquita, C., D. Faria, A. O. Falcao, P. Lord, and F. Couto, "Semantic similarity in biomedical ontologies", PLoS computational biology, vol. 5, no. 7: Public Library of Science, pp. e1000443, 2009.
Pesquita, C., "Semantic similarity in the gene ontology", The Gene Ontology Handbook: Springer, pp. 161–173, 2017.
Martins, F., A. O. Falcao, and F. Couto, Semantic Similarity Match for Data Quality, : Department of Informatics, University of Lisbon, 2007.
Machado, C. M., D. Rebholz-Schuhmann, A. T. Freitas, and F. Couto, "The semantic web in translational medicine: current applications and future directions", Briefings in bioinformatics, vol. 16, no. 1: Oxford University Press, pp. 89–103, 2015.
Pereira, J., L. Rodrigues, and R. Oliveira, "Semantically reliable multicast: Definition, implementation, and performance evaluation", Computers, IEEE Transactions on, vol. 52, no. 2: IEEE, pp. 150–165, 2003.
Orlando, J., L. Rodrigues, and R. Oliveira, "Semantically reliable multicast protocols", Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems (SRDS 2000), 2000.
Lopes, L., and F. Martins, "A semantically robust framework for programming wireless sensor networks", DCC/FCUP, TR, vol. 1, 2010.
Fernandes, M., J. Decouchant, M. Voelp, F. M. Couto, and P. Esteves-Verissimo, "Sensitivity Levels: Optimizing the Performance of Privacy Preserving DNA Alignment", bioRxiv: Cold Spring Harbor Laboratory, pp. 292227, 2018.
Martins, F., L. Lopes, and H. Paulino, Sensor Systems and Software: Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers, : Springer Publishing Company, Incorporated, 2012.
Charro, N., B. L. Hood, D. Faria, P. Pacheco, P. Azevedo, C. Lopes, A. Bugalho de Almeida, F. Couto, T. P. Conrads, and D. Penque, "Serum proteomics signature of Cystic Fibrosis patients: A complementary 2-DE and LC–MS/MS approach", Journal of proteomics, vol. 74, no. 1: Elsevier, pp. 110–126, 2011.
Cachin, C., M. Correia, T. McCutcheon, N. Ferreira Neves, B. Pfitzmann, B. Randell, M. Schunter, R. J. Stroud, P. Verissimo, M. Waidner, et al., Service and Protocol Architecture for the MAFTIA Middleware, : Department of Informatics, University of Lisbon, 2001.
Verissimo, P., and N. Ferreira Neves, "Service and Protocol Architecture for the MAFTIA Middleware", Deliverable D23, Project MAFTIA IST-1999-11583, 2001.
Lopes, R., K. Votis, L. Carriço, S. Likothanassis, and D. Tzovaras, "A Service Oriented Ontological Framework for the Semantic Validation of Web Accessibility", Handbook of Research on Social Dimensions of Semantic Technologies and Web Services: IGI Global, pp. 49, 2009.
Correia, M., Serviços Distribu{ídos Tolerantes a Intrusões: resultados recentes e problemas abertos, : Department of Informatics, University of Lisbon, 2005.
Giunti, M., K. Honda, V. T. Vasconcelos, and N. Yoshida, "Session-based type discipline for pi calculus with matching", In the preproceedings of PLACES, vol. 9, 2009.
Vasconcelos, V. T., L. Aceto, and , "Sessions, from types to programming languages", Bulletin of the EATCS, no. 103, pp. 53–73, 2011.
Guerraoui, R., and L. Rodrigues, "Shared Memory", Introduction to Reliable Distributed Programming: Springer Berlin Heidelberg, pp. 135–188, 2006.
Bessani, A. Neves, M. Correia, J. da Silva Fraga, and C. L Lung, "Sharing memory between Byzantine processes using policy-enforced tuple spaces", Parallel and Distributed Systems, IEEE Transactions on, vol. 20, no. 3: IEEE, pp. 419–432, 2009.
Oliveira, E., T. Chambel, and N. Magalhães Ribeiro, "Sharing Video Emotional Information in the Web", International Journal of Web Portals (IJWP), vol. 5, no. 3: IGI Global, pp. 19–39, 2013.
Marques, G., T. Langlois, F. Gouyon, M. Lopes, and M. Sordo, "Short-term feature space and music genre classification", Journal of New Music Research, vol. 40, no. 2: Routledge, pp. 127–137, 2011.
Garcia, M., N. Neves, and A. Bessani, "SieveQ: A layered bft protection system for critical services", IEEE Transactions on Dependable and Secure Computing, vol. 15, no. 3: IEEE, pp. 511–525, 2018.
Garcia, M., N. Neves, and A. Bessani, "Sieveq: A layered bft protection system for critical services", IEEE Transactions on Dependable and Secure Computing: IEEE, 2016.
Ilahi, L., R. Martinho, S. Ayachi Ghannouchi, D. Domingos, and R. Rijo, "Similarity Based Approach for Comparing Home Healthcare Processes Models in Portugal", Procedia Computer Science, vol. 100: Elsevier, pp. 1250–1259, 2016.
Marques, G., and T. Langlois, A similarity measure for music signals, : INSTICC-Inst Syst Technologies Information Control & Communication, 2008.
Correia, M., C. L Lung, N. Ferreira Neves, and P. Verissimo, A Simple Intrusion-Tolerant Reliable Multicast Protocol using the TTCBe Model, , 2003.
L Lung, C., M. Correia, N. Ferreira Neves, and P. Verissimo, "A simple intrusion-tolerant reliable multicast protocol using the TTCB", of: 21o Simpósio Brasileiro de Redes de Computadores, pp. 649–663, 2003.
Falcao, A. O., {Simulação e Geração de Alternativas de Gestão para o Per{ímetro Florestal do Cantão das Hortas-Serra da Lousã, , 2002.
Falcao, A. O., "Simulação e projecção de alternativas de gestão para o montado de sobro", Documento Técnico, vol. 4, no. 02, 2002.
Costa, C. J., M. Duque, P. Antunes, J. Ferreira Dias, ISCTE. Informação, and C. de Gestão, "Sistemas de Apoio a Reuniões: Limitações Actuais e Oportunidades de Disseminação da Tecnologia", Information Systems, vol. 12, 2000.
Duque, M., P. Antunes, J. Ferreira Dias, and , Sistemas de Apoio a Reuniões: Limitações Actuais e Oportunidades de Disseminação Da Tecnologia, : CoopMedia'2000, Workshop de Sistemas Multimédia Cooperativos e Distribu{ídos, 2000.
Alchieri, E. Adilio Pel, A. Neves Bessani, F. Carlos Pereira, and J. da Silva Fraga, Sistemas de Quóruns Bizantinos Pró-Ativos, : SBRC 2009: 27o Simposio Brasileiro de Redes de Computadores, 2009.
Monteiro, A., N. Soares, R. Oliveira, and P. Antunes, Sistemas electrónicos de votação, : Department of Informatics, University of Lisbon, 2001.
Matos, D. R., N. Neves, and A. Bessani, "SITAN: Services for Fault-Tolerant Ad Hoc Networks with Unknown Participants", arXiv preprint arXiv:1804.09107, 2018.
Botelho, F., A. Neves Bessani, F. M. V. Ramos, and P. Ferreira, "SMaRtLight: A Practical Fault-Tolerant SDN Controller", arXiv preprint arXiv:1407.6062, 2014.
Júnior, V. Stumm, C. L Lung, M. Correia, J. da Silva Fraga, and J. Lau, SMIT: Uma Arquitetura Tolerante a Intrusoes Baseada em Virtualizaç ao, , 2010.
Kanjo, E., E. N Mawass, , J.. P., and F. M. V. Ramos, Social, Disconnected or In between: Mobile Data reveals urban mood, , 2013.
Antunes, P., A Social-Technical Perspective Over Business Process Management and Resilience, : 2nd ESFORS Workshop, 2007.
De Lemos, R., H. Giese, HA. Müller, M. Shaw, J. Andersson, L. Baresi, B. Becker, and , "Software engineering for self-adaptive systems", Dagstuhl Seminar, vol. 10431, 2009.

Pages