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 
B
Guimarães, N., "Building generic user interface tools: an experience with multiple inheritance", ACM SIGPLAN Notices, vol. 26, no. 11: ACM, pp. 89–96, 1991.
Pesquita, C., M. Cheatham, D. Faria, J. Barros, E. Santos, and F. Couto, "Building reference alignments for compound matching of multiple ontologies using OBO cross-products", Ontology Matching Workshop at ISWC 2014, 2014.
Lopes, R., and L. Carriço, "Building reusable XML pipelines with APP", XATA2006, XML: Aplicaçoes e Tecnologias Associadas, 2006.
Carriço, L., C. Duarte, R. Lopes, M. Rodrigues, and N. Guimarães, "Building Rich User Interfaces for Digital Talking Books", Computer-Aided Design of User Interfaces IV: Springer Netherlands, pp. 335–348, 2005.
Coelho, J., and C. Duarte, "Building Supportive Multimodal User Interfaces", Supportive User Interfaces: SUI 2011, pp. 8, 2011.
Craveiro, J., J. Rufino, C. Almeida, R. Covelo, and P. Venda, Bullet-Linux: a Real-Time Platform for Industrial Embedded Systems, , 2008.
Correia, M., G. Santos Veronese, N. Ferreira Neves, and P. Verissimo, "Byzantine consensus in asynchronous message-passing systems: a survey", International Journal of Critical Computer-Based Systems, vol. 2, no. 2: Inderscience Publishers, pp. 141–161, 2011.
Alchieri, E. A. P., A. Neves Bessani, J. da Silva Fraga, and F. Greve, "Byzantine consensus with unknown participants", Principles of Distributed Systems: Springer Berlin Heidelberg, pp. 22–40, 2008.
Coelho, P., T. Ceolin Junior, A. Bessani, F. Dotti, and F. Pedone, "Byzantine Fault-Tolerant Atomic Multicast", 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN): IEEE, pp. 39–50, 2018.
Moniz, H., N. Ferreira Neves, and M. Correia, "Byzantine fault-tolerant consensus in wireless ad hoc networks", Mobile Computing, IEEE Transactions on, vol. 12, no. 12: IEEE, pp. 2441–2454, 2013.
Costa, P., M. Pasin, A. Neves Bessani, and M. Correia, "Byzantine fault-tolerant MapReduce: Faults are not just crashes", Cloud Computing Technology and Science (CloudCom), 2011 IEEE Third International Conference on: IEEE, pp. 32–39, 2011.
Sousa, J., A. Bessani, and M. Vukolić, "A byzantine fault-tolerant ordering service for the hyperledger fabric blockchain platform", 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN): IEEE, pp. 51–58, 2018.
Sousa, J., A. Bessani, and M. Vukolić, "A Byzantine Fault-Tolerant Ordering Service for the Hyperledger Fabric Blockchain Platform", arXiv preprint arXiv:1709.06921, 2017.
Luiz, A. Fernando, C. L Lung, and M. Correia, "Byzantine fault-tolerant transaction processing for replicated databases", Network Computing and Applications (NCA), 2011 10th IEEE International Symposium on: IEEE, pp. 83–90, 2011.
Correia, M., A. Neves Bessani, and P. Verissimo, "On Byzantine generals with alternative plans", Journal of Parallel and Distributed Computing, vol. 68, no. 9: Academic Press, pp. 1291–1296, 2008.
Correia, M., N. Ferreira Neves, C. L Lung, and P. Verissimo, "Byzantine-resistant consensus based on a novel approach to intrusion tolerance", Proceedings of the 10th Pacific Rim International Symposium on Dependable Computing (PRDC'04), 2004.
C
Mendes, R., T. Oliveira, A. Neves Bessani, and M. Pasin, "C2FS: um Sistema de Ficheiros Seguro e Fiável para Cloud-of-clouds", INForum12, September, 2012.
Duarte, L., and L. Carriço, "The cake can be a lie: placebos as persuasive videogame elements", CHI'13 Extended Abstracts on Human Factors in Computing Systems: ACM, pp. 1113–1118, 2013.
Martins, F., A Calculus for Programming Wireless Sensor Networks, , 2007.
Rufino, J., P. Verissimo, and G. Arroz, CAN Bus Media Redundancy, : European Space Agency (ESA) ESTEC Spacecraft Control and Data Systems Division 1st. CAN in Space Workshop, Noordwijk, The Netherlands, 2002.
Lima, D., H. Miranda, and F. Taïani, "Can Graphs Solve the Geo-aware State Deployment Problem?", INFORUM 2017 - Atas do Nono Simpósio de Informática, Aveiro, Portugal, Universidade de Aveiro, 2017.
Duarte, L., T. Antunes, and L. Carriço, "Can you feel it?: sharing heart beats with Augmento", Proceedings of the 3rd Augmented Human International Conference: ACM, pp. 4, 2012.
Regateiro, F., M. J. Silva, and A. Paula Afonso, Canais de Informação baseados em XML, : EPCM'99-Encontro Português de Computação Móvel, 1999.
Morgado, J., and L. Rodrigues, Canais de Mensagens Persistentes para Sistemas Distribu{ídos Tolerantesa Faltas, : CRC'99-2ª Conferência de Redes e Computadores, 1999.
Pinto, R., J. Rufino, and C. Almeida, "CANELy Prototype Board Schematic Specification", FCUL/IST, Tech. Rep. DARIO RT-05-04, 2005.
Coutinho, P. M., C. Rancurel, M. Stam, T. Bernard, F. Couto, E. G. J. Danchin, and B. Henrissat, "Carbohydrate-Active Enzymes Database: Principles and Classification of Glycosyltransferases", Bioinformatics for Glycobiology and Glycomics: An Introduction: John Wiley & Sons, Ltd, pp. 89–118, 2009.
Ignatiev, A., A. Morgado, J. Marques-Silva, and ISDCT. S. B. RAS, "Cardinality encodings for graph optimization problems", International Joint Conference on Artificial Intelligence (IJCAI), 2017.
Gonçalves, T., A. Paula Afonso, and B. Martins, "Cartographic visualization of human trajectory data: overview and analysis", Journal of Location Based Services, vol. 9, pp. 138–166, 2015.
Silva, M. J., The case for a portuguese web search engine, : Department of Informatics, University of Lisbon, 2003.
Silva, M. J., and R. H. Katz, "The case for design using the World Wide Web", Proceedings of the 32nd annual ACM/IEEE Design Automation Conference: ACM, pp. 579–585, 1995.
J de Almeida, B., and N. Guimarães, A Case for Learning Sites with Video Bytes: The Hyperscapes Experience, : Online Educa'99, 1999.
Bidarra, J., and N. Guimarães, "A case for learning sites with video bytes: The hyperscapes experience", Proceedings of Online Educa, 1999.
Verissimo, P., and L. Rodrigues, "Case Study: Making VP'63 Dependable", Distributed Systems for System Architects: Springer US, pp. 271–274, 2001.
Verissimo, P., and L. Rodrigues, "Case Study: Making VP'63 Secure", Distributed Systems for System Architects: Springer US, pp. 511–516, 2001.
Verissimo, P., and L. Rodrigues, "Case Study: Making VP'63 Timely", Distributed Systems for System Architects: Springer US, pp. 369–373, 2001.
Verissimo, P., and L. Rodrigues, "Case Study: Managing VP'63", Distributed Systems for System Architects: Springer US, pp. 581–584, 2001.
Verissimo, P., and L. Rodrigues, "Case Study: VP'63-The Vintageport'63 Large-Scale Information System", Distributed Systems for System Architects: Springer US, pp. 159–168, 2001.
Serrazina, S., C. Santos, H. Machado, C. Pesquita, R. Vicentini, M. Salomé Pais, M. Sebastiana, and R. Costa, "Castanea root transcriptome in response to Phytophthora cinnamomi challenge", Tree Genetics & Genomes, vol. 11, no. 1: Springer Berlin Heidelberg, pp. 1–19, 2015.
Reis, S., and N. Correia, "Casual games with a pervasive twist", Entertainment Computing, vol. 5, no. 2: Elsevier, pp. 115–125, 2014.
Duarte, P., I. Nunes, JP. Neto, and T. Chambel, "CATS-Computer Assessable Task System", WebALT 2006 Proceedings: Citeseer, pp. 149, 2006.
Verissimo, P., "Causal delivery protocols in real-time systems: A generic model", Real-Time Systems, vol. 10, no. 1: Kluwer Academic Publishers, pp. 45–73, 1996.
Rodrigues, L., and P. Verissimo, "Causal separators and topological timestamping: an approach to support causal multicast in large-scale systems", Proceedings of the 15th International Conference on Distributed Systems: Citeseer, 1995.
Rodrigues, L., and P. Verissimo, "Causal separators for large-scale multicast communication", Distributed Computing Systems, 1995., Proceedings of the 15th International Conference on: IEEE, pp. 83–91, 1995.
Schwarz, R., "Causality in distributed systems", Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring: ACM, pp. 1–5, 1992.
Verissimo, P., L. Rodrigues, and A. Casimiro, "Cesiumspray: a precise and accurate global time service for large-scale systems", Real-Time Systems, vol. 12, no. 3: Kluwer Academic Publishers, pp. 243–294, 1997.
Pesquita, C., D. Pessoa, D. Faria, and F. Couto, "CESSM: collaborative evaluation of semantic similarity measures", JB2009: Challenges in Bioinformatics, 2009.
Martinho, R., D. Domingos, and J. Varajao, "CF4BPMN: A BPMN Extension for Controlled Flexibility in Business Processes", Procedia Computer Science, vol. 64, pp. 1232–1239, 2015.
Martins, B., M. J. Silva, and M. Chaves, "Challenges and resources for evaluating geographical IR", Proceedings of the 2005 workshop on Geographic information retrieval: ACM, pp. 65–69, 2005.
Nogueira, A., M. Garcia, A. Bessani, and N. Neves, "On the Challenges of Building a BFT SCADA", 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN): IEEE, pp. 163–170, 2018.
Pombinho, P., A. Paula Afonso, and M. Beatriz Carmo, "Chameleon–A Context Adaptive Visualization Framework for a Mobile Environment", Information Visualisation (IV), 2011 15th International Conference on: IEEE, pp. 151–157, 2011.
Verissimo, P., and W. Vogels, "The changing face of technology in distributed systems", Distributed Computing Systems, 1993., Proceedings of the Fourth Workshop on Future Trends of: IEEE, pp. 119–127, 1993.
Campos, J., and V. T. Vasconcelos, "Channels as objects in concurrent object-oriented programming", arXiv preprint arXiv:1110.4157, 2011.
Bessani, A. Neves, IMAD. M. ABBADI, SVEN. BUGIEL, EMANUELE. CESENA, MICHAEL. G. R. Ö. N. E. MINADENG, NINJA. MARNAU, STEFAN. NÜRNBERGER, M. Pasin, and N. Schirmer, "CHAPTER SIX TCLOUDS: PRIVACY AND RESILIENCE FOR INTERNET-SCALE CRITICAL INFRASTRUCTURES", European Research Activities in Cloud Computing: Cambridge Scholars Publishing, pp. 151, 2011.
Cachucho, L., A. Usié, A. Albuquerque, C. Leão, B. Meireles, P. Barbosa, D. Gaspar, JM. Martins, R. Charneca, M. Ramos, et al., Characterization of carcass composition and meat quality traits of Alentejano pigs finished under free-range conditions-Preliminary results, : CICYTEX, 2017.
Souza, J. L. R., and J. Rufino, "Characterization of inaccessibility in wireless networks: a case study on IEEE 802.15. 4 standard", Analysis, Architectures and Modelling of Embedded Systems: Springer, pp. 290–301, 2009.
Rufino, J., and J. L. R. Souza, Characterization of Network Inaccessibility in IEEE 802.15. 4 Wireless Networks, , 2013.
Meireles, B., A. Usié, P. Barbosa, A. Margarida Fortes, A. Folgado, I. Chaves, I. Carrasquinho, R. Lourenço Costa, S. Gonçalves, R. Teresa Teixeira, et al., "Characterization of the cork formation and production transcriptome in Quercus cerris$\times$ suber hybrids", Physiology and molecular biology of plants, vol. 24, no. 4: Springer, pp. 535–549, 2018.
Gomes, D., and M. J. Silva, A characterization of the portuguese web, : 3rd ECDL Workshop on Web Archives, 2003.
Gomes, D., and M. J. Silva, "Characterizing a national community web", ACM Transactions on Internet Technology (TOIT), vol. 5, no. 3: ACM, pp. 508–531, 2005.
Souza, J. L. R., A. Guerreiro, and J. Rufino, "Characterizing Inaccessibility in IEEE 802.15. 4 Through Theoretical Models and Simulation Tools", D3. 1–First Report on Supporting Technologies (Annex), pp. 63, 2012.
Costa, M., and M. J. Silva, "Characterizing Search Behavior in Web Archives.", TWAW, pp. 33–40, 2011.
Usmani, W. Ahmed, D. Marques, I. Beschastnikh, K. Beznosov, T. Guerreiro, and L. Carriço, "Characterizing Social Insider Attacks on Facebook", Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems: ACM, pp. 3810–3820, 2017.
Bessani, A. Neves, P. Sousa, M. Correia, N. Ferreira Neves, and P. Verissimo, "Cheap intrusion-tolerant protection for crutial things", Technical Report DI-FCUL TR-2009-14, 2009.
Correia, M., A. Neves Bessani, N. Ferreira Neves, P. Verissimo, and P. Sousa, Cheap Intrusion-Tolerant Protection for CRUTIAL Things, , 2009.
Neves, N. Ferreira, M. Castro, and P. Guedes, "A checkpoint protocol for an entry consistent shared memory system", Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing: ACM, pp. 121–129, 1994.
Krallinger, M.., O.. Rabal, F.. Leitner, M.. Vazquez, D.. Salgado, Z.. Lu, R.. Leaman, Y.. Lu, D.. Ji, D.. Lowe, et al., "The CHEMDNER corpus of chemicals and drugs and its annotation principles", Journal of Cheminformatics, vol. 7, pp. S2, 1-20, 2015.
Krallinger, M., O. Rabal, F. Leitner, M. Vazquez, D. Salgado, Z. Lu, R. Leaman, Y. Lu, D. Ji, D. M. Lowe, et al., "The CHEMDNER corpus of chemicals and drugs and its annotation principles", J Cheminform, vol. 7, no. Suppl 1, pp. S2, 2015.
Grego, T., J. Ferreira, C. Pesquita, H. Bastos, D. Vila Viçosa, J. Freire, and F. Couto, Chemical and Metabolic Pathway Semantic Similarity, , 2010.
Lamurias, A., T. Grego, and F. Couto, "Chemical compound and drug name recognition using CRFs and semantic similarity based on ChEBI", BioCreative Challenge Evaluation Workshop, vol. 2, pp. 75, 2013.
Grego, T., C. Pesquita, H. Bastos, and F. Couto, "Chemical entity recognition and resolution to ChEBI", International Scholarly Research Notices, vol. 2012: Hindawi Publishing Corporation, 2012.
Lamurias, A., J. Ferreira, and F. Couto, "Chemical Named Entity Recognition: Improving Recall Using a Comprehensive List of Lexical", Bioinformatics (Pacbb 2014), vol. 294: Springer, pp. 253, 2014.
Lamurias, A., J. Ferreira, and F. Couto, "Chemical named entity recognition: Improving recall using a comprehensive list of lexical features", 8th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2014): Springer International Publishing, pp. 253–260, 2014.
de Sá, M., L. Carriço, J. Faria, and I. Sá, "Children Psychotherapy with Mobile Devices", Human-Computer Interaction: The Agency Perspective: Springer Berlin Heidelberg, pp. 85–109, 2012.
Capote, T., P. Barbosa, A. Usié, A. Marcos Ramos, V. Inácio, R. Ordás, S. Gonçalves, and L. Morais-Cecílio, "ChIP-Seq reveals that QsMYB1 directly targets genes involved in lignin and suberin biosynthesis pathways in cork oak (Quercus suber)", BMC plant biology, vol. 18, no. 1: BioMed Central, pp. 198, 2018.
Araujo, F., L. Rodrigues, J. Kaiser, C. Liu, and C. Mitidieri, "CHR: a distributed hash table for wireless ad hoc networks", Distributed Computing Systems Workshops, 2005. 25th IEEE International Conference on: IEEE, pp. 407–413, 2005.
Costa, P. A. R. S., F. Ramos, and M. Correia, "Chrysaor: Fine-Grained, Fault-Tolerant Cloud-of-Clouds MapReduce", Proceedings of the 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing: IEEE Press, pp. 421–430, 2017.
Couto, F., "CIDS country rankings: comparing documents and citations of USA, UK and China top researchers", arXiv preprint arXiv:1310.5597, 2013.
Caleiro, C., F. Casal, and A. Mordido, "Classical generalized probabilistic satisfiability", Proceedings of the 26th International Joint Conference on Artificial Intelligence: AAAI Press, pp. 908–914, 2017.
Maruta, C., T. Pereira, S. C. Madeira, A. de Mendonça, and M. Guerreiro, "Classification of primary progressive aphasia: Do unsupervised data mining methods support a logopenic variant?", Amyotrophic Lateral Sclerosis and Frontotemporal Degeneration, vol. 16, no. 3-4: Taylor & Francis, pp. 147–159, 2015.
Couto, F., B. Martins, and M. J. Silva, "Classifying biological articles using web resources", Proceedings of the 2004 ACM symposium on Applied computing: ACM, pp. 111–115, 2004.
Couto, F., B. Martins, M. J. Silva, and P. Coutinho, Classifying biomedical articles using web resources, : 19th ACM Symposium on Applied Computing (SAC), 2004.
Couto, F., B. Martins, M. J. Silva, and P. M. Coutinho, Classifying Biomedical Articles using Web Resources: application to KDD Cup 02, : Department of Informatics, University of Lisbon, 2003.
Fernandes, M., J. Decouchant, F. M. Couto, and P. Esteves-Verissimo, "Cloud-Assisted Read Alignment and Privacy", 11th International Conference on Practical Applications of Computational Biology & Bioinformatics, vol. 616: Springer, pp. 220, 2017.
Carvalho, P., L. Sarmento, M. J. Silva, and E. de Oliveira, "Clues for detecting irony in user-generated contents: oh...!! it's so easy;-)", Proceeding of the 1st international CIKM workshop on Topic-sentiment analysis for mass opinion: ACM, pp. 53–56, 2009.
Martins, J., R. Almeida, H. Miranda, and L. Rodrigues, Coerência num sistema transaccional de replicação de objectos em grande-escala, : Department of Informatics, University of Lisbon, 2001.
Reis, J., L. Travado, H. Lucas, L. Carriço, and M. de Sá, Cognitive-behavioral therapy with an oncological patient via handheld computing, : 8th world congress of psycho-oncology, 2006.
Reis, JC., HM. Lucas, LS. Travado, LM. Carrico, and M. de Sá, "Cognitive-behavioural therapy with a cancer patient via handheld computing", PSYCHO-ONCOLOGY, vol. 15, no. 2: WILEY-BLACKWELL COMMERCE PLACE, 350 MAIN ST, MALDEN 02148, MA USA, pp. S379–S380, 2006.
Linhares, G. B. R., M. R. S. Borges, and P. Antunes, "Collaboration and conflict in software review meetings", International Journal of Information Technology & Decision Making, vol. 11, no. 06: World Scientific Publishing Company, pp. 1065–1085, 2012.
Duarte, L., and L. Carriço, "The Collaboration Platform: a Cooperative Work Course Case-Study", Creating Connecting and Collaborating through Computing (C5), 2010 Eighth International Conference on: IEEE, pp. 19–25, 2010.
Duarte, L., L. Carriço, and M. de Sá, "Collaborative and comparative analysis of mobile artefact usage", Pervasive Computing and Applications, 2008. ICPCA 2008. Third International Conference on, vol. 1: IEEE, pp. 429–434, 2008.
Marques, AF., C. Rosset, J. Rasinmaki, H. Vacik, S. Gordon, S. Nobre, A. O. Falcao, D. Weber, M. Granitzer, and LO. Eriksson, "Collaborative development of a semantic wiki on forest management decision support", Scandinavian Journal of Forest Research, vol. 29, no. sup1: Taylor & Francis, pp. 30–43, 2014.
Pesquita, C., D. Pessoa, D. Faria, and F. Couto, Collaborative Evaluation of GO-based Similarity Measures, : 12th Annual Bio-Ontologies Meeting at ISMB/ECCB 2009, 2009.
Antunes, P., and , A Collaborative Framework for Unexpected Exception Handling, : Groupware: Design, Implementation, and Use, LNCS vol 3706, 2005.
Mourão, H., and P. Antunes, "A collaborative framework for unexpected exception handling", Groupware: Design, implementation, and use: Springer Berlin Heidelberg, pp. 168–183, 2005.
Antunes, P., and R. O. Briggs, "Collaborative Technology and Environments J. UCS Special Issue", Journal of Universal Computer Science, vol. 15, no. 16, pp. 3079–3080, 2009.
Gomes, D., and M. J. Silva, Collecting Statistics about the Portuguese Web, : Department of Informatics, University of Lisbon, 2003.
Martinho, J., and T. Chambel, "ColorsInMotion: interactive visualization and exploration of video spaces", Proceedings of the 13th International MindTrek Conference: Everyday Life in the Ubiquitous Era: ACM, pp. 190–197, 2009.
Rufino, J., P. Verissimo, and G. Arroz, "A Columbus' egg idea for CAN media redundancy", Fault-Tolerant Computing, 1999. Digest of Papers. Twenty-Ninth Annual International Symposium on: IEEE, pp. 286–293, 1999.
Gonçalves, T., A. Paula Afonso, and B. Martins, "Combining and assessing 2D maps and space-time cubes for trajectory data", Proceedings of the 2015 British HCI Conference: ACM, 2015.
Nunes, P., I. Medeiros, J. Fonseca, N. Neves, M. Correia, and M. Vieira, "On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study", 2017 13th European Dependable Computing Conference (EDCC): IEEE, pp. 121–128, 2017.

Pages