Publications

Export 2364 results:
Journal Article
Souza, J. L. R., and J. Rufino, "Towards resilient real-time wireless communications", Work-in-Progress Session, pp. 29, 2013.
Craveiro, J., J. Rosa, and J. Rufino, "Towards self-adaptive scheduling in time-and space-partitioned systems", The 32nd IEEE Real-Time Systems Symposium WiP session, Vienna, Austria, 2011.
Martins, F., L. Lopes, and J. Barros, "Towards the safe programming of wireless sensor networks", arXiv preprint arXiv:1002.0937, 2010.
Pesquita, C., D. Faria, E. Santos, J-M. Neefs, and F. Couto, "Towards visualizing the alignment of large biomedical ontologies", Data Integration in the Life Sciences (DILS), 2014.
Moreira, S., D. S. Batista, P. Carvalho, F. Couto, and M. J. Silva, "Tracking politics with POWER", Program, vol. 47, no. 2: Emerald Group Publishing Limited, pp. 120–135, 2013.
Favarim, F., J. da Silva Fraga, E. Adilio Pel Alchieri, A. Neves Bessani, and C. L Lung, "Transações em Espaços de Tuplas com Segurança de Funcionamento", Anais do XXVI Simpósio Brasileiro de Redes de Computadores e Sistemas Distribu{ídos (SBRC'2008), pp. 847–860, 2008.
Clarke, L. A., H. M. Botelho, L. Sousa, A. O. Falcao, and M. D. Amaral, "Transcriptome meta-analysis reveals common differential and global gene expression profiles in cystic fibrosis and other respiratory disorders and identifies CFTR regulators", GENOMICS, vol. 106, pp. 268-277, NOV, 2015.
Asif, M., H. F. Martiniano, C. Rasga, A. R. Marques, J. X. Santos, F. M. Couto, and AM. Vicente, "Translating the complex ASD genetic architecture into clinical phenotype using an integrative system biology approach", European Society of Human Genetics, 16-19 june, 2018: Instituto Nacional de Saúde Doutor Ricardo Jorge, IP, 2018.
Vieira, F., P. Sousa, and A. Neves Bessani, "Transparent Byzantine Fault-Tolerant Directory Service using COTS components", Proceedings of the 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009)-Fast Abstract, Estoril, Portugal, 2009.
Reis, D., and H. Miranda, "Transparently increasing RMI fault tolerance", ACM SIGAPP Applied Computing Review, vol. 12, no. 2: ACM, pp. 18–26, 2012.
Verissimo, P., "Travelling through wormholes: a new look at distributed systems models", ACM SIGACT News, vol. 37, no. 1: ACM, pp. 66–81, 2006.
Henriques, R., and S. C. Madeira, "Triclustering Algorithms for Three-Dimensional Data Analysis: A Comprehensive Survey", ACM Computing Surveys (CSUR), vol. 51, no. 5: ACM, pp. 95, 2018.
Silva, M. J., Tumba!: Relatório de Actividades de 2003 e Plano para 2003, , 2002.
Moniz, H., N. Ferreira Neves, and M. Correia, Turquois: Byzantine Consensus in Wireless Ad hoc Networks (extended version), , 2010.
Miranda, H., and L. Rodrigues, "A two-side perspective on cooperation in mobile ad hoc networks", Proceedings of the conference on mobile and ubiquitous systems. Escola de Engenharia-Universidade do Minho, Guimaraes, Portugal: Citeseer, pp. 109–118, 2006.
Vasconcelos, V. T., F. Martins, and T. Cogumbreiro, "Type inference for deadlock detection in a multithreaded polymorphic typed assembly language", arXiv preprint arXiv:1002.0942, 2010.
Martins, F., and V. T. Vasconcelos, Type-based approach to multi-core programming, , 2008.
Vasconcelos, V. T., F. Martins, E. R. B. Marques, H. A. López, C. Santos, and N. Yoshida, Type-based verification of message-passing parallel programs, , 2014.
Honda, K., V. T. Vasconcelos, and N. Yoshida, "Type-directed compilation for multicore programming", Electronic Notes in Theoretical Computer Science, vol. 241: Elsevier, pp. 101–111, 2009.
Martins, F., V. T. Vasconcelos, and T. Cogumbreiro, "Types for X10 Clocks", arXiv preprint arXiv:1110.4165, 2011.
Baltazar, P., V. T. Vasconcelos, and H. Torres Vieira, Typing dynamic roles in multiparty interaction, , 2011.
de Sá, M., L. Carriço, and P. Antunes, "Ubiquitous psychotherapy", IEEE Pervasive Computing, vol. 6, no. 1: IEEE Educational Activities Department, pp. 20–27, 2007.
de Sá, M., L. Carriço, and P. Antunes, "Ubiquitous psychotherapy", IEEE Pervasive Computing: IEEE Computer Society, pp. 20–27, 2007.
Leal, A., D. Gonçalves, B. Martins, and F. Couto, "ULisboa: Identification and Classification of Medical Concepts", SemEval 2014, pp. 711, 2014.
Ludovico, J., and H. Miranda, "Um Algoritmo de Difusao Baseado na Troca de Resumos", Atas do INFORUM, pp. 294–305, 2011.
Dantas, W. Saback, A. Neves Bessani, and J. da Silva Fraga, Um Arcabouço de Simulação e Avaliação de Sistemas de Quóruns Bizantinos, : VIII Workshop de Testes e Tolerância a Falhas, 2007.
de Sousa, I. Dias, and N. Guimarães, Um estudo comparativo da imprensa, rádio e televisão com os modelos PHIMA e ICDT, : Universidade Aberta, 2005.
Jieke, P., M. Correia, N. Ferreira Neves, P. Verissimo, SA. Siemens, and R. Irmãos Siemens, "Um Núcleo de Segurança Distribu{ído para Suporte a Protocolos Tolerantes a Intrusões", 1ª Conferência Nacional sobre Segurança Informática nas Organizações. Covilhã, Portugal, 2005.
M Monteiro, J., S. Teixeira, H. Miranda, and L. Rodrigues, Um serviço de replicação transparente de servidores CORBA utilizando sincronia virtual, : Department of Informatics, University of Lisbon, 2001.
Silva, M. J., and A. Paula Afonso, Uma Arquitectura de Sistema para Information Appliances, : EPCM'99-Encontro Português de Computação Móvel, 1999.
Rodrigues, C., M. Chaves, and M. J. Silva, "Uma representação ontológica da geografia f{ísica de Portugal", IX Encontro de Utilizadores de Informação Geográfica, ESIG-Oeiras, Portugal, 2006.
Fonseca, A., and B. Cabral, "Understanding the impact of task granularity in the energy consumption of parallel programs", Sustainable Computing: Informatics and Systems, vol. 17: Elsevier, pp. 69–80, 2018.
Costa, M., and M. J. Silva, "Understanding the information needs of web archive users", Proc. of the 10th International Web Archiving Workshop, vol. 9, no. 16, pp. 6, 2010.
Mateus, P., A. Sernadas, and A. Souto, "Universality of quantum Turing machines with deterministic control", Journal of Logic and Computation, vol. 27, no. 1: Oxford University Press, pp. 1–19, 2017.
Cardoso, N., P. Sousa, and M. J. Silva, "The university of lisbon at geoclef 2008", Working notes of CLEF, 2008.
J Marques, A., P. Guedes, P. Sousa, M. Sequeira, N. Guimarães, J. Monge, A. Zúquete, and P. Ferreira, A Unix Implementation of the Comandos Virtual Machine, , 1993.
Pesquita, C., D. Faria, T. Grego, F. Couto, and M. J. Silva, "Untangling BioOntologies for Mining Biomedical Information", Handbook of research on text and Web mining technologies: Information Science Reference, 2009.
Silva, M. J., F. Couto, T. Grego, D. Faria, and C. Pesquita, Untangling BioOntologies for Mining Biomedical Information, : Handbook of Research on Text and Web Mining Technologies, IGI Global Publishing, 2008.
Gomes, D., and M. J. Silva, On URL and content persistence, : Department of Informatics, University of Lisbon, 2005.
Duarte, C., and L. Carriço, "Usability evaluation of digital talking books", Proc. Interacçao, 2004.
Matthiesen, E. Vestergaar, M. Radimirsch, G. Huszerl, M. Reitenspieß, M. Kaaniche, I. Einar Svinnset, A. Casimiro, and L. Falai, Use case scenarios and preliminary reference model, : Department of Informatics, University of Lisbon, 2007.
Radimirsch, M., E. V. Matthiesen, G. Huszerl, M. Reitenspieß, M. Kaaniche, I. Einar Svinnset, A. Casimiro, L. Falai, HIDENETS. Consortium, and , "Use case scenarios and preliminary reference model", EU FP6 IST project HIDENETS, deliverable D, vol. 1, 2006.
Carvalho, N., A. Correia Jr, J. Pereira, L. Rodrigues, R. Oliveira, and S. Guedes, "On the Use of a Reflective Architecture to Augment Database Management Systems.", J. UCS, vol. 13, no. 8, pp. 1110–1135, 2007.
Costa, C. J., P. Antunes, and J. A. Pino, "The use of genre analysis in the design of electronic meeting systems", Information Research, vol. 11, no. 3: InformationR. net, pp. 1, 2005.
Antunes, P., C. J. Costa, and J. Alberto Pi Urtubia, The use of genre analysis in the design of electronic meeting systems, : UNIV SHEFFIELD DEPT INFORMATION STUDIES, 2006.
Tome, M., J. G. Borges, and A. O. Falcao, "The use of management-oriented growth and yield models to assess and model forest wood sustainability. A case study for eucalyptus plantations in Portugal", Models for Sustainable Management of Temperate Plantation Forests, European Forest Institute, Joensuu, pp. 81–94, 2001.
Ferreira, J., D. Paolotti, F. Couto, and M. J. Silva, "On the usefulness of ontologies in epidemiology research and practice", Journal of epidemiology and community health: BMJ Publishing Group Ltd, pp. jech–2012, 2012.
Dias, R., R. Cunha, and M. J. Fonseca, "A User-centered Music Recommendation Approach for Daily Activities", CBRecSys 2014, pp. 26, 2014.
Lacoste, M., M. Miettinen, N. Neves, F. M. V. Ramos, M. Vukolić, F. Charmet, R. Yaich, K. Oborzynski, G. Vernekar, and P. Sousa, "User-Centric Security and Dependability in the Clouds-of-Clouds", IEEE Cloud Computing, vol. 3, no. 5: IEEE, pp. 64–75, 2016.
Duarte, C., and L. Carriço, "Users and usage driven adaptation of digital talking books", Proceedings of the 11th International Conference on Human-Computer Interaction: Citeseer, 2005.
Cruz, I. F., C. Stroe, F. Caimi, A. Fabiani, C. Pesquita, F. Couto, and M. Palmonari, "Using AgreementMaker to align ontologies for OAEI 2011", Proceedings of the Sixth International Workshop on Ontology Matching, pp. 114–121, 2011.
Duarte, L., L. Carriço, and M. de Sá, Using an XML Based System in Group Psychotherapy, : XML: Aplica{\=e}ões e Tecnologias Associadas, 2007.
Marques, P., Z. Dabbabi, MM. Mironesc, O. Thonnard, A. Bessani, F. Buontempo, and I. Gashi, Using Diverse Detectors for Detecting Malicious Web Scraping Activity, , 2018.
Dixit, M., A. Casimiro, N. Laranjeiro, and M. Vieira, "Using experimental measurements to assess dependable adaptation support mechanisms for timed transactions", Workshop on Sharing Field Data and Experiment Measurements on Resilience of Distributed Computing Systems, with the 27th IEEE Symposium on Reliable Distributed Systems, vol. 77, 2008.
Bastos, H., D. Faria, C. Pesquita, and A. O. Falcao, "Using GO terms to evaluate protein clustering", BioOntologies SIG at ISMB/ECCB-15th Annual International Conference on Intelligent Systems for Molecular Biology (ISMB), 2007.
Norman, R., and F. Couto, "Using Google Scholar to predict self citation: A case study in Health Economics", arXiv preprint arXiv:1406.5241, 2014.
Sapateiro, C., A. Ferreira, and P. Antunes, Using Microworlds to Study Teamwork at the Cognitive Level, , 2010.
Tataryan, N. Baloian, F. Bruno Bayt Pilowsky, P. Antunes, L. Carriço, M. de Sá, and G. Zurita Alarcón, Using PDAs in meetings: Patterns, architecture and components, : GRAZ UNIV TECHNOLGOY, INST INFORMATION SYSTEMS COMPUTER MEDIA-IICM, 2008.
Zurita, G., P. Antunes, N. Baloian, L. Carriço, F. Baytelman, and M. de Sá, "Using PDAs in Meetings: Patterns, Architecture and Components.", J. UCS, vol. 14, no. 1, pp. 123–147, 2008.
Alarcón, G. Zurita, P. Antunes, N. Baloian, L. Carriço, F. Baytelman, M. de Sá, and , Using PDAs in meetings: Patterns, architecture and components, : GRAZ UNIV TECHNOLGOY, INST INFORMATION SYSTEMS COMPUTER MEDIA-IICM, 2008.
Domingos, D., A. Respicio, and R. Martinho, "Using Resource Reliability in BPMN Processes", Procedia Computer Science, vol. 100: Elsevier, pp. 1280–1288, 2016.
Martins, M. do Carmo, and F. Martins, "ON USING SAGE TO SOLVE CONSTRAINED OPTIMIZATION PROBLEMS APPLYING THE LAGRANGE MULTIPLIERS METHOD", European Scientific Journal, vol. 9, no. 21, 2013.
Martinho, R., J. Varajao, and D. Domingos, "Using the semantic web to define a language for modelling controlled flexibility in software processes", IET software, vol. 4, no. 6: IET Digital Library, pp. 396–406, 2010.
Mourão, H., and P. Antunes, Using Wfms to Support Unstructured Activities, : Handbook of Research on Business Process Modeling, 2009.
Peneda, J., N. Charro, B. L. Hood, A. Fonseca, M. Hagenfeldt, A. Miranda, F. Zerimech, F. Gomes, D. Neto, T. P. Conrads, et al., Utilidade da Proteómica na Compreensão da Patogenia Molecular Proximal da Doença Cerebral Alcoólica, : Instituto Nacional de Saúde Doutor Ricardo Jorge, IP, 2011.
Cardoso, N., M. J. Silva, and M. Antunes, "Validação estat{ística dos resultados do Primeiro HAREM", Reconhecimento de entidades mencionadas em português: Documentação e atas do HAREM, a primeira avaliação conjunta na área, Cap{ítulo, vol. 5, pp. 59–77, 2007.
Couto, F., M. J. Silva, and P. M. Coutinho, Validation of Automated Protein Annotation, : Department of Informatics, University of Lisbon, 2005.
Barbosa, SBP., AC. Ribeiro Neto, RB. Jatobá, MJA. Silva, AMV. Batista, AM. Silva, SFA. Freitas, and MJFB. Silva, "Variação sazonal da composição qu{ímica do leite cru inspecionado nas indústrias e latic{ínios da região nordeste do Brasil", Revista de Educação Continuada em Medicina Veterinária e Zootecnia, vol. 9, no. 3, pp. 69–69, 2011.
Rebholz-Schuhmann, D., H. Kirsch, R. Apweiler, E. Camon, E. Dimmer, V. Lee, M. J. Silva, and F. Couto, Verification of Uncurated Protein Annotations, : Information Retrieval in Biomedicine: Natural Language Processing for Knowledge Integration, IGI Global Publishing, 2009.
Freitas, F., R. Rodrigues, C. Ribeiro, P. Ferreira, and L. Rodrigues, "Verme: Worm Containment in Peer-to-Peer Overlays.", IPTPS, vol. 7, pp. 1, 2007.
Arantes, L., A. Neves Bessani, V. Vielmo Cogo, M. Correia, P. Costa, J. Lejeune, M. Piffaretti, O. Marin, M. Pasin, P. Sens, et al., "Vers une plate-forme MapReduce tolérant les fautes byzantines.", Technique et Science Informatiques, vol. 31, no. 8-10, pp. 1079–1099, 2012.
Campos, J. P., and M. J. Silva, "Versus: A model for a Web repository", CRC'01-4a Conferência de Redes de Computadores, 2001.
Campos, J. P., and M. J. Silva, "Versus: A temporal Web repository", Universidade de Lisboa, 2001.
Gomes, D., J. P. Campos, and M. J. Silva, "Versus: a web repository", WDAS-Workshop on Distributed Data and Structures 2002, 2002.
Oliveira, E., and T. Chambel, Video Album: getting emotions into the Picture, : 4th Workshop on Emotion in Human-Computer Interaction: Designing for People, at HCI'2008: Culture, Creativity, Interaction, the 22nd BCS HCI Group conference, 2008.
Apostol, T., T. Chambel, J. Francisco Rodrigues, and L. Santos, Video Based Hypermedia for Communicating Mathematics, : 5th International Congress on Industrial and Applied Mathematics, ICIAM'03, 2003.
Chambel, T., Video in Multimedia Spaces, , 2008.
Rocha, T., and T. Chambel, "VideoSpace: a 3D video experience", Proceedings of Artech, 2008.
Andrade, J., and A. Paula Afonso, Visualização de conteúdos geográficos em dispositivos móveis, , 2009.
Pombinho, P., M. Beatriz Carmo, and A. Paula Afonso, "Visualização de informação georeferenciada em dispositivos móveis", Actas do 15º Encontro Português de Computação Gráfica, pp. 183–188, 2007.
Martinho, J., and T. Chambel, Visualização e Exploração Interactiva de Espaços de V{ídeo através de Cor e Movimento, : EPCG'2009, 17º Encontro Português de Computação Gráfica, 2009.
Carmo, M. Beatriz, S. Freitas, A. Paula Afonso, and A. Paula Cláudio, Visualização Personalizada de Dados Geo-referenciados, : Envc'2005-Encontro Nacional de Visualização Cient{ífica, 2005.
Ivanova, V., P. Lambrix, S. Lohmann, and C. Pesquita, "Visualization and interaction for ontologies and linked data", Journal of Web Semantics, 2018.
Chambel, T., L. Santos, S. Nápoles, J. Francisco Rodrigues, and T. Apostol, "Visualization in Learning Mathematics with Hypervideo", Encontro Nacional de Visualização CientÍfica, Centro Multimeios, Espinho, Setembro, 2005.
Chambel, T., L. Santos, S. Nápoles, J. Francisco Rodrigues, and T. Apostol, Visualization in Learning Mathematics with Hypervideo: The Story of Pi demo, : Envc'2005-Encontro Nacional de Visualização Cient{ífica, 2005.
Jorge, A., and T. Chambel, "Visualizations in Time for a New Look at the Movies", International Journal of Creative Interfaces and Computer Graphics (IJCICG), vol. 5, no. 2: IGI Global, pp. 40–61, 2014.
Costa, D., and C. Duarte, "Visually impaired people and the emerging connected TV: a comparative study of TV and Web applications’ accessibility", Universal Access in the Information Society, vol. 16, no. 1: Springer, pp. 197–214, 2017.
Tataryan, N. Baloian, F. Bruno Bayt Pilowsky, P. Antunes, A. Farias, and G. Zurita Alarcón, Visually-Driven Decision Making Using Handheld Devices, , 2008.
Alarcón, G. Zurita, P. Antunes, N. Baloian, F. Baytelman, A. Farias, and , Visually-Driven Decision Making Using Handheld Devices, , 2008.
Coutinho, M., J. Rufino, and C. Almeida, "VITRAL: A text mode windows manager for RTEMS", Terceiras Jornadas de Engenharia de Electrónica e Telecomunicaçoes e de Computadores, 2005.
Gomes, D., and M. J. Silva, The Viuva Negra crawler, : Department of Informatics, University of Lisbon, 2006.
Gomes, D., and M. J. Silva, "The Viúva Negra crawler: an experience report", Software: Practice and Experience, vol. 38, no. 2: Wiley Online Library, pp. 161–188, 2008.
Reiser, H. P., and R. Kapitza, "VM-FIT: supporting intrusion tolerance with virtualisation technology", Proceedings of the Workshop on Recent Advances on Intrusion-Tolerant Systems, 2007.
Zúquete, A., A. Ferreira, C. J. Costa, D. Magalhães, D. Vieira, F. Simões, J. Ferreira Dias, L. Carriço, P. Ferreira, P. Antunes, et al., Voto Electrónico-Discussão Técnica dos Seus Problemas e Oportunidades, : Voto Electrónico-Discussão Técnica dos Seus Problemas e Oportunidades, 2008.
Antunes, J., N. Ferreira Neves, M. Correia, P. Verissimo, and R. Neves, "Vulnerability discovery with attack injection", Software Engineering, IEEE Transactions on, vol. 36, no. 3: IEEE, pp. 357–370, 2010.
Correia, N., J. Martins, I. Oliveira, and N. Guimarães, "WeatherDigest: an experiment on media conversion", Proceedings of SPIE, vol. 95, 1996.
Batista, P., and M. J. Silva, Web access mining from an on-line newspaper logs, : 12th International Meeting of the Euro Working Group on Decision Support Systems (EWG-DSS 2001), 2001.
Gomes, D., A. L. Santos, and M. J. Silva, Webstore: A manager for incremental storage of contents, : Department of Informatics, University of Lisbon, 2004.
Souza, J. L. R., and J. Rufino, Why is Important the Knowledge of Inaccessibility for Supporting Real-Time Communication over IEEE 802.15. 4?, : INForum-Simpósio de Informática 2009, 2009.
Ruano, A., S. Silva, H. Duarte, and P. M. Ferreira, "Wireless Sensors and IoT Platform for Intelligent HVAC Control", Applied Sciences, vol. 8, no. 3: Multidisciplinary Digital Publishing Institute, pp. 370, 2018.

Pages