author-photo

Ruzica Piskac

Yale University
École Polytechnique Fédérale de Lausanne

94

Papers

1195

Citations

Citation Trend

Filter By

Papers (94) Sort By

Journal Conference Others

Proving UNSAT in Zero Knowledge.

2022 IACR Cryptol. ePrint Arch.
Show All
- Source
- Cite
- Save
Citations (0)
IVeri: Privacy-Preserving Interdomain Verification.

2022 CoRR
Show All
- Source
- Cite
- Save
Citations (0)
Can Pre-trained Language Models be Used to Resolve Textual and Semantic Merge Conflicts?

2021 arXiv: Software Engineering
Show All
- Source
- Cite
- Save
Citations (0)
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021

2021
- Ruzica Piskac
- Michael Whalen
Show All
- Source
- Cite
- Save
Citations (0)
Looking for the Maximum Independent Set: A New Perspective on the Stable Path Problem

2021 INFOCOM | International Conference on Computer Communications
Show All
- Source
- Cite
- Save
Citations (1)
Looking for the Maximum Independent Set: A New Perspective on the Stable Path Problem

2021 | IEEE International Conference on Computer Communications
Show All
- Source
- Cite
- Save
Citations (0)
Static detection of silent misconfigurations with deep interaction analysis

2021
Show All
- Source
- Cite
- Save
Citations (0)
Avenir: Managing Data Plane Diversity with Control Plane Synthesis

2021 NSDI | Networked Systems Design and Implementation
Show All
- Source
- Cite
- Save
Citations (2)
Formal Methods and Computing Identity-based Mentorship for Early Stage Researchers

2020 SIGCSE | Technical Symposium on Computer Science Education
- Mark Santolucito
- Ruzica Piskac
Show All
- Source
- Cite
- Save
Citations (2)
Solving $$\mathrm {LIA} ^\star $$ Using Approximations

2020 VMCAI | Verification, Model Checking and Abstract Interpretation
Show All
- Source
- Cite
- Save
Citations (3)