Publications

Export 197 results:
Filters: First Letter Of Title is C  [Clear All Filters]
2018
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.
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.
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.
Maurício, T., G. Homem, and H. Miranda, "Controlador de Redes em Código Aberto", INForum 2018 - Atas do Décimo Simpósio de Informática, Coimbra, Portugal, Departamento de Engenharia Informática - Universidade de Coimbra, 2018.
Semenov, A., O. Zaikin, I. Otpuschennikov, S. Kochemazov, and A. Ignatiev, "On Cryptographic Attacks Using Backdoors for SAT", arXiv preprint arXiv:1803.04646, 2018.
Cabaj, K., D. Domingos, Z. Kotulski, and A. Respicio, "Cybersecurity education: Evolution of the discipline and analysis of master programs", Computers & Security, vol. 75: Elsevier, pp. 24–35, 2018.
2017
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.
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.
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.
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.
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.
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.
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.
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.
Khosravani, H., A. Ruano, and P. Ferreira, "A Comparison of Four Data Selection Methods for Artificial Neural Networks and Support Vector Machines", IFAC-PapersOnLine, vol. 50, no. 1: Elsevier, pp. 11227–11232, 2017.
Usié, A., F. Simões, P. Barbosa, B. Meireles, I. Chaves, S. Gonçalves, A. Folgado, M. H. Almeida, J. Matos, and A. M. Ramos, "Comprehensive analysis of the cork oak (Quercus suber) transcriptome involved in the regulation of bud sprouting", Forests, vol. 8, no. 12: Multidisciplinary Digital Publishing Institute, pp. 486, 2017.
2016
Khosravani, H. R., M. Del Mar Castilla, M. Berenguel, A. E. Ruano, and P. M. Ferreira, "A Comparison of Energy Consumption Prediction Models Based on Neural Networks of a Bioclimatic Building", Energies, vol. 9, pp. 57, 2016.
Mantas, A., and F. Ramos, "Consistent and fault-tolerant SDN with unmodified switches", arXiv preprint arXiv:1602.04211, 2016.
Thiemann, P., and V. T. Vasconcelos, "Context-free session types", Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming: ACM, pp. 462–475, 2016.
Domingos, D., R. Martinho, and J. Varajao, "Controlled Flexibility in Healthcare Processes: A BPMN-Extension Approach", Encyclopedia of E-Health and Telemedicine: IGI Global, pp. 521–535, 2016.
Fonseca, A., and B. Cabral, "Controlling the granularity of automatic parallel programs", Journal of Computational Science, vol. 17: Elsevier, pp. 620–629, 2016.
Khosravani, H.R.., A.E.. Ruano, and P. M. Ferreira, "A convex hull-based data selection method for data driven models", Applied Soft Computing, vol. 47, pp. 515 - 533, 2016.
Sieberts, S. K., F. Zhu, J. García-García, E. Stahl, A. Pratap, G. Pandey, D. Pappas, D. Aguilar, B. Anton, J. Bonet, et al., "Crowdsourced assessment of common genetic contribution to predicting anti-TNF treatment response in rheumatoid arthritis", Nature communications, vol. 7: Nature Publishing Group, pp. 12460, 2016.
2015
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.
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.
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.
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.
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.
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.
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.
2014
Reis, S., and N. Correia, "Casual games with a pervasive twist", Entertainment Computing, vol. 5, no. 2: Elsevier, pp. 115–125, 2014.
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.
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.
Nunes, R., N. Stanchenko, and C. Duarte, "Combining multi-touch surfaces and tangible interaction towards a continuous interaction space", Proceedings of the 3rd Workshop on Interacting with Smart Objects, vol. 1114, 2014.
Li, B., Y. Lu, A. Godil, T. Schreck, B. Bustos, A. Ferreira, T. Furuya, M. J. Fonseca, H. Johan, T. Matsuda, et al., "A comparison of methods for sketch-based 3D shape retrieval", Computer Vision and Image Understanding, vol. 119: Academic Press, pp. 57–80, 2014.
Franco, J., and V. T. Vasconcelos, "A concurrent programming language with refined session types", Software Engineering and Formal Methods: Springer International Publishing, pp. 15–28, 2014.
Bessani, A. Neves, M. Correia, and N. Neves, Consistency Anchor Formalization and Correctness Proofs, : Technical Report DI-FCUL-2014-02, ULisboa, 2014.
Marques, E. R. B., F. Martins, and M. Simões, "Cooperari A tool for cooperative testing of multithreaded Java programs", Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools: ACM, pp. 200–206, 2014.
Marques, E. R. B., F. Martins, and M. Simões, "Cooperari: A Tool for Cooperative Testing of Multithreaded Java Programs", PPPJ'14: 2014 International Conference on Principles and Practices of Programming on the Java Platform: ACM, 2014.
2013
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.
Rufino, J., and J. L. R. Souza, Characterization of Network Inaccessibility in IEEE 802.15. 4 Wireless Networks, , 2013.
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.
Couto, F., "CIDS country rankings: comparing documents and citations of USA, UK and China top researchers", arXiv preprint arXiv:1310.5597, 2013.
Gonçalves, T., A. Paula Afonso, M. Beatriz Carmo, and P. Pombinho, "Comparison of off-screen visualization techniques with representation of relevance on mobile devices", Proceedings of the 27th International BCS Human Computer Interaction Conference: British Computer Society, pp. 9, 2013.
L Lourenço, M., J. Costa Seco, and F. Martins, "Concurrent typed intermediate language", Proceedings of the 28th Annual ACM Symposium on Applied Computing: ACM, pp. 1587–1588, 2013.
Chambel, T., T. Langlois, P. Martins, N. Gil, N. Silva, and E. Duarte, "Content-based search overviews and exploratory browsing of movies with MovieClouds", International Journal of Advanced Media and Communication, vol. 5, no. 1: Inderscience Publishers, pp. 58–79, 2013.
Cogumbreiro, T., F. Martins, and V. T. Vasconcelos, "Coordinating phased activities while maintaining progress", Coordination Models and Languages: Springer Berlin Heidelberg, pp. 31–44, 2013.
2012
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., 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.
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.
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.
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.
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.
Munir, K., M. Welzl, M. Pasin, and P. Primet Vicat-Blanc, "Combining explicit admission control and congestion control for predictable data transfers in grids", Future Generation Computer Systems, vol. 28, no. 7: North-Holland, pp. 1121–1132, 2012.
Lima, R., C. Baquero, and H. Miranda, "Comparação de Mecanismos de Cancelamento de Difusão", Atas do 4o Simpósio de Informática (INForum 2012): Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa, 2012.
Fiadeiro, J. Luiz, and A. Lopes, "Consistency of service composition", Fundamental Approaches to Software Engineering: Springer Berlin Heidelberg, pp. 63–77, 2012.
Schnitzer, S., H. Miranda, and B. Koldehofe, "Content routing algorithms to support Publish/Subscribe in Mobile Ad Hoc Networks.", LCN Workshops, pp. 1053–1060, 2012.
Pombinho, P., M. Beatriz Carmo, and A. Paula Afonso, "Context aware point of interest adaptive recommendation", Proceedings of the 2nd Workshop on Context-awareness in Retrieval and Recommendation: ACM, pp. 30–33, 2012.
Dondossola, G., G. Deconinck, F. Di Giandomenico, S. Donatelli, M. Kaaniche, and P. Verissimo, "Critical utility infrastructural resilience", arXiv preprint arXiv:1211.5736, 2012.
2011
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.
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.
Costa, M., and M. J. Silva, "Characterizing Search Behavior in Web Archives.", TWAW, pp. 33–40, 2011.
Cieszewski, C. J., P. Bettinger, and A. O. Falcao, "The Conclusion of Perspectives on New Developments of Decision Support Systems for Sustainable Forest Management", Mathematical and Computational Forestry & Natural-Resource Sciences (MCFNS), vol. 3, no. 2, pp. Pages–73, 2011.
Matos, J., and H. Miranda, "Contribution of broadcast algorithms to reactive ad hoc routing", Next Generation Mobile Applications, Services and Technologies (NGMAST), 2011 5th International Conference on: IEEE, pp. 105–110, 2011.
Coelho, J., and C. Duarte, "The contribution of multimodal adaptation techniques to the GUIDE interface", Universal Access in Human-Computer Interaction. Design for All and eInclusion: Springer, pp. 337–346, 2011.
Caires, L., R. De Nicola, R. Pugliese, V. T. Vasconcelos, and G. Zavattaro, "Core calculi for service-oriented computing", Rigorous software engineering for service-oriented systems: Springer Berlin Heidelberg, pp. 153–188, 2011.
Duarte, L., and L. Carriço, "Coupling interaction and physiological metrics for interaction adaptation", Human-Computer Interaction–INTERACT 2011: Springer Berlin Heidelberg, pp. 499–502, 2011.
Carriço, L., R. Lopes, and R. Bandeira, "Crosschecking the mobile web for people with visual impairments", Proceedings of the International Cross-Disciplinary Conference on Web Accessibility: ACM, pp. 12, 2011.
2010
Grego, T., J. Ferreira, C. Pesquita, H. Bastos, D. Vila Viçosa, J. Freire, and F. Couto, Chemical and Metabolic Pathway Semantic Similarity, , 2010.
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.
Mocito, J., L. Rodrigues, and H. Miranda, "Communication and coordination support in ad hoc networks for emergency management scenarios", Proceedings of the 6th International Wireless Communications and Mobile Computing Conference: ACM, pp. 499–503, 2010.
Martinho, R., D. Domingos, and J. Varajao, "Concept maps for the modelling of controlled flexibility in software processes", IEICE TRANSACTIONS on Information and Systems, vol. 93, no. 8: The Institute of Electronics, Information and Communication Engineers, pp. 2190–2197, 2010.
Silva, MJ., Coordenação de Colheita de Órgãos e Tecidos, : Gabinete Coordenador de Colheita e Transplantação do Centro Hospitalar de Lisboa Central, EPE, 2010.
Prata, A., N. Guimarães, and T. Chambel, "Crossmedia personalized learning contexts", Proceedings of the 21st ACM conference on Hypertext and hypermedia: ACM, pp. 305–306, 2010.
2009
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.
Pesquita, C., D. Pessoa, D. Faria, and F. Couto, "CESSM: collaborative evaluation of semantic similarity measures", JB2009: Challenges in Bioinformatics, 2009.
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.
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.
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.
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 R. O. Briggs, "Collaborative Technology and Environments J. UCS Special Issue", Journal of Universal Computer Science, vol. 15, no. 16, pp. 3079–3080, 2009.
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.
Kock, N., and P. Antunes, "A Comparative Analysis of E-Collaboration Research Funding in the European Union and the United States", Virtual Team Leadership and Collaborative Engineering Advancements: Contemporary Issues and Implications: Contemporary Issues and Implications: IGI Global, 2009.
Neto, A., and C. Duarte, "Comparing gestures and traditional interaction modalities on large displays", Human-Computer Interaction–INTERACT 2009: Springer, pp. 58–61, 2009.
Cogumbreiro, T., F. Martins, and V. T. Vasconcelos, "Compiling the< i> $π$-calculus into a Multithreaded Typed Assembly Language", Electronic Notes in Theoretical Computer Science, vol. 241: Elsevier, pp. 57–84, 2009.
Cogumbreiro, T., F. Martins, and V. T. Vasconcelos, "Compiling the $π$-calculus into a Multithreaded Typed Assembly Language", Electronic Notes in Theoretical Computer Science, vol. 241: Elsevier, pp. 57–84, 2009.
Domingos, D., J. Varajao, and R. Martinho, On a Concept Map for the Modelling of Controlled Flexibility in Software Processes, , 2009.
Pombinho, P., A. Paula Afonso, and M. Beatriz Carmo, "Contextos e Visualização Adaptativa em Ambientes Móveis", Relatório té, 1º INForum-Simpósio de Informática, 2009.
Field, J., and V. T. Vasconcelos, "Coordination Models and Languages", Lecture Notes in Computer Science, vol. 5521, 2009.
Field, J., and V. T. Vasconcelos, Coordination Models and Languages: 11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings, , vol. 5521: Springer Science & Business Media, 2009.
Ellis, C., H. Miranda, and F. Ta\"ıani, "Count on me: lightweight ad-hoc broadcasting in heterogeneous topologies", Proceedings of the International Workshop on Middleware for Pervasive Mobile and Embedded Computing: ACM, pp. 1, 2009.
Carvalho, P., C. Freitas, and D. Santos, Critérios de ALT no Segundo HAREM, , 2009.
2008
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.
Carriço, L., L. Duarte, A. Broega, and D. Reis, "Comparing Usage Performance on Mobile Applications", Groupware: Design, Implementation, and Use: Springer Berlin Heidelberg, pp. 233–247, 2008.
Sernadas, A., L. Cruz-Filipe, C. Sernadas, and J. Rasga, Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification, : Journal of Logic and Computation, 2008.
Cruz-Filipe, L., J. Rasga, A. Sernadas, and C. Sernadas, "Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification", Journal of Logic and Computation, vol. 18, no. 6: Oxford Univ Press, pp. 885–911, 2008.
Reis, J., L. Travado, L. Carriço, and M. de Sá, "Computer support for cognitive-behavioral group therapy with cancer patients", PSYCHO-ONCOLOGY, vol. 17: JOHN WILEY & SONS LTD THE ATRIUM, SOUTHERN GATE, CHICHESTER PO19 8SQ, W SUSSEX, ENGLAND, pp. S272–S272, 2008.

Pages