( en | de | ru )

 

Disambiguierung von "Piskac, Ruzica"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
G2Q: Haskell constraint solving.

, , und . Haskell@ICFP, Seite 44-57. ACM, (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.

Ruzica Susenburger

Ruzica Djenadic

Ruzica Voitel

 

Weitere Publikationen von Autoren mit dem selben Namen

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