( en | de | ru )

 

Disambiguierung von "D'Antoni, Loris"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Direct Manipulation for Imperative Programs.

, , , und . SAS, Volume 11822 von Lecture Notes in Computer Science, Seite 347-367. Springer, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Irene Lorisika

Kurt Loris

Ewald Loris

Loris Russi

Loris Scandella

 

Weitere Publikationen von Autoren mit dem selben Namen

Forward Bisimulations for Nondeterministic Symbolic Finite Automata., und . TACAS (1), Volume 10205 von Lecture Notes in Computer Science, Seite 518-534. (2017)Verifying Solutions to Semantics-Guided Synthesis Problems., , , und . CoRR, (2024)Verified Training for Counterfactual Explanation Robustness under Data Shift., , , und . CoRR, (2024)Synthesis with Asymptotic Resource Bounds., , , und . CAV (1), Volume 12759 von Lecture Notes in Computer Science, Seite 783-807. Springer, (2021)Programmable Program Synthesis., , , und . CAV (1), Volume 12759 von Lecture Notes in Computer Science, Seite 84-109. Springer, (2021)Syntax-Guided Synthesis with Quantitative Syntactic Objectives., und . CAV (1), Volume 10981 von Lecture Notes in Computer Science, Seite 386-403. Springer, (2018)Learned Load Balancing., , , und . ICDCN, Seite 177-187. ACM, (2023)P4BID: information flow control in p4., , und . PLDI, Seite 46-60. ACM, (2022)Verifying Infinitely Many Programs at Once.. SAS, Volume 14284 von Lecture Notes in Computer Science, Seite 3-9. Springer, (2023)BagFlip: A Certified Defense Against Data Poisoning., , und . NeurIPS, (2022)