Name Card

Full name Familienname, Vorname
Piskac, Ruzica
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Santolucito, Mark ; Zhang, Jialu ; Zhai, Ennan ; Cito, Jurgen ; Piskac, Ruzica Learning CI Configuration Correctness for Early Build FeedbackInproceedings Konferenzbeitrag 2022

Contributing Publications Mitbeteiligte Publikationen

Results 1-4 of 4 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Hozzová, Petra ; Bendík, Jaroslav ; Nutz, Alexander ; Rodeh, Yoav Overapproximation of Non-Linear Integer Arithmetic for Smart Contract VerificationInproceedings Konferenzbeitrag 3-Jun-2023
2Pluska, Alexander ; Zuleger, Florian Embedding Intuitionistic into Classical LogicInproceedings Konferenzbeitrag 3-Jun-2023
3Bhayat, Ahmed ; Korovin, Konstantin ; Kovacs, Laura ; Schoisswohl, Johannes Refining Unification with AbstractionInproceedings Konferenzbeitrag 3-Jun-2023
4Piskac-2021-Proceedings of the 21st Conference on Formal Methods in Compu...-vor.pdf.jpgPiskac, Ruzica ; Whalen, Michael W. Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021Konferenzband Proceedings Oct-2021