Author of the publication

User-Centered Design for Citizens' Empowerment through the Portal of the Italian Ministry of Health.

, , , , , , , , , and . EICS4Med, volume 727 of CEUR Workshop Proceedings, page 75-80. CEUR-WS.org, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Synthesising Industry-Standard Manufacturing Process Controllers., , , , , and . AAMAS, page 1811-1813. ACM, (2017)Social planning for social HRI., , , , , and . CoRR, (2016)SMT-based Safety Verification of Parameterised Multi-Agent Systems., , and . CoRR, (2020)DELPHIC: Practical DEL Planning via Possibilities (Extended Version)., , and . CoRR, (2023)Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)., , , , and . IJCAI, page 5722-5726. ijcai.org, (2022)Towards Team Formation via Automated Planning., , , , , and . COIN@AAMAS/IJCAI, volume 9628 of Lecture Notes in Computer Science, page 282-299. Springer, (2015)Soundness of Data-Aware Processes with Arithmetic Conditions., , and . CAiSE, volume 13295 of Lecture Notes in Computer Science, page 389-406. Springer, (2022)Two-Player Game Structures for Generalized Planning and Agent Composition., , , and . AAAI, page 297-302. AAAI Press, (2010)Unbounded Orchestrations of Transducers for Manufacturing., , , , , and . AAAI, page 2646-2653. AAAI Press, (2019)A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems., , and . PRIMA, volume 12568 of Lecture Notes in Computer Science, page 259-280. Springer, (2020)