( en | de | ru )

 

Disambiguierung von "Piskac, Ruzica"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Functional synthesis for linear arithmetic and sets.

, , , und . Int. J. Softw. Tools Technol. Transf., 15 (5-6): 455-474 (2013)

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)Static detection of silent misconfigurations with deep interaction analysis., , , und . Proc. ACM Program. Lang., 5 (OOPSLA): 1-30 (2021)Quantum Circuit Reconstruction from Power Side-Channel Attacks on Quantum Computer Controllers., , , und . IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024 (2): 735-768 (2024)ETAP: Energy-aware Timing Analysis of Intermittent Programs., , , , , , und . CoRR, (2022)Decision Procedures for Program Synthesis and Verification.. EPFL, Switzerland, (2011)Formal XAI via Syntax-Guided Synthesis., , , , , , und . AISoLA, Volume 14380 von Lecture Notes in Computer Science, Seite 119-137. Springer, (2023)Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code., , , und . EuroS&P, Seite 687-706. IEEE, (2023)Synthesizing functional reactive programs., , , und . Haskell@ICFP, Seite 162-175. ACM, (2019)'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions., , , , , , und . CoRR, (2023)Privacy-Preserving Regular Expression Matching using Nondeterministic Finite Automata., , , , , und . IACR Cryptol. ePrint Arch., (2023)