"Adaptability support in time-and space-partitioned aerospace systems", ADAPTIVE 2010, The Second International Conference on Adaptive and Self-Adaptive Systems and Applications, pp. 152–157, 2010.
"Scheduling Analysis Principles and Tool for Time-and Space-Partitioned Systems", Simposio de informatica, pp. 582–585, 2012.
"Schedulability analysis in partitioned systems for aerospace avionics", Emerging Technologies and Factory Automation (ETFA), 2010 IEEE Conference on: IEEE, pp. 1–4, 2010.
"Towards self-adaptive scheduling in time-and space-partitioned systems", The 32nd IEEE Real-Time Systems Symposium WiP session, Vienna, Austria, 2011.
"hsSim: an extensible interoperable object-oriented n-level hierarchical scheduling simulator", 3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2012), Pisa, Italy, 2012.
"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.
"Architecture, mechanisms and scheduling analysis tool for multicore time-and space-partitioned systems", ACM SIGBED Review, vol. 8, no. 3: ACM, pp. 23–27, 2011.
"Heterogeneous multiprocessor compositional real-time scheduling", RTSOPS 2012, pp. 21, 2012.
Towards an early warning system: the effect of weather on mobile phone usage A case study in Abidjan, , 2013.
"Flexible operating system integration in partitioned aerospace systems", Actas do INForum-Simpósio de Informática, pp. 49–60, 2009.
"Runtime Verification for Generic Classes with ConGu 2", Formal Methods: Foundations and Applications: Springer Berlin Heidelberg, pp. 33–48, 2011.
"Recurring contact opportunities within groups of devices", EAI Endorsed Transactions on Ambient Systems, vol. 15, 2015.
"Interface to support caregivers in daily record and information visualization of patients with dementia", Proceedings of the 15th Brazilian Symposium on Human Factors in Computer Systems: ACM, pp. 13, 2016.
"Recurring contacts between groups of devices: analysis and application", IEEE Transactions on Mobile Computing, vol. 17, no. 7: IEEE, pp. 1666–1679, 2018.
"Recurring contact opportunities within groups of devices", Proceedings of the 12th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MOBIQUITOUS 2015): ACM, 2015.
"Avaliação de um Sistema de Reputação e Incentivo", Atas do 4o Simpósio de Informática (INForum 2012): Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa, 2012.
"MobIPLity: A trace-based mobility scenario generator for mobile applications", EAI Endorsed Transactions on Ubiquitous Environments, vol. 15, 2015.
"O Impacto dos Smartphones nos Modelos de Mobilidade Tradicionais", INForum 2014 - Atas do 6$^o$ Simpósio de Informática, Porto, Portugal, Universidade do Porto, 2014.
"MobIPLity: a trace-based mobility scenario generator for mobile applications", Proceedings of the 11th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services: ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering), pp. 228–237, 2014.
"Arquitectura para uma Computação em Nuvem Colaborativa entre Dispositivos Móveis", Atas do INFORUM 2011 - Terceiro Simpósio de Informática, Coimbra, Portugal, Dep. de Engenharia Informática da Universidade de Coimbra, 2011.
"A mobilidade dos utilizadores da eduroam ao longo dos anos", Atas do 5o Simpósio de Informática (INForum 2013), Évora, Portugal, Universidade de Évora, 2013.
"Using AgreementMaker to align ontologies for OAEI 2011", Proceedings of the Sixth International Workshop on Ontology Matching, pp. 114–121, 2011.
"The evolution of user mobility on the eduroam network", Pervasive Computing and Communications Workshops (PERCOM Workshops), 2014 IEEE International Conference on: IEEE, pp. 249–253, 2014.
"A Hybrid Trust and Trade Service for Mobile Collaborative Computing", Next Generation Mobile Apps, Services and Technologies (NGMAST), 2013 Seventh International Conference on: IEEE, pp. 1–6, 2013.
"Behavioural theory at work: program transformations in a service-centred calculus", Formal Methods for Open Object-Based Distributed Systems: Springer Berlin Heidelberg, pp. 59–77, 2008.
The Automotive Case Study in the Sensoria Core Calculi, : June, 2007.
"Efficient certified resolution proof checking", International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Springer, pp. 118–135, 2017.
Bisimulations in SSCC. DI, : FCUL TR 07–37, Department of Informatics, Faculty of Sciences, University of Lisbon, 2007.
"The stream-based service-centred calculus: a foundation for service-oriented programming", Formal Aspects of Computing, vol. 26, no. 5: Springer London, pp. 865–918, 2014.
Bisimulations in SSCC, : Technical Report 37/2007, Department of Informatics, Faculty of Sciences, University of Lisbon, 2007. To appear, 2007.
"Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification", Journal of Logic and Computation, vol. 18, no. 6: Oxford Univ Press, pp. 885–911, 2008.
"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.
Verified File-System v1. 0, , vol. 27: Department of Informatics-University of Minho, Braga, September, 2007.
"Scalability analysis of embarassingly parallel applications on large clusters", Parallel & Distributed Processing, Workshops and Phd Forum (IPDPSW), 2010 IEEE International Symposium on: IEEE, pp. 1–8, 2010.
"Analysis of a redundant architecture for critical infrastructure protection", Architecting Dependable Systems V: Springer Berlin Heidelberg, pp. 78–100, 2008.
"PAL: exploiting Java annotations for parallelism", Achievements in European Research on Grid Systems: Springer US, pp. 83–96, 2008.
"Evaluating Byzantine quorum systems", Reliable Distributed Systems, 2007. SRDS 2007. 26th IEEE International Symposium on: IEEE, pp. 253–264, 2007.
"Not quickly, just in time: Improving the timeliness and reliability of control traffic in utility networks", networks, vol. 9, pp. 12, 2009.
Um Arcabouço de Simulação e Avaliação de Sistemas de Quóruns Bizantinos, : VIII Workshop de Testes e Tolerância a Falhas, 2007.
A Case for Learning Sites with Video Bytes: The Hyperscapes Experience, : Online Educa'99, 1999.
"Specification-driven unit test generation for java generic classes", Integrated Formal Methods: Springer Berlin Heidelberg, pp. 296–311, 2012.
Specification HIDENETS laboratory set-up scenario and components (Refined specification HIDENETS proof-of-concept set up): HIDENETS D6. 2, : Aalborg Universitetsforlag, 2007.
"Specification HIDENETS laboratory set-up scenario and components", EU FP6 IST project HIDENETS, deliverable D, vol. 6, 2007.
Accuracy of Multiplanar Reformated CT Imaging in the quantification of glenoid bone loss following shoulder dislocation., , 2010.
Assurances for Self-adaptive Systems: Principles, Models, and Techniques, : Springer Publishing Company, Incorporated, 2013.
"Software engineering for self-adaptive systems: A second research roadmap", Software Engineering for Self-Adaptive Systems II: Springer Berlin Heidelberg, pp. 1–32, 2013.
"Software engineering for self-adaptive systems", Dagstuhl Seminar, vol. 10431, 2009.
Th0. 1. a: SENSORIA languages and calculi for modelling services, : Technical report, SENSORIA, 2007.
"Ubiquitous psychotherapy", IEEE Pervasive Computing, vol. 6, no. 1: IEEE Educational Activities Department, pp. 20–27, 2007.
"Low-fi prototyping for mobile devices", CHI'06 extended abstracts on Human factors in computing systems: ACM, pp. 694–699, 2006.
"Mobile support for personalized therapies: OminSCOPE: Richer artefacts and data collection", Pervasive Computing Technologies for Healthcare, 2009. PervasiveHealth 2009. 3rd International Conference on: IEEE, pp. 1–8, 2009.
"Supporting end-user development of personalized mobile learning tools", Human-Computer Interaction. Interacting in Various Application Domains: Springer Berlin Heidelberg, pp. 217–225, 2009.
"Ubiquitous geo-referenced social skills therapy", Proceedings of the 12th ACM international conference adjunct papers on Ubiquitous computing-Adjunct: ACM, pp. 399–400, 2010.
"Geo-referenced collaborative psychotherapy: design and evaluation of a low-fidelity prototype", Proceedings of the 12th international conference on Human computer interaction with mobile devices and services: ACM, pp. 417–418, 2010.
"Ubiquitous psychotherapy", IEEE Pervasive Computing: IEEE Computer Society, pp. 20–27, 2007.
"A mobile tool for in-situ prototyping", Proceedings of the 11th International Conference on Human-Computer Interaction with Mobile Devices and Services: ACM, pp. 20, 2009.
"OmniSCOPE: composing universal therapies", Methods Inf Med, vol. 49, no. 1, pp. 81–87, 2010.
ScWiz: Personalizing Psychotherapy, : 2nd National Conference in Human Computer Interaction, 2006.
"Designing for mobile devices: Requirements, low-fi prototyping and evaluation", Human-Computer Interaction. Interaction Platforms and Techniques: Springer Berlin Heidelberg, pp. 260–269, 2007.
"Supporting Psychological Therapy with PDAs", Proceeding of Interacção2004, pp. 139–149, 2004.
"An evaluation framework for mobile user interfaces", Human-Computer Interaction–INTERACT 2009: Springer Berlin Heidelberg, pp. 708–721, 2009.
"Designing and evaluating mobile interaction: challenges and trends", Foundations and Trends in Human-Computer Interaction, vol. 4, no. 3: Now Publishers Inc., pp. 175–243, 2011.
"Multi-purpose proactive m-Artifacts", Proceedings of the 2008 ACM symposium on Applied computing: ACM, pp. 1629–1633, 2008.
"Lessons from early stages design of mobile applications", Proceedings of the 10th international conference on Human computer interaction with mobile devices and services: ACM, pp. 127–136, 2008.
"Handheld devices for cooperative educational activities", Proceedings of the 2006 ACM symposium on Applied computing: ACM, pp. 1145–1149, 2006.
"Detecting learning difficulties on ubiquitous scenarios", Human-Computer Interaction. HCI Applications and Services: Springer Berlin Heidelberg, pp. 235–244, 2007.
"Defining scenarios for mobile design and evaluation", CHI'08 extended abstracts on Human factors in computing systems: ACM, pp. 2847–2852, 2008.
Psychological Therapy Artifacts-Usage And Editing With Pdas PDAS, : IADIS International Applied Computing Conference, 2005.
"Children Psychotherapy with Mobile Devices", Human-Computer Interaction: The Agency Perspective: Springer Berlin Heidelberg, pp. 85–109, 2012.
"Fear therapy for children: a mobile approach", Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems: ACM, pp. 237–246, 2012.
Multi-Purpose Mobile Artefacts, : International Journal of Smart Home, 2008.
"Designing mobile multimodal applications", Multimodality in Mobile Computing and Mobile Devices: Methods for Adaptable Usability, pp. 106–136, 2009.
Designing for Mobile Devices, : HCI International Conference, 2007.
"Supporting the design of mobile interactive artefacts", Advances in Engineering Software, vol. 40, no. 12: Elsevier, pp. 1279–1286, 2009.
"Defining personalized therapies for handheld devices", Proceedings of the 2007 ACM symposium on Applied computing: ACM, pp. 163–164, 2007.
"Designing for children: a fear therapy tool", CHI'10 Extended Abstracts on Human Factors in Computing Systems: ACM, pp. 3487–3492, 2010.
"Psychological Therapy Artifacts–Usage and Editing with PDAs", Proceedings of Applied Computing, International Association for Development of the Information Society, IADIS, Algarve, Portugal, 2005.
"A mixed-fidelity prototyping tool for mobile devices", Proceedings of the working conference on Advanced visual interfaces: ACM, pp. 225–232, 2008.
TEST-IT–CREATING EDUCATIONAL CONTENT AND TESTS ON HANDHELD DEVICES, : IADIS Mobile Learning 2005, 2005.
Mobile interaction design: Techniques for early stage in-situ design, : INTECH Open Access Publisher, 2008.
"A framework for mobile evaluation", CHI'08 extended abstracts on Human factors in computing systems, pp. 2673–2678, 2008.
"Supporting the Design of Mobile Artefacts for Paper-Based Activities", Computer-Aided Design of User Interfaces VI: Springer London, pp. 137–149, 2009.
Um estudo comparativo da imprensa, rádio e televisão com os modelos PHIMA e ICDT, : Universidade Aberta, 2005.
"Accurate filtering of privacy-sensitive information in raw genomic data", Journal of biomedical informatics, vol. 82: Elsevier, pp. 1–12, 2018.
"A timed component algebra for services", Formal Techniques for Distributed Systems: Springer Berlin Heidelberg, pp. 242–257, 2013.
"Heterogeneous timed machines", Theoretical Aspects of Computing–ICTAC 2014: Springer International Publishing, pp. 115–132, 2014.
"Random walk on directed dynamic graphs", Arxiv preprint, 2006.
"From manual to assisted playlist creation: a survey", Multimedia Tools and Applications, vol. 76, no. 12: Springer, pp. 14375–14403, 2017.
"Interactive Visualization for Music Rediscovery and Serendipity", Proceedings of the 28th International BCS Human Computer Interaction Conference on HCI 2014-Sand, Sea and Sky-Holiday HCI: BCS, pp. 183–188, 2014.
"A User-centered Music Recommendation Approach for Daily Activities", CBRecSys 2014, pp. 26, 2014.