( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Learning CI Configuration Correctness for Early Build Feedback.

, , , , и . SANER, стр. 1006-1017. IEEE, (2022)

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.

Ruzica Susenburger

Ruzica Djenadic

Ruzica Voitel

 

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

Efficient Automated Reasoning About Sets and Multisets with Cardinality Constraints.. IJCAR (1), том 12166 из Lecture Notes in Computer Science, стр. 3-10. Springer, (2020)Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code., , , и . EuroS&P, стр. 687-706. IEEE, (2023)Decision Procedures for Program Synthesis and Verification.. EPFL, Switzerland, (2011)Synthesizing functional reactive programs., , , и . Haskell@ICFP, стр. 162-175. ACM, (2019)Formal XAI via Syntax-Guided Synthesis., , , , , , и . AISoLA, том 14380 из Lecture Notes in Computer Science, стр. 119-137. Springer, (2023)PyDex: Repairing Bugs in Introductory Python Assignments using LLMs., , , , , , и . Proc. ACM Program. Lang., 8 (OOPSLA1): 1100-1124 (2024)Identifying Maximal Non-Redundant Integer Cone Generators., , и . CoRR, (2019)Programming by Example: Efficient, but Not "Helpful"., , , и . PLATEAU@SPLASH, том 67 из OASIcs, стр. 3:1-3:10. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Analyzing Intentional Behavior in Autonomous Agents under Uncertainty., , , , , , , и . IJCAI, стр. 372-381. ijcai.org, (2023)Grammar Filtering for Syntax-Guided Synthesis., , , , и . AAAI, стр. 1611-1618. AAAI Press, (2020)