"Towards Useful Services for Elderly and People with Disabilities", 9th International Conference on Smart Homes and Health Telematics (ICOST), LNCS, vol. 6719, Montréal, Canada, Springer, 06/2011.
"Approximate Verification of the Symbolic Dynamics of Markov Chains", LICS 2012, Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, pp. 55-64, 2012.
"Regular set of representatives for time-constrained MSC graphs", Inf. Process. Lett., vol. 112, no. 14-15, pp. 592-598, 2012.
"Symbolically Bounding the Drift in Time-Constrained MSC Graphs", ICTAC 2012, Theoretical Aspects of Computing - 9th International Colloquium, LNCS, vol. 7521, pp. 1-15, 2012.
"Detecting Inconsistencies in Rule-Based Reasoning for Ambient Intelligence", 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS), Nov, 2016.
"Uncertainty handling in semantic reasoning for accurate context understanding", Knowledge-Based Systems, vol. 77, pp. 16–28, 2015.
"Efficient Incremental Plan Recognition Method for Cognitive Assistance", 7th International Conference on Smart Homes and Health Telematics (ICOST), LNCS, Tours, France, Springer, pp. 225–228, 07/2009.
"A Semantic Plug&Play Based Framework for Ambient Assisted Living", ICOST, 10th International Conference On Smart homes and health Telematics, LNCS, vol. 7251, Artimino, Italy, Springer, pp. 165-172, 06/2012.
"Deployment of assistive living technology in a nursing home environment: methods and lessons learned", BMC medical informatics and decision making, vol. 13, no. 1: BioMed Central Ltd, pp. 42, 2013.
"Simplifying Installation and Maintenance of Ambient Intelligent Solutions Toward Large Scale Deployment", International Conference on Smart Homes and Health Telematics: Springer, 2016.
"Provenance Circuits for Trees and Treelike Instances", ICALP, Kyoto, Japan, 2015.
"Tractable Lineages on Treelike Instances\string: Limits and Extensions", PODS, San Francisco, USA, 2016.
"Intensional Data on the Web", SIGWEB Newsletter, 2015.
"Recognition of human activity using Internet of Things in a non-controlled environment", ICARCV 2016, 2016.
"Truth Finding with Attribute Partitioning", WebDB, Melbourne, Australia, 2015.
"Identifying how Visually Impaired People Explore Raised-line Diagrams to Improve the Design of Touch Interfaces", SIGCHI Conference on Human Factors in Computing Systems (CHI), Denver, USA, ACM SIGCHI, mai, 2017.
"From Tactile to Virtual: Using a Smartwatch to Improve Spatial Map Exploration for Visually Impaired Users", International Conference on Human-Computer Interaction with Mobile Devices and Services (MobileHCI), Florence, Italy, ACM, 09/2017, 2016.
"Cost-Model Oblivious Database Tuning with Reinforcement Learning", DEXA, Valencia, Spain, 2015.
"Tangentially Migrating Neurons Assemble a Primary Cilium that Promotes Their Reorientation to the Cortical Plate", Neuron, vol. 76, no. 6, pp. 1108–1122, 2012.
"Technical Challenges Towards an AAL Large Scale Deployment", International Conference on Smart Homes and Health Telematics: Springer, 2015.
"Experimental Frailty Model towards an Adaptable Service Delivery for Aging People", 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS), Nov, 2016.
"Minimal Disclosure in Partially Observable Markov Decision Processes", 31th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), vol. LIPIcs, pp. to appear, 2011.
"Mild Dementia Care at Home – Integrating Activity Monitoring, User Interface Plasticity and Scenario Verification", 8th International Conference on Smart Homes and Health Telematics (ICOST), LNCS, vol. 6159, Seoul, Korea, Springer, pp. 160–170, 06/2010.
"From Context to Micro-context-Issues and Challenges in Sensorizing Smart Spaces for Assistive Living", 2nd International Conference on Ambient Systems, Networks and Technologies (ANT2011), Procedia Computer Science, vol. 5, Niagara Falls, Ontario, Canada, Elsevier, pp. 288–295, 08/2011.