Author of the publication

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

The Mùsica Colonial Project.. Bull. IEEE Tech. Comm. Digit. Libr., (2005)Computing reachable sets of linear vector fields revisited., , , , and . ECC, page 419-426. IEEE, (2016)Metric Learning via Penalized Optimization., , , , , and . KDD, page 656-664. ACM, (2021)On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains., , , , , and . FM (2), volume 14934 of Lecture Notes in Computer Science, page 248-266. Springer, (2024)Decidability of the Reachability for a Family of Linear Vector Fields., , , , and . ATVA, volume 9364 of Lecture Notes in Computer Science, page 482-499. Springer, (2015)Learning Diffusions under Uncertainty., , , , , , and . AAAI, page 20430-20437. AAAI Press, (2024)Nonlinear Craig Interpolant Generation Over Unbounded Domains by Separating Semialgebraic Sets., , , , , and . FM (1), volume 14933 of Lecture Notes in Computer Science, page 92-110. Springer, (2024)Generalizing SDP-Based Barrier Certificate Synthesis to Unbounded Domains by Dropping Archimedean Condition., , , , , and . CoRR, (2023)Música colonial: 18th century music score meets 21st century digitalization technology.. JCDL, page 379. ACM, (2005)Switching controller synthesis for delay hybrid systems under perturbations., , , , , and . HSCC, page 3:1-3:11. ACM, (2021)