Author of the publication

Modelling and Verification of Timed Robotic Controllers.

, , , , and . IFM, volume 10510 of Lecture Notes in Computer Science, page 18-33. Springer, (2017)

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

Novel features for time series analysis: a complex networks approach., , , and . Data Min. Knowl. Discov., 36 (3): 1062-1101 (2022)A Parallel Algorithm for Counting Subgraphs in Complex Networks., , and . BIOSTEC (Selected Papers), volume 127 of Communications in Computer and Information Science, page 380-393. Springer, (2010)Training Strategies for Covid-19 Severity Classification., , , , , , , , , and . IWBBIO (1), volume 13919 of Lecture Notes in Computer Science, page 514-527. Springer, (2023)A Scalable Clustered Architecture for Cyber-Physical Systems., , , , , and . INDIN, page 1-6. IEEE, (2023)Implementation of GDPR: Learning with a Local Administration Case Study., , and . SmartCity360°, volume 323 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 205-216. Springer, (2019)RUP Alignment and Coverage Analysis of CMMI ML2 Process Areas for the Context of Software Projects Execution., , , , and . SWQD, volume 166 of Lecture Notes in Business Information Processing, page 214-228. Springer, (2014)Proposal of a Visual Environment to Support Scrum., and . CENTERIS/ProjMAN/HCist, volume 164 of Procedia Computer Science, page 491-497. Elsevier, (2019)Characterization of an Agile Coordination Office for IST companies., and . CENTERIS/ProjMAN/HCist, volume 138 of Procedia Computer Science, page 859-866. Elsevier, (2018)Highly sensitive bio-inspired sensor for fine surface exploration and characterization., , , and . ICRA, page 625-631. IEEE, (2020)Extracting Motion Features for Visual Human Activity Representation., , , and . IbPRIA (1), volume 3522 of Lecture Notes in Computer Science, page 537-544. Springer, (2005)