( en | de | ru )

 

Disambiguation of "Piskac, Ruzica"

Author of the publication

copydeleteadd this publication to your clipboard
Collections, Cardinalities, and Relations.

, , and . VMCAI, volume 5944 of Lecture Notes in Computer Science, page 380-395. Springer, (2010)

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. You can also use the button next to the name to display some publications already assigned to the person.

Ruzica Susenburger

Ruzica Djenadic

Ruzica Voitel

 

Other publications of authors with the same name

Efficient Automated Reasoning About Sets and Multisets with Cardinality Constraints.. IJCAR (1), volume 12166 of Lecture Notes in Computer Science, page 3-10. Springer, (2020)Static detection of silent misconfigurations with deep interaction analysis., , , and . Proc. ACM Program. Lang., 5 (OOPSLA): 1-30 (2021)Quantum Circuit Reconstruction from Power Side-Channel Attacks on Quantum Computer Controllers., , , and . IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024 (2): 735-768 (2024)ETAP: Energy-aware Timing Analysis of Intermittent Programs., , , , , , and . CoRR, (2022)Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code., , , and . EuroS&P, page 687-706. IEEE, (2023)Synthesizing functional reactive programs., , , and . Haskell@ICFP, page 162-175. ACM, (2019)Decision Procedures for Program Synthesis and Verification.. EPFL, Switzerland, (2011)Formal XAI via Syntax-Guided Synthesis., , , , , , and . AISoLA, volume 14380 of Lecture Notes in Computer Science, page 119-137. Springer, (2023)Identifying Maximal Non-Redundant Integer Cone Generators., , and . CoRR, (2019)Temporal Stream Logic: Synthesis beyond the Bools., , , and . CoRR, (2017)