Publications

Export 2364 results:
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
E
Veronese, G. Santos, M. Correia, A. Neves Bessani, and C. L Lung, "EBAWA: Efficient Byzantine agreement for wide-area networks", High-Assurance Systems Engineering (HASE), 2010 IEEE 12th International Symposium on: IEEE, pp. 10–19, 2010.
Done, W. Have You, E-biobanking, , 2013.
Santos, JM., M. Esteves, MJ. Silva, E. Silva, MA. Barbosa, and AG. da Palma-Carlos, "Ebstein's anomaly of the tricuspid valve. Clinical tolerance up to 38 years of age and pregnancy.", Acta Médica Portuguesa, vol. 7, no. 11, pp. 627–30, 1994.
Lanese, I., A. Lluch-Lafuente, A. Sokolova, and H. Torres Vieira, "(edited by) Proceedings 7th Interaction and Concurrency Experience, ICE 2014 (Berlin, Germany, 6th June 2014)", Electronic Proceedings in Theoretical Computer Science, vol. 166: Open Publishing Association, 2014.
Cunha, J. Carlos, K. Castelo Branc, A. Casimiro, and U. Jose C. Nunes, "Editorial Introduction to the Special Issue on Safety and Security of Intelligent Vehicles [Guest Editorial]", IEEE Intelligent Transportation Systems Magazine, vol. 9, no. 1: IEEE, pp. 6–7, 2017.
Chambel, T., "Educational Applications of Hypervideo", World Conference on Educational Multimedia, Hypermedia and Telecommunications, vol. 2000, no. 1, pp. 1808–1808, 2000.
Oliveira, I., O. Grigori, and N. Guimarães, "EEG Signal Analysis for Silent Visual Reading Classification", International Journal of Circuits, Systems And Signal Processing, no. 1, pp. 119–126, 2009.
Rodrigues, A., H. Nicolau, K. Montague, L. Carriço, and T. Guerreiro, "Effect of Target Size on Non-visual Text-entry", Proceedings of the 18th International Conference on Human-Computer Interaction with Mobile Devices and Services, New York, NY, USA, ACM, 2016.
Bessani, A. Neves, R. R. Obelheiro, P. Sousa, and I. Gashi, On the effects of diversity on intrusion tolerance, : Department of Informatics, University of Lisbon, 2008.
Veronese, G. Santos, M. Correia, C. L Lung, and P. Verissimo, "On the effects of finite memory on intrusion-tolerant systems", Dependable Computing, 2007. PRDC 2007. 13th Pacific Rim International Symposium on: IEEE, pp. 401–404, 2007.
Veronese, G. Santos, V. Miguel, C. Lau, C. L Lung, and P. Verissimo, On the Effects of Finite Memory on Intrusion-Tolerant Systems*, , 2007.
Correia, M., J. Palma, and J. Pedro Andrade, "Effects of live prey availability on growth and survival in the early stages of cuttlefish Sepia officinalis (Linnaeus, 1758) life cycle", Aquaculture Research, vol. 39, no. 1: Blackwell Publishing Ltd, pp. 33–40, 2008.
Correia, M., J. Palma, T. Kirakowski, and J. P. Andrade, "Effects of prey nutritional quality on the growth and survival of juvenile cuttlefish, Sepia officinalis (Linnaeus, 1758)", Aquaculture Research, vol. 39, no. 8: Blackwell Publishing Ltd, pp. 869–876, 2008.
Palma, J., D. P. Bureau, M. Correia, and J. P. Andrade, "Effects of temperature, density and early weaning on the survival and growth of Atlantic ditch shrimp Palaemonetes varians larvae", Aquaculture Research, vol. 40, no. 13: Blackwell Publishing Ltd, pp. 1468–1473, 2009.
Bessani, A. Neves, M. Santos, J. Felix, N. Ferreira Neves, and M. Correia, "On the Efficiency of Durable State Machine Replication.", USENIX Annual Technical Conference, pp. 169–180, 2013.
Alchieri, E., A. Bessani, F. Greve, and J. Fraga, "Efficient and Modular Consensus-Free Reconfiguration for Fault-Tolerant Storage", arXiv preprint arXiv:1607.05344, 2016.
Veronese, G. Santos, M. Correia, A. Neves Bessani, C. L Lung, and P. Verissimo, "Efficient byzantine fault-tolerance", Computers, IEEE Transactions on, vol. 62, no. 1: IEEE, pp. 16–30, 2013.
Correia, M., C. L Lung, N. Ferreira Neves, and P. Verissimo, "Efficient Byzantine-resilient reliable multicast on a hybrid failure model", Reliable Distributed Systems, 2002. Proceedings. 21st IEEE Symposium on: IEEE, pp. 2–11, 2002.
Bessani, A. Neves, M. Correia, J. da Silva Fraga, and C. L Lung, "An efficient Byzantine-resilient tuple space", Computers, IEEE Transactions on, vol. 58, no. 8: IEEE, pp. 1080–1094, 2009.
Cruz-Filipe, L., J. Marques-Silva, and P. Schneider-Kamp, "Efficient certified resolution proof checking", International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Springer, pp. 118–135, 2017.
Kim, H., J. Crowcroft, and F. M. V. Ramos, "Efficient channel selection using hierarchical clustering", World of Wireless, Mobile and Multimedia Networks (WoWMoM), 2012 IEEE International Symposium on a: IEEE, pp. 1–9, 2012.
Videira, I., P. Verissimo, and H. Sarmento, "Efficient communication in a design environment", Proceedings of the 33rd annual Design Automation Conference: ACM, pp. 169–174, 1996.
Pereira, J., R. Oliveira, and L. Rodrigues, "Efficient epidemic multicast in heterogeneous networks", On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops: Springer Berlin Heidelberg, pp. 1520–1529, 2006.
Silva, J., X. Vilaça, H. Miranda, and L. Rodrigues, "Efficient Free-Rider Detection Using Symmetric Overlays", Proceedings of the 14th IEEE International Symposium on Network Computing and Applications (NCA'2015), Cambridge, MA, USA, IEEE, 2015.
Marques-Silva, J., A. Ignatiev, C. Mencía, and R. Peñaloza, "Efficient reasoning for inconsistent horn formulae", European Conference on Logics in Artificial Intelligence: Springer, pp. 336–352, 2016.
Distler, T., R. Kapitza, and H. P. Reiser, "Efficient state transfer for hypervisor-based proactive recovery", Proceedings of the 2nd workshop on Recent advances on intrusiton-tolerant systems: ACM, pp. 4, 2008.
Prata, A., T. Chambel, and N. Guimarães, e-iTV: Cross-Media Personalized Learning Environments via Interactive TV, : International Workshop on Personalization in iTV, 2007.
Nogueira, A., A. Casimiro, and A. Bessani, "Elastic State Machine Replication", IEEE Transactions on Parallel and Distributed Systems: IEEE, 2017.
Prata, A., and N. Guimarães, "E-learning Systems for Post-Graduation Degrees in Portugal", World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education, vol. 2003, no. 1, pp. 684–687, 2003.
Ferrnandes, J., J. P. Arrais, NF. Azevedo, E. Balsa-Canto, J. R. Banga, P. Barbosa, C. A. C. Bastos, C. Bernon, S. Bongard, L. Borrajo, et al., "ElGokhy, Sherin M. 31 Estévez, Carlos 9 Fdez-Riverola, Florentino 49, 269 Ferreira, João 253", Julio Sáez-Rodr{íguez Miguel P. Rocha Florentino Fdez-Riverola, pp. 293, 2014.
Ferrnandes, J., J. P. Arrais, N. F. Azevedo, E. Balsa-Canto, J. R. Banga, P. Barbosa, C. A. C. Bastos, C. Bernon, S. Bongard, L. Borrajo, et al., "ElGokhy, Sherin M. 31 Estévez, Carlos 9 Fdez-Riverola, Florentino 49, 269 Ferreira, João 253", 8th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2014), vol. 294: Springer, pp. 293, 2014.
Duarte, C., J. Coelho, P. Feiteira, D. Costa, and D. Costa, "Eliciting interaction requirements for adaptive multimodal TV based applications", Universal Access in Human-Computer Interaction. Design for All and eInclusion: Springer, pp. 42–50, 2011.
Craveiro, J., J. Rufino, C. Almeida, R. Covelo, and P. Venda, "Embedded Linux in a partitioned architecture for aerospace applications", Computer Systems and Applications, 2009. AICCSA 2009. IEEE/ACS International Conference on: IEEE, pp. 132–138, 2009.
Rufino, J., P. Verissimo, and G. Arroz, "Embedded platforms for distributed real-time computing: Challenges and results", Object-Oriented Real-Time Distributed Computing, 1999.(ISORC'99) Proceedings. 2nd IEEE International Symposium on: IEEE, pp. 147–152, 1999.
Sapateiro, C., and P. Antunes, "An emergency response model toward situational awareness improvement", International conference on information systems for crisis response and management, Göteborg, Sweden, 2009.
Carvalho, N., J. Pereira, R. Oliveira, and L. Rodrigues, "Emergent structure in unstructured epidemic multicast", Dependable Systems and Networks, 2007. DSN'07. 37th Annual IEEE/IFIP International Conference on: IEEE, pp. 481–490, 2007.
Oliveira, E., and T. Chambel, "Emotional access and interaction with videos", Proceedings of the 13th International MindTrek Conference: Everyday Life in the Ubiquitous Era: ACM, pp. 218–219, 2009.
Oliveira, E., and T. Chambel, "Emotional Video Album: getting emotions into the picture", Emotion in HCI–Designing for People, vol. 351: Citeseer, pp. 16, 2010.
Alarcao, S. M., and M. J. Fonseca, "Emotions Recognition Using EEG Signals: A Survey", IEEE Transactions on Affective Computing, vol. PP, no. 99, pp. 1-1, 2017.
Nunes, P., I. Medeiros, J. Fonseca, N. Neves, M. Correia, and M. Vieira, "An empirical study on combining diverse static analysis tools for web security vulnerabilities based on development scenarios", Computing: Springer, pp. 1–25, 2018.
Costa, C., P. Antunes, and J. Ferreira Dias, "EMS/PDA: Connecting Meetings with People in Organisations", Proceedings of the 24th Information Systems Research Seminar in Scandinavia, IRIS, vol. 24, 2001.
Alves, S., F. Brito, A. Cordeiro, L. Carriço, and T. Guerreiro, "Enabling Biographical Cognitive Stimulation for People with Dementia", Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: ACM, pp. LBW045, 2018.
Antunes, P., D. Simões, L. Carriço, and J. A. Pino, "An end-user approach to business process modeling", Journal of Network and Computer Applications, vol. 36, no. 6: Academic Press, pp. 1466–1479, 2013.
Rufino, J., C. Almeida, P. Verissimo, and G. Arroz, "Enforcing dependability and timeliness in Controller Area Networks", IEEE Industrial Electronics, IECON 2006-32nd Annual Conference on: IEEE, pp. 3755–3760, 2006.
Bartolomeu, P., J. Ferreira, and J. Fonseca, "Enforcing flexibility in real-time wireless communications: A bandjacking enabled protocol", Emerging Technologies & Factory Automation, 2009. ETFA 2009. IEEE Conference on: IEEE, pp. 1–4, 2009.
Verissimo, P., P. Verissimo, J. Rufino, and L. Rodrigues, Enforcing Real-Time behaviour on LAN-based protocols, : Citeseer, 1991.
Gouveia, I., and J. Rufino, "Enforcing Safety and Security Through Non-Intrusive Runtime Verification", the 1st Workshop on Security and Dependability of Critical Embedded Real-Time Systems, pp. 19, 2016.
Pereira, J., L. Rodrigues, and R. Oliveira, Enforcing Strong Consistency with Semantically View Synchronous Multicast, : Department of Informatics, University of Lisbon, 2001.
Casimiro, A., I. Gouveia, and J. Rufino, "Enforcing Timeliness and Safety in Mission-Critical Systems", Ada-Europe International Conference on Reliable Software Technologies: Springer, pp. 53–69, 2017.
Gomes, J. M. A., T. Chambel, and T. Langlois, "Engaging Users in Audio Labelling as a Movie Browsing Game with a Purpose", Advances in Computer Entertainment: Springer International Publishing, pp. 296–307, 2013.
guez, E. G. Rodrı, D. M. Va zquez, A. M. Herrera, and C. A. Duarte, "Enhanced cell-mediated IFN-$\gamma$-secreting activity against the HIV-1 I I I B V3 peptide of the TAB9 multiepitope after DNA vaccine backbone engineering", Biochemical and Biophysical Research Communications, vol. 4, no. 308, pp. 713–718, 2003.
Grego, T., and F. Couto, "Enhancement of chemical entity identification in text using semantic similarity validation", PloS one, vol. 8, no. 5: Public Library of Science, pp. e62984, 2013.
Cosquer, F. J. N., P. Antunes, and P. Verissimo, "Enhancing dependability of cooperative applications in partitionable environments", Dependable Computing-EDCC-2: Springer Berlin Heidelberg, pp. 333–352, 1996.
Bessani, A. Neves, A. Daidone, I. Gashi, R. Obelheiro, P. Sousa, and V. Stankovic, "Enhancing fault/intrusion tolerance through design and configuration diversity", Proceedings of the 3rd Workshop on Recent Advances on Intrusion-Tolerant Systems–WRAITS, vol. 9, 2009.
Stankovic, V., A. Neves Bessani, A. Daidone, I. Gashi, RR. Obelheiro, and P. Sousa, "Enhancing Fault/Intrusion tolerance through design and configuration diversity", Proc. of the 3rd Workshop on Recent Advances on Intrusion-Tolerant Systems (WRAITS 2009), 2009.
Bidarra, J., N. Guimarães, and T. Chambel, Enhancing Learner-Centered Design of Hypermedia Artefacts, : ED-MEDIA 2000, World Conference on Educational Multimedia, Hypermedia & Telecommunications, AACE Conferences, Association for the Advancement of Computing in Education, 2000.
Bidarra, J., T. Chambel, and N. Guimarães, "Enhancing learner-centred design of hypermedia artefacts through cognitive and affective indicators", World Conference on Educational Multimedia, Hypermedia and Telecommunications, vol. 2000, no. 1, pp. 124–129, 2000.
Duarte, P., I. Nunes, JP. Neto, and T. Chambel, "Enhancing modularity and feedback in computer aided assessment", Computing, 2006. CIC'06. 15th International Conference on: IEEE, pp. 240–246, 2006.
Alarcao, S. M., and M. J. Fonseca, "Enriching IAPS and GAPED Image Datasets with Unrestrained Emotional Data", Proceedings of the 24th International DMS Conference on Visualization and Visual Languages, 2018.
Machado, C. M., A. T. Freitas, and F. Couto, "Enrichment analysis applied to disease prognosis.", J. Biomedical Semantics, vol. 4, pp. 21, 2013.
Pereira, T., S. Cardoso, D. Silva, M. Guerreiro, A. de Mendonça, and S. C. Madeira, "Ensemble learning with Conformal Predictors: Targeting credible predictions of conversion from Mild Cognitive Impairment to Alzheimer's Disease", Workshop on Machine Learning for Medicine and Healthcare, 2018.
Oliveira, A., A. Casimiro, and G. Joao Vitor Jesus, Ensuring Reliable Measurements In Remote Aquatic Sensor Networks, , 2015.
Faria, D., A. E. N. Ferreira, and A. O. Falcao, "Enzyme classification with peptide programs: a comparative study", BMC bioinformatics, vol. 10, no. 1: BioMed Central Ltd, pp. 231, 2009.
Bastos, H., T. Grego, F. Couto, and P. M. Coutinho, Enzyme family coherence assessment: validation and prediction, : JB'2009-Challenges in Bioinformatics, 2009.
Leitao, J., J. Pereira, and L. Rodrigues, "Epidemic broadcast trees", Reliable Distributed Systems, 2007. SRDS 2007. 26th IEEE International Symposium on: IEEE, pp. 301–310, 2007.
Miranda, H., S. Leggio, L. Rodrigues, and K. Raatikainen, "Epidemic dissemination for probabilistic data storage", Emerging Communication: Studies on New Technologies and Practices in Communication, vol. 8, 2006.
Silva, F., M. J. Silva, and F. Couto, "Epidemic Marketplace: an e-Science Platform for Epidemic Modelling and Analysis", ERCIM News, 2010.
Lopes, L. F., F. Silva, F. Couto, J. Zamite, H. Ferreira, C. Sousa, and M. J. Silva, "Epidemic marketplace: an information management system for epidemiological data", Information Technology in Bio-and Medical Informatics, ITBAM 2010: Springer Berlin Heidelberg, pp. 31–44, 2010.
Couto, F., J. Ferreira, J. Zamite, C. Santos, T. Posse, P. Graça, D. Domingos, and M. J. Silva, "The Epidemic Marketplace Platform: towards semantic characterization of epidemiological resources using biomedical ontologies", International Conference on Biomedical Ontologies, 2012.
Couto, F., J. Ferreira, J. Zamite, C. Santos, T. Posse, P. Graça, D. Domingos, and M. J. Silva, "The Epidemic Marketplace Platform: towards semantic characterization of epidemiological resources using biomedical ontologies.", ICBO, 2012.
Pesquita, C., J. Ferreira, F. Couto, and M. J. Silva, "The epidemiology ontology: an ontology for the semantic annotation of epidemiological resources", Journal of biomedical semantics, vol. 5: BioMed Central, pp. 4, 2014.
Lopes, L. F., F. Silva, F. Couto, and M. J. Silva, Epiwork D3. 1: Meta-model Initial Specification, Catalogue of Relevant Data, Platform Requirements, , 2009.
Magaia, N. Pedro Maga, C. Borrego, P. Pereira, and M. Pupo Correia, "ePRIVO: an enhanced PRIvacy-preserVing opportunistic routing protocol for vehicular delay-tolerant networks", IEEE Transactions on Vehicular Technology: IEEE, 2018.
Mordido, A., and C. Caleiro, "An equation-based classical logic", International Workshop on Logic, Language, Information, and Computation: Springer, pp. 38–52, 2015.
Medeiros, I., N. Neves, and M. Correia, "Equipping WAP with weapons to detect vulnerabilities", Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2016.
Medeiros, I., N. Neves, and M. Correia, "Equipping WAP with WEAPONS to Detect Vulnerabilities: Practical Experience Report", Dependable Systems and Networks (DSN), 2016 46th Annual IEEE/IFIP International Conference on: IEEE, pp. 630–637, 2016.
Canato, S., J. Santos, A. Carvalho, M. Amaral, R. Matthiesen, A. Falcao, and C. Farinha, "ER quality control protein network in CF to modulate F508del-CFTR rescued", FEBS JOURNAL, vol. 283: WILEY-BLACKWELL 111 RIVER ST, HOBOKEN 07030-5774, NJ USA, pp. 138–138, 2016.
Martins, N. Dias, C. Santos, E. R. B. Marques, F. Martins, and V. T. Vasconcelos, "Especificação e Verificação de Protocolos para Programas MPI", INFORUM, 2013.
Barbosa, M. Prestes, JM. Moraes Neto, MF. Fernandes, and MJ. Silva, "Estudo da degradação das terras-munic{ípio de Picos–PI", SIMPÓSIO BRASILEIRO DE SENSORIAMENTO REMOTO, vol. 13, pp. 4357–4363, 2007.
Miranda, T. F. S., F. F. Martins, and D. Souto Rodrigues, Estudo do desempenho de TBM na escavação de maciços gran{íticos do norte de Portugal utilizando o sistema QTBM, : Comissão Portuguesa de Túneis e Obras Subterrâneas, 2010.
Pinto, R. Rocha, F. Simões, and P. Antunes, Estudo dos Requisitos para um Sistema de Votação Electrónica, : Department of Informatics, University of Lisbon, 2004.
Rocha, P. R., F. Simões, and P. Antunes, "Estudo dos Requisitos para um Sistema de Votação Electrónico", Departamento de Informática da Faculdade de Ciências de Lisboa, 2004.
E
Sapateiro, C., P. Antunes, G. Zurita, R. Vogt, and N. Baloian, "Evaluating a mobile emergency response system", Groupware: Design, Implementation, and Use: Springer Berlin Heidelberg, pp. 121–134, 2008.
Carriço, L., G. Zurita, M. de Sá, N. Baloian, J. Faria, and I. Sá, "Evaluating a prototype for geo-referenced collaborative psychotherapy with mobile devices", Collaboration and Technology: Springer Berlin Heidelberg, pp. 353–362, 2010.
Dantas, W. Saback, A. Neves Bessani, J. da Silva Fraga, and M. Correia, "Evaluating Byzantine quorum systems", Reliable Distributed Systems, 2007. SRDS 2007. 26th IEEE International Symposium on: IEEE, pp. 253–264, 2007.
Costa, C. J., and P. Antunes, "Evaluating EMS Value-The Case of a Small Accountancy Firm.", ICEIS, pp. 460–466, 2002.
Pesquita, C., D. Faria, H. Bastos, A. O. Falcao, and F. Couto, "Evaluating gobased semantic similarity measures", Proc. 10th Annual Bio-Ontologies Meeting, vol. 2007, pp. 37–40, 2007.
Pesquita, C., D. Faria, H. Bastos, A. O. Falcao, and F. Couto, "Evaluating go-based semantic similarity measures", Proc. 10th Annual Bio-Ontologies Meeting, vol. 37, no. 40, pp. 38, 2007.
Pesquita, C., D. Faria, H. Bastos, A. O. Falcao, and F. Couto, "Evaluating GO-based Semantic Similarity Measures. ISMB/ECCB 2007 SIG Meeting Program Materials", International Society for Computational Biology, 2007.
Ferreira, A., Evaluating groupware usability at the cognitive level of human action, : Universidade de Lisboa, 2010.
Costa, C., P. Antunes, and J. Ferreira Dias, "EVALUATING MSS: A CASE IN THE BUILDING CONSTRUCTION INDUSTRY", AMCIS 2002 Proceedings, pp. 168, 2002.
Ferreira, A., P. Antunes, and J. Pino, "Evaluating shared workspace performance using human information processing models", Information Research, vol. 14, no. 1, 2009.
Fernandes, N., D. Costa, C. Duarte, and L. Carriço, "Evaluating the Accessibility of Adaptive TV based Web applications", A Multimodal End-2-End Approach to Accessible Computing: Springer London, pp. 177–194, 2013.
Fernandes, N., D. Costa, S. Neves, C. Duarte, and L. Carriço, "Evaluating the accessibility of rich internet applications", Proceedings of the International Cross-Disciplinary Conference on Web Accessibility: ACM, pp. 13, 2012.
Fernandes, N., D. Costa, C. Duarte, and L. Carriço, "Evaluating the accessibility of web applications", Procedia Computer Science, vol. 14: Elsevier, pp. 28–35, 2012.
Martinho, R., D. Domingos, and A. Respicio, "Evaluating the reliability of ambient-assisted living business processes", Proceedings of the 18th International Conference on Enterprise Information Systems: SCITEPRESS-Science and Technology Publications, Lda, pp. 528–536, 2016.
Sapateiro, C., A. Ferreira, and P. Antunes, "Evaluating the use of mobile devices in critical incidents response: A microworld approach", WETICE: 20th IEEE international conference on Enabling technologies and infrastructure for collaborative enterprises: IEEE, pp. 327–333, 2011.
Duarte, C., L. Carriço, and N. Guimarães, "Evaluating usability improvements by combining visual and audio modalities in the interface", Human-Computer Interaction. Interaction Design and Usability: Springer Berlin Heidelberg, pp. 428–437, 2007.
Fernandes, N., R. Lopes, and L. Carriço, "Evaluating Web accessibility at different processing phases", New Review of Hypermedia and Multimedia, vol. 18, no. 3: Taylor & Francis Group, pp. 159–181, 2012.

Pages