Publications

Export 2364 results:
Journal Article
Mestre, G., A. Ruano, H. Duarte, S. Silva, H. Khosravani, S. Pesteh, P. M. Ferreira, and R. Horta, "An Intelligent Weather Station", Sensors, vol. 15, pp. 31005–31022, 2015.
Chambel, T., J. N Nunes, T. Romão, and C. J Campos, Interacção 2006-Actas da 2ª. Conferência Nacional em Interacção Pessoa-Máquina, , 2006.
Reis, T., L. Carriço, and C. Duarte, "Interaction design: The mobile percussionist", Haptic and Audio Interaction Design: Springer, pp. 109–118, 2009.
Chambel, T., Interactive Videos in Mathematics, : International Workshop on Electronic Media in Mathematics, 2001.
Almeida, C., and J. Rufino, "Interconnected embedded systems: Challenges and main problems to solve", In Proceedings of the 6th IEEE International Workshop on Factory Communication Systems (Work in Progress Sessions), Torino, Italy, 2006.
Mendes, P., E. Monteiro, and N. Guimarães, "Interface de Controlo de Qualidade de Serviço Para Aplicações de Trabalho Cooperativo", 1a. Conferência sobre Redes de Computadores-tecnologia e aplicações, Coimbra, Portugal, 1998.
Fiadeiro, J. Luiz, and A. Lopes, "An interface theory for service-oriented design", Theor. Comput. Sci., vol. 503, pp. 1–30, 2013.
Oliveira, I., L. Carriço, N. Guimarães, T. Chambel, and C. Teixeira, Interfaces Computador-Cérebro: Extracção e Processamento de Caracter{ísticas de Electroencefalogramas, : Department of Informatics, University of Lisbon, 2008.
Domingos, D., F. Martins, C. Cândido, and R. Martinho, "Internet of Things Aware WS-BPEL Business Processes Context Variables and Expected Exceptions", Journal of Universal Computer Science, vol. 20, no. 8, pp. 1109–1129, 2014.
Correia, M., Intrusion tolerance based on architectural hybridization, : Department of Informatics, University of Lisbon, 2003.
Verissimo, P., M. Correia, N. Ferreira Neves, and P. Sousa, "Intrusion-resilient middleware design and validation", Information Assurance, Security and Privacy Services, vol. 4, pp. 615–678, 2009.
Verissimo, P., N. Ferreira Neves, and M. Correia, "Intrusion-tolerant architectures: Concepts and design", Architecting Dependable Systems: Springer-Verlag LNCS 2677, pp. 3–36, 2003.
Verissimo, P., N. Ferreira Neves, C. Cachin, JA. Poritz, D. Powell, Y. Deswarte, R. J. Stroud, and IS. Welch, Intrusion-Tolerant Middleware: The MAFTIA Approach, : Department of Informatics, University of Lisbon, 2004.
Verissimo, P., N. Ferreira Neves, C. Cachin, J. Poritz, D. Powell, Y. Deswarte, R. Stroud, and I. Welch, "Intrusion-tolerant middleware: The road to automatic security", Security & Privacy, IEEE, vol. 4, no. 4: IEEE, pp. 54–62, 2006.
Bessani, A. Neves, P. Sousa, M. Correia, N. Ferreira Neves, and P. Verissimo, Intrusion-tolerant protection for critical infrastructures, : Department of Informatics, University of Lisbon, 2007.
Sousa, P., A. Neves Bessani, W. S. Dantas, F. Souto, M. Correia, and N. Ferreira Neves, Intrusion-Tolerant Self-Healing Devices fror Critical Infrastructure Protection, : 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009), 2009.
Nicolau, H., K. Montague, T. Guerreiro, A. Rodrigues, and V. L. Hanson, "Investigating Laboratory and Everyday Typing Performance of Blind Users", ACM Transactions on Accessible Computing (TACCESS), vol. 10, no. 1: ACM, pp. 4, 2017.
Rufino, J., and P. Verissimo, An Investigation on the Inaccessibility Characteristics of Standard Token-Based LANs, , 1992.
Coelho, J., P. Biswas, C. Duarte, T. Guerreiro, P. Langdon, P. Feiteira, D. Costa, D. Costa, B. Neves, and F. Alves, "Involving All Stakeholders in the Development of TV Applications for Elderly", International Journal On Advances in Intelligent Systems, vol. 5, no. 3 and 4, pp. 427–440, 2012.
Carlier, R., V. BATCHVAROV, ABC. IDIR, N. GAGEY, M. J. Silva, and D. Doyon, "IRM des neurinomes lombo-sacrés radiculaires et tronculaires: étude rétrospective de 15 cas", Rachis, vol. 4, no. 6: Edimédica, pp. 325–334, 1992.
Nunes, P., G. Ribeiro Morais, E. Palma, F. Silva, M. Cristina Oliveira, V. F. C. Ferreira, F. Mendes, L. Gano, H. Vicente Miranda, T. F. Outeiro, et al., "Isostructural Re (i)/99m Tc (i) tricarbonyl complexes for cancer theranostics", Organic & Biomolecular Chemistry: Royal Society of Chemistry, 2015.
Siegel, L. Rodrigues, and P. Verissimo, "IST-INESC* ERCIM-INESC IST-INESC", 1994 IEEE 13th Symposium on Reliable Distributed Systems: IEEE Computer Society, pp. 160, 1994.
Martins, B., and M. J. Silva, Is it Portuguese? Language detection in large document collections, : CRC'01-4ª Conferência de Redes de Computadores, 2001.
Prata, A., N. Guimarães, and P. Kommers, "iTV enhanced system for generating multi-device personalized online learning environments", 4th AH2004 Workshop on Personalization in Future TV, Eindhoven (The Netherlands), 2004.
Guimarães, N., P. Kommers, T. Chambel, and , iTV Model: An HCI Based Model for the Planning, Development and Evaluation of iTV Applications, : International Conference on Signal Processing and Multimedia Applications, 2006.
Bessani, A., N. F. Neves, P. Veríssimo, W. Dantas, A. Fonseca, R. Silva, P. Luz, and M. Correia, "JITeR: Just-in-time application-layer routing", Computer Networks, vol. 104: Elsevier, pp. 122–136, 2016.
Duarte, L., L. Carriço, M. de Sá, and D. Luís, JOINTS-Addressing Group Psychotherapy Requirements, : 9th International Conference on Enterprise Information Systems, 2007.
Almeida, N., and L. Rodrigues, José Mocito Universidade de Lisboa, , 2004.
Leite, F. Fernando V., N. Guimarães, and P. Antunes, Judicial Dialogue-Graphic Narrative Perspective (Computing Environments and ICT Law/Con. ict Res-olution in Virtual Locations), , 2013.
Kreutz, D., J. Yu, P. Esteves-Verissimo, C. Magalhaes, and FMV. Ramos, "The KISS Principle in Software-Defined Networking: A Framework for Secure Communications", IEEE Security & Privacy, vol. 16, pp. 60–70, 2018.
Kreutz, D., P. Esteves-Verissimo, C. Magalhaes, and F. Ramos, "The KISS principle in Software-Defined Networking: An architecture for Keeping It Simple and Secure", arXiv preprint arXiv:1702.04294, 2017.
Zahn, C., and T. Chambel, Knowledge Acquisition with Hypervideos-Issues of Cognitive Load, : Earli'2005, 11th Biennial Conference of the European Association for Research on Learning and Instruction, Theme: Integrating Multiple Perspectives of Effective Learning Environments-Symposium on Digital Video as a Cognitive Tool to Support Interactive Le, 2005.
Alchieri, E. Adilio Pel, A. Bessani, F. Greve, and J. da Silva Fraga, "Knowledge connectivity requirements for solving Byzantine consensus with unknown participants", IEEE Transactions on Dependable and Secure Computing, vol. 15, no. 2: IEEE, pp. 246–259, 2018.
Alchieri, E. Adilio Pel, A. Bessani, F. Greve, and J. da Silva Fraga, "Knowledge Connectivity Requirements for Solving Byzantine Consensus with Unknown Participants", IEEE Transactions on Dependable and Secure Computing: IEEE, 2016.
Barros, M., F. M. Couto, and , "Knowledge Representation and Management: a linked data perspective", IMIA Yearbook: Schattauer Publishers, pp. 178–183, 2016.
Casal, F., J. Rasga, and A. Souto, "Kolmogorov One-Way Functions Revisited", Cryptography, vol. 2, no. 2: Multidisciplinary Digital Publishing Institute, pp. 9, 2018.
Näveke, C., I. Franz J. Hauck, H. P. Reiser, and D-I. Jörg Domaschka, Konfliktvoraussage für lock-basierte Synchronisierung, , 2009.
Verissimo, P., J. Rufino, and L. Rodrigues, "LAN-BASED PROTOCOLS", Distributed Computer Control Systems 1991: Towards Distributed Real-Time Systems with Predictable Timing Properties: Elsevier, pp. 75, 2014.
Martins, B., and M. J. Silva, Language Identification in Web Pages Proceedings of ACM-SAC-DE, : 20th ACM Symposium on Applied Computing-Document Engineering Track, 2005.
Marques, G., and T. Langlois, A Language Modeling Approach for the Classification of Audio Music, , 2009.
Yoshida, N., and V. T. Vasconcelos, "Language primitives and type discipline for structured communication-based programming revisited: Two systems for higher-order session communication", Electronic Notes in Theoretical Computer Science, vol. 171, no. 4: Elsevier, pp. 73–93, 2007.
Fonseca, A., F. Cerveira, B. Cabral, and R. Barbosa, "Language-Based Expression of Reliability and Parallelism for Low-Power Computing", IEEE Transactions on Sustainable Computing, vol. 3, no. 3: IEEE, pp. 153–166, 2018.
Cosquer, F., P. Verissimo, and , "Large scale distribution support for cooperative applications", Proceedings of the European Reasearch Seminar on Advances in Distributed Systems (ERSADS): Citeseer, 1995.
Gonçalves, D., M. Costa, and F. M. Couto, "A Large-Scale Characterization of User Behaviour in Cable TV", arXiv preprint arXiv:1609.02453, 2016.
Grego, T., F. Pinto, and F. Couto, "LASIGE: using conditional random fields and chebi ontology", Proceedings of SemEval, pp. 660–666, 2013.
Sanderson, LA., JA. McLaughlin, and PM. Antunes, "The last great forest: a review of the status of invasive species in the North American boreal forest", Forestry: Oxford University Press, pp. cps033, 2012.
Chambel, T., and N. Guimarães, "Learning styles and multiple intelligences", Encyclopedia of Distance Learning, pp. 1237–1247, 2005.
Chambel, T., and N. Guimarães, Learning with Video in Hypermedia, : Department of Informatics, University of Lisbon, 2001.
Verissimo, P., Lessons learned with NavTech: a framework for reliable large-scale applications, : Department of Informatics, University of Lisbon, 2002.
Carvalho, P., L. Sarmento, J. Teixeira, and M. J. Silva, "Liars and saviors in a sentiment annotated corpus of comments to political debates", 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies, Portland, Oregon, USA, 2011.
Pinto, A., H. Miranda, and L. Rodrigues, "Light-weight groups: an implementation in ensemble", Fourth European Research Seminar on Advances in Distributed Systems (ERSADS'01), 2001.
Costa, M., P. Guedes, M. Sequeira, N. Ferreira Neves, and M. Castro, "Lightweight logging for lazy release consistent distributed shared memory", ACM SIGOPS Operating Systems Review, vol. 30, no. si, pp. 59–73, 1996.
Falcao, A. O., and JG. Borges, "[Linear programming and strategic forest resource management: its application to the Leiria National Woodlands]", Revista Florestal (Portugal), 1999.
Gay, S. J., and V. T. Vasconcelos, "Linear type theory for asynchronous session types", Journal of Functional Programming, vol. 20, no. 01: Cambridge University Press, pp. 19–50, 2010.
Giunti, M., and V. T. Vasconcelos, "Linearity, session types and the pi calculus", Mathematical Structures in Computer Science: Cambridge University Press, pp. 1–32, 2013.
Giunti, M., and V. Thudichum Vasconcelos, "Linearity, session types and the Pi calculus", Mathematical Structures in Computer Science, vol. 26, no. 2: Cambridge University Press, pp. 206–237, 2016.
Baltazar, P., D. Mostrous, and V. T. Vasconcelos, "Linearly refined session types", arXiv preprint arXiv:1211.4099, 2012.
Maia, B., A. Frankenber Garcia, M. J. Silva, P. Gomes, M. Cabral, A. Silva, S. Inácio, A. Sofia Pinto, L. Costa, P. Rocha, et al., Linguateca: seven years working for the computational processing of Portuguese, , 2006.
Francisco, J., M. J. Silva, and M. Chaves, Linkable Geographic Ontologies, , 2010.
Jain, P., F. Couto, M. J. Silva, and J. D. Becker, "Literature based functional annotation of genes", BKDB2005-Bioinformatics: Knowledge Discovery in Biology, 2005.
Coelho, J., and C. Duarte, "A literature survey on older adults' use of social network services and social applications", Computers in Human Behavior, vol. 58, pp. 187 - 205, 2016.
Giavarotti, K. A. Simon, L. Rodrigues, T. Rodrigues, V. B. C. Junqueira, and L. A. Videla, "Liver microsomal parameters related to oxidative stress and antioxidant systems in hyperthyroid rats subjected to acute lindane treatment", Free radical research, vol. 29, no. 1: Informa UK Ltd UK, pp. 35–42, 1998.
Fonseca, H., L. Rodrigues, J. Rufino, and P. Verissimo, "Local support environment: User specification", Relatório Técnico RT/50-90, INESC, Lisboa, Portugal, 1990.
Mendonca, M., and N. Ferreira Neves, "Localização de Vulnerabilidades de Segurança em Gestores de Dispositivos Wi-Fi com Técnicas de Fuzzing", Actas da 3ª Conferência Nacional Sobre Segurança Informática nas Organizações, Lisboa, Portugal, 2007.
Neves, N. Ferreira, "Locating file processing vulnerabilities", Fast abstract in Supplement of the Int. Conf. on Dependable Systems and Networks, 2006.
Pombinho, P., M. Beatriz Carmo, A. Paula Afonso, and H. Aguiar, "Location and Orientation Based Queries on Mobile Environments", International Journal of Computer Information Systems and Industrial Management Applications, vol. 3, pp. 788–795, 2011.
Mostéfaoui, A., M. Raynal, and P. Verı ssimo, "The logically instantaneous communication mode: a communication abstraction", Future Generation Computer Systems, vol. 17, no. 6: Elsevier, pp. 669–678, 2001.
Araujo, F., and L. Rodrigues, Long Range Contacts in Overlay Networks with Unbalanced Node Distribution, : Department of Informatics, University of Lisbon, 2004.
Bessani, A. Neves, R. Kapitza, D. Petcu, P. Romano, S. V. Gogouvitis, D. Kyriazis, and R. G. Cascella, "A look to the old-world\_sky: EU-funded dependability cloud computing research", ACM SIGOPS Operating Systems Review, vol. 46, no. 2: ACM, pp. 43–56, 2012.
Correia, M., N. Ferreira Neves, C. L Lung, and P. Verissimo, "Low complexity Byzantine-resilient consensus", Distributed Computing, vol. 17, no. 3: Springer-Verlag, pp. 237–249, 2005.
Lopes, R., and L. Carriço, "Macroscopic characterisations of Web accessibility", New Review of Hypermedia and Multimedia, vol. 16, no. 3: Taylor & Francis, pp. 221–243, 2010.
Adelsbach, A., C. Cachin, S. Creese, Y. Deswarte, K. Kursawe, J-C. Laprie, B. Pfitzmann, D. Powell, B. Randell, J. Riodan, et al., MAFTIA conceptual model and architecture, : Department of Informatics, University of Lisbon, 2001.
Powell, D., A. Adelsbach, C. Cachin, S. Creese, M. Dacier, Y. Deswarte, T. McCutcheon, N. Ferreira Neves, B. Pfitzmann, B. Randell, et al., MAFTIA (Malicious-and Accidental-Fault Tolerance for Internet Applications), : DSN 2001-International Conference on Dependable Systems and Networks, 2001.
Cachin, C., J. Camenisch, Y. Deswarte, J. Dobson, D. Horne, K. Kursawe, J-C. Laprie, J-C. Lebraud, D. Long, T. McCutcheon, et al., MAFTIA: Reference Model and Use Cases, : Department of Informatics, University of Lisbon, 2000.
Azevedo, NF., C. Almeida, N. Guimarães, CW. Keevil, and MJ. Vieira, Maintenance of spiral morphology and formation of biofilms on copper surfaces by water-exposed Helicobacter pylori, , 2006.
Bessani, A. Neves, V. Vielmo Cogo, M. Correia, P. Costa, M. Pasin, F. Silva, L. Arantes, O. Marin, P. Sens, and J. Sopena, "Making Hadoop MapReduce Byzantine Fault-Tolerant", DSN, Fast abstract, 2010.
Carriço, L., R. Lopes, M. Rodrigues, A. Dias, and P. Antunes, "Making XML from hypermedia models", Proceedings of WWW/INTERNET 2003, 2003.
Falcao, A. O., and J. Guilherme Borges, "MANAGEMENT PROBLEMS", Managing Forest Ecosystems, pp. 269, 2003.
Reis, T., L. Carriço, and M. de Sá, Manipulação de Artefactos Moveis Multimodais: Avaliação e Estudos Comportamentais em Contextos Reais, : Interacção'2008, 3ª Conferência Nacional em Interfaces Pessoa-Máquina, 2008.
Ignatiev, A., A. Morgado, J. Planes, and J. Marques-Silva, "Maximal falsifiability", AI Communications, vol. 29, no. 2: IOS Press, pp. 351–370, 2016.
Bonet, M. Luisa, S. Buss, A. Ignatiev, J. Marques-Silva, and A. Morgado, MaxSAT Resolution with the Dual Rail Encoding, , 2018.
Couto, F., M. J. Silva, and P. M. Coutinho, "Measuring semantic similarity between Gene Ontology terms", Data & knowledge engineering, vol. 61, no. 1: Elsevier, pp. 137–152, 2007.
Costa, C., and P. Antunes, "Meetings as genre systems: Some consequences for EMS design", Proceedings of Group Decision & Negotiation, pp. 261–263, 2001.
Quaresma, B., A. Neves Bessani, and P. Sousa, "Melhorando a Fiabilidade e Segurança do Armazenamento em Clouds", Actas do INFORUM, 2010.
Alchieri, E., A. Neves Bessani, J. da Silva Fraga, and F. Greve, "Memória compartilhada em sistemas bizantinos dinâmicos", Anais XIII Workshop de Teste e Tolerância a Falhas, 2012.
Pesquita, C., D. Faria, H. Bastos, A. Ferreira, A. O. Falcao, and F. Couto, "Metrics for GO based protein semantic similarity: a systematic evaluation", BMC bioinformatics, vol. 9, no. Suppl 5: BioMed Central Ltd, pp. S4, 2008.
Verissimo, P., N. Ferreira Neves, and M. Correia, The middleware architecture of MAFTIA: A blueprint, : Department of Informatics, University of Lisbon, 2000.
Neves, N. Ferreira, M. Correia, and , "The middleware architecture of MAFTIA: A blueprint", In Proceedings of the IEEE Third Information Survivability Workshop (ISW-2000, 2000.
Giunti, M., V. T. Vasconcelos, M. Loreti, and G. Luigi Ferrari, Middleware for Transactions and Abstract Services, , 2008.
Casimiro, A., M. Vieira, and H. Madeira, "Middleware Support for Time-Elastic Database Applications", Supplemental Volume of the 2007 International Conference on Dependable Systems and Networks: IEEE Computer Society Press, pp. 406–407, 2007.
Veronese, G. Santos, M. Correia, C. L Lung, and A. Neves Bessani, Minimal Byzantine fault tolerance, : Department of Informatics, University of Lisbon, 2008.
Veronese, G. Santos, M. Correia, A. Neves Bessani, C. L Lung, and P. Verissimo, Minimal Byzantine fault tolerance: Algorithm and evaluation, , 2009.
Marques-Silva, J., M. Janota, and C. Mencía, "Minimal sets on propositional formulae. Problems and reductions", Artificial Intelligence, vol. 252: Elsevier, pp. 22–50, 2017.
Rufino, J., and P. Verissimo, "Minimizing token-bus inaccessiblity through network planning and parameterizing", EFOC LAN: EFOC & N, pp. 253–258, 1992.
Couto, F., and M. J. Silva, "Mining BioLiterature: Toward Automatic", Advanced Data Mining Technologies in Bioinformatics: IGI Global, pp. 283, 2006.
Faria, D., A. Schlicker, C. Pesquita, H. Bastos, A. E. N. Ferreira, M. Albrecht, and A. O. Falcao, "Mining GO annotations for improving annotation consistency", PloS one, vol. 7, no. 7: Public Library of Science, pp. e40519, 2012.
Batista, P., and M. J. Silva, "Mining on-line newspaper web access logs", Proceedings of the AH'2002 Workshop on Recommendation and Personalization in eCommerce, pp. 100–108, 2002.
Silva, M. J., and F. Couto, Mining the BioLiterature: towards automatic annotation of genes and proteins, : Advanced Data Mining Technologies in Bioinformatics, Idea Group IncIdea Group Inc, 2006.
Batista, P., and M. J. Silva, "Mining web access logs of an on-line newspaper", the proceedings of 12th International Meeting of the Euro Working Group on Decision Support Systems, 2002.
Fonseca, A., and R. Barbosa, "MISO: An intermediate language to express parallel and dependable programs", arXiv preprint arXiv:1608.06171, 2016.

Pages