Publications

Export 2364 results:
Thesis
Neves, N. Ferreira, Time-based coordinated checkpointing, : University of Illinois at Urbana-Champaign, 1998.
Barbosa, P. Santos, Taxonomic and functional analysis of metagenomes, , 2013.
Ferreira, A., Suporte á publicidade na Internet: Projecto e construção de um gestor de publicidade, : Universidade de Lisboa, 2000.
Mostrous, D., Session Types in Concurrent Calculi: Higher-Order Processes and Objects, : Imperial College London (University of London), 2010.
Neves, N. Fuentecill, I. Vitória d Medeiros, and , Security auditing of a DLMS/COSEM Smart Grid communication protocol implementation, , 2018.
Jeichande, D. Ussene, and H. Miranda, Redundant firewalls for web applications, , 2016.
Couto, F., ReBIL: Relating Biological Information through Literature, : Tese de Doutoramento, Faculdade de Ciências, Departamento de Informática, Universidade de Lisboa, 2006.
Mordido, A., and C. Caleiro, Probabilistic Logic over Equations and Domain Restrictions, : PhD Thesis, IST, Universidade de Lisboa, 2016.
Verissimo, P., Optimisation de la Réponse aux menaces basée sur les coûts dans des systèmes pour la Sécurité de l'Information et la Gestion des Evénements (SIEMs), : Télécom SudParis, 2014.
Falcao, A. O., Implementação de métodos heur{ísticos para modelação da gestão em ecossistemas florestais–Integração num Sistema de Apoio á Decisão, : Ph. D. thesis, Instituto Superior de Agronomia, Lisboa, 2001.
Ferreira, A., Evaluating groupware usability at the cognitive level of human action, : Universidade de Lisboa, 2010.
Rufino, J., Computational system for real-time distributed control, : PhD thesis, Universidade Técnica de Lisboa Instito Superior Técnico, 2002.
Langlois, T., Algorithmes d'apprentissage par renforcement pour la commande adaptative, , 1992.
Langlois, T., {Algorithmes d'apprentissage par renforcement pour la commande adaptative: Texte imprimé, : Compiégne, 1992.
Silva, M. J., T-cker. Chiueh, and R. H. Katz, Active documentation for VLSI design, : University of California, Berkeley, 1994.
Miscellaneous
Noronha, N., and M. J. Silva, Using the semantic web for web searches, : INTERAC{\c{C}}ÃO 2004-1ª Conferência Nacional em Interacção Pessoa-Máquina, 2004.
Verissimo, P., and A. Casimiro, The timely computing base. DI, : FCUL TR 99–2, Department of Computer Science, University of Lisboa, Apr. 1999. Short version appeared in the Digest of Fast Abstracts, The 29th IEEE Intl. Symposium on Fault-Tolerant Computing, Madison, USA, 1999.
De Nicola, R., L. Bocchi, R. Bruni, L. Caires, R. Heckel, I. Lanese, A. Lapadula, M. Loreti, L. Semini, C. Montangero, et al., Th0. 1. a: SENSORIA languages and calculi for modelling services, : Technical report, SENSORIA, 2007.
Rufino, J., and P. Verissimo, A study on the inaccessibility characteristics of the FDDI LAN, : Technical Report RT/25-92, INESC, Lisboa, Portugal, 1992.
de Bruin, I., A. Casimiro, M. Calha, G. Egeland, L. Falai, P. Frejek, L. Jesper Grønbæk, S. Heemstra de Groot, A. Fosselie Hansen, G. Huszerl, et al., Specification HIDENETS laboratory set-up scenario and components (Refined specification HIDENETS proof-of-concept set up): HIDENETS D6. 2, : Aalborg Universitetsforlag, 2007.
Marques, E. R. B., F. Martins, N. Ng, C. Santos, V. T. Vasconcelos, and N. Yoshida, Specification and Verification of Protocols for MPI Programs, , 2013.
Pinto, R., J. Rufino, and C. Almeida, Specification and engineering of the CANELy prototype board, : Technical Report DARIO Technical Report RT-06-06, Instituto Superior Tecnico, Lisbon, Portugal, 2006.
Nickelsen, A., H-P. Schwefel, L. Jesper Grønbæk, A. Casimiro, A. Kövi, H. P. Reiser, and T. Julien Renier, Service level resilience solutions for the infrastructure domain: HIDENETS D2. 2, : Department of Electronic Systems, Aalborg University Aalborg, 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.
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.
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.
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.
Verissimo, P., J. Rufino, H. Fonseca, and L. Rodrigues, The performance of the xAMp protocol on token-bus and fddi nac's, : Technical Report RT/109-91, INESC, Lisboa, Portugal, 1991.
Verissimo, P., and L. Rodrigues, Order and synchronism properties of reliable broadcast protocols, : Technical Report RT/66-89, INESC, Lisboa, Portugal, 1989.
Batista, P., and M. J. Silva, Mining Web Access Logs of an On-line Newspaper. 2002, , 2003.
Cachin, C., J. Camenisch, M. Dacier, Y. Deswarte, J. Dobson, D. Horne, K. Kursawe, JC. Laprie, JC. Lebraud, D. Long, et al., Malicious-and Accidental-Fault Tolerance in Internet Applications: reference model and use cases, : LAAS report, 2000.
Costa, P., Hadoop MapReduce tolerante a faltas bizantinas, , 2011.
Verissimo, P., W. Vogels, and L. Rodrigues, A Framework for Structuring Group Support in LSDCs, : Technical Report RT/19-94, INESC, BROADCAST REPORT, Lisboa, Portugal, September 1993. Expanded version of a paper in procs. 4th IEEE Workshop on Future Trends of Distr. Comput. Syst., Lisboa-Portugal, 1993.
García-Valls, M., A. Casimiro, and H. P. Reiser, A few open problems and solutions for software technologies for dependable distributed systems, : Elsevier, 2017.
Baltazar, P., L. Caires, V. T. Vasconcelos, and H. Torres Vieira, Dynamic Roles in Multiparty Communicating Systems, : UNL-DI-1–2012, Universidade Nova de Lisboa, 2012.
Rodrigues, L., K. Guo, A. Sargento, R. van Renesse, B. Glade, P. Verissimo, and K. Birman, A dynamic light-weight group service, : Cornell University, 1996.
Rufino, J., "Dual-media redundancy mechanisms for CAN", 2008-02-14)[2012-07-04]. http://dario. di. fc. ul. pt/downloads/CSTC-RT-9701. pdf, 1997.
Rufino, J., P. Verissimo, G. Arroz, C. Almeida, and L. Rodrigues, Design of Fault-Tolerant Broadcast Protocols for CAN, : Tech. rept. CSTC RT-97-06. Centro de Sistemas Telemáticos e Computacionais do Instituto Superior Técnico, Lisboa, Portugal, 1997.
Almeida, C., J. Rufino, and P. Verissimo, DDRAFT: Supporting dynamic distributed real-time applications with fault-tolerance, : Technical Report CSTC RT-98-02, Centro de Sistemas Telemáticos e Computacionais do Instituto Superior Técnico, Lisboa, Portugal, 1998.
Bessani, A. Neves, M. Correia, and N. Neves, Consistency Anchor Formalization and Correctness Proofs, : Technical Report DI-FCUL-2014-02, ULisboa, 2014.
Antunes, J., and N. Ferreira Neves, "Building an automation towards reverse protocol engineering", 2012-10-10]. http://homepages. di. fc. ul. pt/\~{} nuno/PAPERS/INFORUM09. pdf, 2009.
Cruz-Filipe, L., I. Lanese, F. Martins, A. Ravara, and V. T. Vasconcelos, Bisimulations in SSCC. DI, : FCUL TR 07–37, Department of Informatics, Faculty of Sciences, University of Lisbon, 2007.
Cruz-Filipe, L., I. Lanese, F. Martins, A. Ravara, and V. T. Vasconcelos, Bisimulations in SSCC, : Technical Report 37/2007, Department of Informatics, Faculty of Sciences, University of Lisbon, 2007. To appear, 2007.
Cosquer, F. J. N., P. Antunes, N. Guimarães, and P. Verissimo, Adaptive Synchronous Cooperation over Large Scale Networks, : Technical Report RT-95, INESC, Rua Alves Redol 9, 1995.
Vasconcelos, V. T., and P. Haller, 10th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Uppsala, Sweden, on April 29th 2017 Preface, : OPEN PUBL ASSOC OPEN PUBL ASSOC, SYDNEY, 00000, AUSTRALIA, 2017.
Journal Article
Coelho, J., F. Rito, and C. Duarte, "“You, me & TV”—Fighting social isolation of older adults with Facebook, TV and multimodality", International Journal of Human-Computer Studies, vol. 98: Elsevier, pp. 38–50, 2017.
Carriço, L., R. Lopes, M. Rodrigues, and A. Dias, "XML na Modelação de Sistemas Hipermédia", XATA: XML Aplicações e Tecnologias Asociadas, 2003.
Cardoso, N., L. Andrade, A. Simões, and M. J. Silva, "The XLDB Group participation at CLEF 2005 ad hoc task", Cross Language Evaluation Forum: Working Notes for the CLEF 2005 Workshop, Wien, Austria, 2005.
Ramalho, J. Carlos, J. Correia Lopes, A. Simões, and , XATA 2006: XML: aplicações e tecnologias associadas, , 2006.
Rodrigues, L., and P. Verissimo, xAMp: A protocol suite for group communication, : Citeseer, 1992.
Langlois, T., "XAI: une méthode incrémentale pour l'approximation de la fonction de valeur", Revue d'intelligence artificielle, vol. 21, no. 1: Lavoisier, pp. 35–52, 2007.
Rodrigues, M. J., M. Falé, A. Lamurias, and F. M. Couto, "WS4A: a biomedical question and answering system based on public web services and ontologies", arXiv preprint arXiv:1609.08492, 2016.
Canato, S., AS. Carvalho, HM. Botelho, K. Aloria, R. Matthiesen, MD. Amaral, A. Falcao, and CM. Farinha, "WS09. 2 Modulation of protein traffic networks to rescue F508del-CFTR from the endoplasmic reticulum", Journal of Cystic Fibrosis, vol. 16: Elsevier, pp. S16, 2017.
Cardoso, N., B. Martins, D. Gomes, and M. J. Silva, WPT 03: a primeira colecção pública proveniente de uma recolha da web portuguesa, : Avaliação Conjunta: um novo paradigma no processamento computacional da l{íngua portuguesa, 2007.
Correia, M., N. Ferreira Neves, C. L Lung, and P. Verissimo, "Worm-IT–a wormhole-based intrusion-tolerant group communication system", Journal of Systems and Software, vol. 80, no. 2: Elsevier, pp. 178–197, 2007.
Correia, M., N. Ferreira Neves, C. L Lung, and P. Verissimo, "A Wormhole-based Intrusion-Tolerant Group Communication System–WIT-GCS", The 5th Cabernet Plenary Workshop, 2003.
Neves, N. Ferreira, M. Correia, and P. Verissimo, Wormhole-aware Byzantine protocols, , 2004.
Pereira, J., R. Oliveira, and L. Rodrigues, "Workshop on Reliability in Decentralized Distributed Systems (RDDS)-Distributed Algorithms-Efficient Epidemic Multicast in Heterogeneous Networks", Lecture Notes in Computer Science, vol. 4278: Berlin: Springer-Verlag, 1973-, pp. 1520–1529, 2006.
Marques, D. H., L. Carriço, T. Guerreiro, A. De Luca, P. Maes, I. Muslukhov, I. Oakley, and E. von Zezschwitz, Workshop on lnconspicuous Interaction, , 2014.
Guimarães, N., and A. Paula Pereira, "Workflow Modeling, Automation and Augmentation,", Proc. NSF Workshop on Workflow and Process Automation in Information Systems: State of the art and future directions, Athens, Georgia, USA, 1996.
Guimarães, N., and A. Paula Pereira, "Workflow Modeling, Automation and Augmentation,"", Proc. NSF Workshop on Workflow and Process Automation in Information Systems: State of the art and future directions, Athens, Georgia, USA, 1996.
Correia, M., N. Ferreira Neves, C. L Lung, and P. Verissimo, "WIT-GCS–a wormhole-based intrusion-tolerant group communication system", Submitted for publication, 2003.
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.
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.
Gomes, D., A. L. Santos, and M. J. Silva, Webstore: A manager for incremental storage of contents, : Department of Informatics, University of Lisbon, 2004.
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.
Correia, N., J. Martins, I. Oliveira, and N. Guimarães, "WeatherDigest: an experiment on media conversion", Proceedings of SPIE, vol. 95, 1996.
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.
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.
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.
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.
Gomes, D., and M. J. Silva, The Viuva Negra crawler, : Department of Informatics, University of Lisbon, 2006.
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.
Alarcón, G. Zurita, P. Antunes, N. Baloian, F. Baytelman, A. Farias, and , Visually-Driven Decision Making Using Handheld Devices, , 2008.
Tataryan, N. Baloian, F. Bruno Bayt Pilowsky, P. Antunes, A. Farias, and G. Zurita Alarcón, Visually-Driven Decision Making Using Handheld Devices, , 2008.
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.
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.
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.
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.
Ivanova, V., P. Lambrix, S. Lohmann, and C. Pesquita, "Visualization and interaction for ontologies and linked data", Journal of Web Semantics, 2018.
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.
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.
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.
Andrade, J., and A. Paula Afonso, Visualização de conteúdos geográficos em dispositivos móveis, , 2009.
Rocha, T., and T. Chambel, "VideoSpace: a 3D video experience", Proceedings of Artech, 2008.
Chambel, T., Video in Multimedia Spaces, , 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.
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.
Gomes, D., J. P. Campos, and M. J. Silva, "Versus: a web repository", WDAS-Workshop on Distributed Data and Structures 2002, 2002.
Campos, J. P., and M. J. Silva, "Versus: A temporal Web repository", Universidade de Lisboa, 2001.
Campos, J. P., and M. J. Silva, "Versus: A model for a Web repository", CRC'01-4a Conferência de Redes de Computadores, 2001.
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.
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.
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.
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.
Couto, F., M. J. Silva, and P. M. Coutinho, Validation of Automated Protein Annotation, : Department of Informatics, University of Lisbon, 2005.
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.
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.

Pages