( en | de | ru )

 

Disambiguation of "Raimondi, Franco"

Author of the publication

copydeleteadd this publication to your clipboard
Automatic Annotation of Confidential Data in Java Code.

, , , and . FPS, volume 13291 of Lecture Notes in Computer Science, page 146-161. Springer, (2021)

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.

Franco Raimondi

Francesca Raimondi

Franco Kämmer

Franco Nüske

Franco Nüske

 

Other publications of authors with the same name

Differential cost analysis with simultaneous potentials and anti-potentials., , , and . PLDI, page 442-457. ACM, (2022)Implementing a Digital Twin for a Robotic Platform to Support Large-Scale Coding Classes., , and . ICPEC, volume 122 of OASIcs, page 15:1-15:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Building Call Graph of WebAssembly Programs via Abstract Semantics., , and . CoRR, (2024)A Proof-Theoretic Trust and Reputation Model for VANET., , , and . EuroS&P Workshops, page 146-152. IEEE, (2017)A Racket-Based Robot to Teach First-Year Computer Science., , , , , , , , and . ELS, page 54-62. ELSAA, (2014)Teaching Functional Patterns through Robotic Applications., , , , and . TFPIE, volume 230 of EPTCS, page 17-29. (2016)Lifting On-Demand Analysis to Higher-Order Languages., , , , , , , and . SAS, volume 14284 of Lecture Notes in Computer Science, page 460-484. Springer, (2023)Automatic Annotation of Confidential Data in Java Code., , , and . FPS, volume 13291 of Lecture Notes in Computer Science, page 146-161. Springer, (2021)Symbolic Model Checking for One-Resource RB+-ATL., , , and . IJCAI, page 1069-1075. AAAI Press, (2015)MIRTO: an Open-Source Robotic Platform for Education., , , , , , , , , and 8 other author(s). ECSEE, page 55-62. ACM, (2018)