"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.
"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.
"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.
"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.
"On Cryptographic Attacks Using Backdoors for SAT", arXiv preprint arXiv:1803.04646, 2018.
"Cybersecurity education: Evolution of the discipline and analysis of master programs", Computers & Security, vol. 75: Elsevier, pp. 24–35, 2018.
"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.
"Cardinality encodings for graph optimization problems", International Joint Conference on Artificial Intelligence (IJCAI), 2017.
Characterization of carcass composition and meat quality traits of Alentejano pigs finished under free-range conditions-Preliminary results, : CICYTEX, 2017.
"Characterizing Social Insider Attacks on Facebook", Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems: ACM, pp. 3810–3820, 2017.
"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.
"Classical generalized probabilistic satisfiability", Proceedings of the 26th International Joint Conference on Artificial Intelligence: AAAI Press, pp. 908–914, 2017.
"Cloud-Assisted Read Alignment and Privacy", 11th International Conference on Practical Applications of Computational Biology & Bioinformatics, vol. 616: Springer, pp. 220, 2017.
"On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study", 2017 13th European Dependable Computing Conference (EDCC): IEEE, pp. 121–128, 2017.
"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.
"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.
"A Comparison of Energy Consumption Prediction Models Based on Neural Networks of a Bioclimatic Building", Energies, vol. 9, pp. 57, 2016.
"Consistent and fault-tolerant SDN with unmodified switches", arXiv preprint arXiv:1602.04211, 2016.
"Context-free session types", Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming: ACM, pp. 462–475, 2016.
"Controlled Flexibility in Healthcare Processes: A BPMN-Extension Approach", Encyclopedia of E-Health and Telemedicine: IGI Global, pp. 521–535, 2016.
"Controlling the granularity of automatic parallel programs", Journal of Computational Science, vol. 17: Elsevier, pp. 620–629, 2016.
"A convex hull-based data selection method for data driven models", Applied Soft Computing, vol. 47, pp. 515 - 533, 2016.
"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.
"Cartographic visualization of human trajectory data: overview and analysis", Journal of Location Based Services, vol. 9, pp. 138–166, 2015.
"Castanea root transcriptome in response to Phytophthora cinnamomi challenge", Tree Genetics & Genomes, vol. 11, no. 1: Springer Berlin Heidelberg, pp. 1–19, 2015.
"CF4BPMN: A BPMN Extension for Controlled Flexibility in Business Processes", Procedia Computer Science, vol. 64, pp. 1232–1239, 2015.
"The CHEMDNER corpus of chemicals and drugs and its annotation principles", J Cheminform, vol. 7, no. Suppl 1, pp. S2, 2015.
"The CHEMDNER corpus of chemicals and drugs and its annotation principles", Journal of Cheminformatics, vol. 7, pp. S2, 1-20, 2015.
"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.
"Combining and assessing 2D maps and space-time cubes for trajectory data", Proceedings of the 2015 British HCI Conference: ACM, 2015.
"Casual games with a pervasive twist", Entertainment Computing, vol. 5, no. 2: Elsevier, pp. 115–125, 2014.
"Chemical Named Entity Recognition: Improving Recall Using a Comprehensive List of Lexical", Bioinformatics (Pacbb 2014), vol. 294: Springer, pp. 253, 2014.
"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.
"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.
"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.
"A comparison of methods for sketch-based 3D shape retrieval", Computer Vision and Image Understanding, vol. 119: Academic Press, pp. 57–80, 2014.
"A concurrent programming language with refined session types", Software Engineering and Formal Methods: Springer International Publishing, pp. 15–28, 2014.
Consistency Anchor Formalization and Correctness Proofs, : Technical Report DI-FCUL-2014-02, ULisboa, 2014.
"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.
"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.
"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.
"Chemical compound and drug name recognition using CRFs and semantic similarity based on ChEBI", BioCreative Challenge Evaluation Workshop, vol. 2, pp. 75, 2013.
"CIDS country rankings: comparing documents and citations of USA, UK and China top researchers", arXiv preprint arXiv:1310.5597, 2013.
"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.
"Concurrent typed intermediate language", Proceedings of the 28th Annual ACM Symposium on Applied Computing: ACM, pp. 1587–1588, 2013.
"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.
"Coordinating phased activities while maintaining progress", Coordination Models and Languages: Springer Berlin Heidelberg, pp. 31–44, 2013.
"C2FS: um Sistema de Ficheiros Seguro e Fiável para Cloud-of-clouds", INForum12, September, 2012.
"Can you feel it?: sharing heart beats with Augmento", Proceedings of the 3rd Augmented Human International Conference: ACM, pp. 4, 2012.
"Characterizing Inaccessibility in IEEE 802.15. 4 Through Theoretical Models and Simulation Tools", D3. 1–First Report on Supporting Technologies (Annex), pp. 63, 2012.
"Chemical entity recognition and resolution to ChEBI", International Scholarly Research Notices, vol. 2012: Hindawi Publishing Corporation, 2012.
"Children Psychotherapy with Mobile Devices", Human-Computer Interaction: The Agency Perspective: Springer Berlin Heidelberg, pp. 85–109, 2012.
"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.
"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.
"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.
"Consistency of service composition", Fundamental Approaches to Software Engineering: Springer Berlin Heidelberg, pp. 63–77, 2012.
"Content routing algorithms to support Publish/Subscribe in Mobile Ad Hoc Networks.", LCN Workshops, pp. 1053–1060, 2012.
"Context aware point of interest adaptive recommendation", Proceedings of the 2nd Workshop on Context-awareness in Retrieval and Recommendation: ACM, pp. 30–33, 2012.
"Critical utility infrastructural resilience", arXiv preprint arXiv:1211.5736, 2012.
"Chameleon–A Context Adaptive Visualization Framework for a Mobile Environment", Information Visualisation (IV), 2011 15th International Conference on: IEEE, pp. 151–157, 2011.
"Channels as objects in concurrent object-oriented programming", arXiv preprint arXiv:1110.4157, 2011.
"CHAPTER SIX TCLOUDS: PRIVACY AND RESILIENCE FOR INTERNET-SCALE CRITICAL INFRASTRUCTURES", European Research Activities in Cloud Computing: Cambridge Scholars Publishing, pp. 151, 2011.
"Characterizing Search Behavior in Web Archives.", TWAW, pp. 33–40, 2011.
"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.
"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.
"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.
"Core calculi for service-oriented computing", Rigorous software engineering for service-oriented systems: Springer Berlin Heidelberg, pp. 153–188, 2011.
"Coupling interaction and physiological metrics for interaction adaptation", Human-Computer Interaction–INTERACT 2011: Springer Berlin Heidelberg, pp. 499–502, 2011.
"Crosschecking the mobile web for people with visual impairments", Proceedings of the International Cross-Disciplinary Conference on Web Accessibility: ACM, pp. 12, 2011.
"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.
"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.
"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.
Coordenação de Colheita de Órgãos e Tecidos, : Gabinete Coordenador de Colheita e Transplantação do Centro Hospitalar de Lisboa Central, EPE, 2010.
"Crossmedia personalized learning contexts", Proceedings of the 21st ACM conference on Hypertext and hypermedia: ACM, pp. 305–306, 2010.
"Carbohydrate-Active Enzymes Database: Principles and Classification of Glycosyltransferases", Bioinformatics for Glycobiology and Glycomics: An Introduction: John Wiley & Sons, Ltd, pp. 89–118, 2009.
"CESSM: collaborative evaluation of semantic similarity measures", JB2009: Challenges in Bioinformatics, 2009.
"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.
"Cheap intrusion-tolerant protection for crutial things", Technical Report DI-FCUL TR-2009-14, 2009.
"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.
Collaborative Evaluation of GO-based Similarity Measures, : 12th Annual Bio-Ontologies Meeting at ISMB/ECCB 2009, 2009.
"Collaborative Technology and Environments J. UCS Special Issue", Journal of Universal Computer Science, vol. 15, no. 16, pp. 3079–3080, 2009.
"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.
"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.
"Comparing gestures and traditional interaction modalities on large displays", Human-Computer Interaction–INTERACT 2009: Springer, pp. 58–61, 2009.
"Compiling the< i> $π$-calculus into a Multithreaded Typed Assembly Language", Electronic Notes in Theoretical Computer Science, vol. 241: Elsevier, pp. 57–84, 2009.
"Compiling the $π$-calculus into a Multithreaded Typed Assembly Language", Electronic Notes in Theoretical Computer Science, vol. 241: Elsevier, pp. 57–84, 2009.
"Contextos e Visualização Adaptativa em Ambientes Móveis", Relatório té, 1º INForum-Simpósio de Informática, 2009.
"Coordination Models and Languages", Lecture Notes in Computer Science, vol. 5521, 2009.
Coordination Models and Languages: 11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings, , vol. 5521: Springer Science & Business Media, 2009.
"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.
Critérios de ALT no Segundo HAREM, , 2009.
"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.
"Comparing Usage Performance on Mobile Applications", Groupware: Design, Implementation, and Use: Springer Berlin Heidelberg, pp. 233–247, 2008.
Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification, : Journal of Logic and Computation, 2008.
"Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification", Journal of Logic and Computation, vol. 18, no. 6: Oxford Univ Press, pp. 885–911, 2008.
"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.