( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Syntax-Guided Synthesis with Quantitative Syntactic Objectives.

, и . CAV (1), том 10981 из Lecture Notes in Computer Science, стр. 386-403. Springer, (2018)

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.

Irene Lorisika

Kurt Loris

Ewald Loris

Loris Russi

Loris Scandella

 

Другие публикации лиц с тем же именем

Forward Bisimulations for Nondeterministic Symbolic Finite Automata., и . TACAS (1), том 10205 из Lecture Notes in Computer Science, стр. 518-534. (2017)Programmable Program Synthesis., , , и . CAV (1), том 12759 из Lecture Notes in Computer Science, стр. 84-109. Springer, (2021)Syntax-Guided Synthesis with Quantitative Syntactic Objectives., и . CAV (1), том 10981 из Lecture Notes in Computer Science, стр. 386-403. Springer, (2018)Synthesis with Asymptotic Resource Bounds., , , и . CAV (1), том 12759 из Lecture Notes in Computer Science, стр. 783-807. Springer, (2021)Learned Load Balancing., , , и . ICDCN, стр. 177-187. ACM, (2023)Verified Training for Counterfactual Explanation Robustness under Data Shift., , , и . CoRR, (2024)Verifying Infinitely Many Programs at Once.. SAS, том 14284 из Lecture Notes in Computer Science, стр. 3-9. Springer, (2023)P4BID: information flow control in p4., , и . PLDI, стр. 46-60. ACM, (2022)BagFlip: A Certified Defense Against Data Poisoning., , и . NeurIPS, (2022)Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems., , , и . PLDI, стр. 1128-1142. ACM, (2020)