default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRuzica Piskac
Person information
- affiliation: Yale University, Department of Computer Science, New Haven, CT, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j13]William T. Hallahan
, Ranjit Jhala, Ruzica Piskac:
Counterexample-Guided Inference of Modular Specifications. Proc. ACM Program. Lang. 9(OOPSLA1): 1689-1716 (2025)- [i31]Xi Zheng, Ziyang Li, Ivan Ruchkin, Ruzica Piskac, Miroslav Pajic:
NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS. CoRR abs/2502.12267 (2025) - [i30]John C. Kolesar, Shan Ali, Timos Antonopoulos, Ruzica Piskac:
Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge. CoRR abs/2504.01198 (2025) - 2024
- [j12]Jialu Zhang, José Pablo Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen:
PyDex: Repairing Bugs in Introductory Python Assignments using LLMs. Proc. ACM Program. Lang. 8(OOPSLA1): 1100-1124 (2024) - [j11]Ferhat Erata, Chuanqi Xu, Ruzica Piskac, Jakub Szefer:
Quantum Circuit Reconstruction from Power Side-Channel Attacks on Quantum Computer Controllers. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2024(2): 735-768 (2024) - [c61]Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac:
soid: A Tool for Legal Accountability for Automated Decision Making. CAV (2) 2024: 233-246 - [c60]Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac:
'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions. CSLAW 2024: 73-85 - [c59]Ning Luo, Chenkai Weng, Jaspal Singh, Gefei Tan, Mariana Raykova, Ruzica Piskac:
Privacy-Preserving Regular Expression Matching Using TNFA. ESORICS (2) 2024: 225-246 - [c58]Ferhat Erata, Tinghung Chiu, Anthony Etim, Srilalith Nampally, Tejas Raju, Rajashree Ramu, Ruzica Piskac, Timos Antonopoulos, Wenjie Xiong, Jakub Szefer:
Systematic Use of Random Self-Reducibility in Cryptographic Code against Physical Attacks. ICCAD 2024: 10:1-10:9 - [c57]Xi Zheng, Aloysius K. Mok, Ruzica Piskac, Yong Jae Lee, Bhaskar Krishnamachari, Dakai Zhu, Oleg Sokolsky, Insup Lee:
Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach. SIGSOFT FSE Companion 2024: 467-471 - [c56]Daniel Luick, John C. Kolesar, Timos Antonopoulos, William R. Harris, James Parker, Ruzica Piskac, Eran Tromer, Xiao Wang, Ning Luo:
ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge. USENIX Security Symposium 2024 - [i29]Ferhat Erata, Chuanqi Xu, Ruzica Piskac, Jakub Szefer:
Quantum Circuit Reconstruction from Power Side-Channel Attacks on Quantum Computer Controllers. CoRR abs/2401.15869 (2024) - [i28]Ferhat Erata, Tinghung Chiu, Anthony Etim, Srilalith Nampally, Tejas Raju, Rajashree Ramu, Ruzica Piskac, Timos Antonopoulos, Wenjie Xiong, Jakub Szefer:
Systematic Use of Random Self-Reducibility against Physical Attacks. CoRR abs/2405.05193 (2024) - [i27]Stephen Miner, Yoshiki Takashima, Simeng Han, Ferhat Erata, Timos Antonopoulos, Ruzica Piskac, Scott J. Shapiro:
Scheherazade: Evaluating Chain-of-Thought Math Reasoning in LLMs with Chain-of-Problems. CoRR abs/2410.00151 (2024) - [i26]Ferhat Erata, Orr Paradise, Timos Antonopoulos, ThanhVu Nguyen, Shafi Goldwasser, Ruzica Piskac:
Learning Randomized Reductions and Program Properties. CoRR abs/2412.18134 (2024) - [i25]S. Akshay, Bernd Finkbeiner, Kuldeep S. Meel, Ruzica Piskac, Arijit Shaw:
Automated Synthesis: Functional, Reactive and Beyond (Dagstuhl Seminar 24171). Dagstuhl Reports 14(4): 85-107 (2024) - 2023
- [j10]Haoran Ding, Zhaoguo Wang, Yicun Yang, Dexin Zhang, Zhenglin Xu, Haibo Chen, Ruzica Piskac, Jinyang Li:
Proving Query Equivalence Using Linear Integer Arithmetic. Proc. ACM Manag. Data 1(4): 227:1-227:26 (2023) - [j9]Ferhat Erata, Eren Yildiz, Arda Goknil, Kasim Sinan Yildirim, Jakub Szefer, Ruzica Piskac, Gökçin Sezgin:
ETAP: Energy-aware Timing Analysis of Intermittent Programs. ACM Trans. Embed. Comput. Syst. 22(2): 23:1-23:31 (2023) - [c55]Yuyang Sang, Ning Luo, Samuel Judson, Ben Chaimberg, Timos Antonopoulos, Xiao Wang, Ruzica Piskac, Zhong Shao:
Ou: Automating the Parallelization of Zero-Knowledge Protocols. CCS 2023: 534-548 - [c54]Ferhat Erata, Ruzica Piskac, Víctor Mateu, Jakub Szefer:
Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code. EuroS&P 2023: 687-706 - [c53]Filip Cano Córdoba, Samuel Judson, Timos Antonopoulos, Katrine Bjørner, Nicholas Shoemaker, Scott J. Shapiro, Ruzica Piskac, Bettina Könighofer:
Analyzing Intentional Behavior in Autonomous Agents under Uncertainty. IJCAI 2023: 372-381 - [c52]Katrine Bjørner, Samuel Judson, Filip Cano, Drew Goldman, Nicholas Shoemaker, Ruzica Piskac, Bettina Könighofer:
Formal XAI via Syntax-Guided Synthesis. AISoLA 2023: 119-137 - [e7]Ruzica Piskac, Andrei Voronkov:
LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023. EPiC Series in Computing 94, EasyChair 2023 [contents] - [i24]Ferhat Erata, Ruzica Piskac, Víctor Mateu, Jakub Szefer:
Towards Automated Detection of Single-Trace Side-Channel Vulnerabilities in Constant-Time Cryptographic Code. CoRR abs/2304.02102 (2023) - [i23]Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac:
'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions. CoRR abs/2305.05731 (2023) - [i22]Filip Cano Córdoba, Samuel Judson, Timos Antonopoulos, Katrine Bjørner, Nicholas Shoemaker, Scott J. Shapiro, Ruzica Piskac, Bettina Könighofer:
Analyzing Intentional Behavior in Autonomous Agents under Uncertainty. CoRR abs/2307.01532 (2023) - [i21]Xi Zheng, Aloysius K. Mok, Ruzica Piskac, Yong Jae Lee, Bhaskar Krishnamachari, Dakai Zhu, Oleg Sokolsky, Insup Lee:
Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach. CoRR abs/2311.07377 (2023) - [i20]Jürgen Cito, Ruzica Piskac, Mark Santolucito, Andy Zaidman, Daniel Sokolowski:
Resilient Software Configuration and Infrastructure Code Analysis (Dagstuhl Seminar 23082). Dagstuhl Reports 13(2): 163-182 (2023) - [i19]Bettina Könighofer, Joshua A. Kroll, Ruzica Piskac, Michael Veale, Filip Cano Córdoba:
Accountable Software Systems (Dagstuhl Seminar 23411). Dagstuhl Reports 13(10): 24-49 (2023) - [i18]Ning Luo, Chenkai Weng, Jaspal Singh, Gefei Tan, Ruzica Piskac, Mariana Raykova:
Privacy-Preserving Regular Expression Matching using Nondeterministic Finite Automata. IACR Cryptol. ePrint Arch. 2023: 643 (2023) - [i17]Yuyang Sang, Ning Luo, Samuel Judson, Ben Chaimberg, Timos Antonopoulos, Xiao Wang, Ruzica Piskac, Zhong Shao:
Ou: Automating the Parallelization of Zero-Knowledge Protocols. IACR Cryptol. ePrint Arch. 2023: 657 (2023) - [i16]Daniel Luick, John C. Kolesar, Timos Antonopoulos, William R. Harris, James Parker, Ruzica Piskac, Eran Tromer, Xiao Wang, Ning Luo:
ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge. IACR Cryptol. ePrint Arch. 2023: 1762 (2023) - 2022
- [j8]John C. Kolesar, Ruzica Piskac, William T. Hallahan:
Checking equivalence in a non-strict language. Proc. ACM Program. Lang. 6(OOPSLA2): 1469-1496 (2022) - [c51]Ning Luo, Timos Antonopoulos, William R. Harris, Ruzica Piskac, Eran Tromer, Xiao Wang:
Proving UNSAT in Zero Knowledge. CCS 2022: 2203-2217 - [c50]Jialu Zhang, Todd Mytkowicz, Mike Kaufman, Ruzica Piskac, Shuvendu K. Lahiri:
Using pre-trained language models to resolve textual and semantic merge conflicts (experience paper). ISSTA 2022: 77-88 - [c49]Jialu Zhang, De Li, John Charles Kolesar, Hanyuan Shi, Ruzica Piskac:
Automated Feedback Generation for Competition-Level Code. ASE 2022: 13:1-13:13 - [c48]Wonhyuk Choi, Bernd Finkbeiner, Ruzica Piskac, Mark Santolucito:
Can reactive synthesis and syntax-guided synthesis be friends? PLDI 2022: 229-243 - [c47]Ning Luo, Samuel Judson, Timos Antonopoulos, Ruzica Piskac, Xiao Wang:
ppSAT: Towards Two-Party Private SAT Solving. USENIX Security Symposium 2022: 2983-3000 - [c46]Mark Santolucito, Jialu Zhang, Ennan Zhai, Jürgen Cito, Ruzica Piskac:
Learning CI Configuration Correctness for Early Build Feedback. SANER 2022: 1006-1017 - [i15]Ferhat Erata, Arda Goknil, Eren Yildiz, Kasim Sinan Yildirim, Ruzica Piskac, Jakub Szefer, Gökçin Sezgin:
ETAP: Energy-aware Timing Analysis of Intermittent Programs. CoRR abs/2201.11433 (2022) - [i14]Ning Luo, Qiao Xiang, Timos Antonopoulos, Ruzica Piskac, Y. Richard Yang, Franck Le:
IVeri: Privacy-Preserving Interdomain Verification. CoRR abs/2202.02729 (2022) - [i13]Jialu Zhang, De Li, John C. Kolesar, Hanyuan Shi, Ruzica Piskac:
Automated Feedback Generation for Competition-Level Code. CoRR abs/2206.01848 (2022) - [i12]Jialu Zhang, José Cambronero, Sumit Gulwani, Vu Le, Ruzica Piskac, Gustavo Soares, Gust Verbruggen:
Repairing Bugs in Python Assignments Using Large Language Models. CoRR abs/2209.14876 (2022) - [i11]Ning Luo, Timos Antonopoulos, William R. Harris, Ruzica Piskac, Eran Tromer, Xiao Wang:
Proving UNSAT in Zero Knowledge. IACR Cryptol. ePrint Arch. 2022: 206 (2022) - 2021
- [j7]Jialu Zhang, Ruzica Piskac, Ennan Zhai, Tianyin Xu:
Static detection of silent misconfigurations with deep interaction analysis. Proc. ACM Program. Lang. 5(OOPSLA): 1-30 (2021) - [c45]Yichao Cheng, Ning Luo, Jingxuan Zhang, Timos Antonopoulos, Ruzica Piskac, Qiao Xiang:
Looking for the Maximum Independent Set: A New Perspective on the Stable Path Problem. INFOCOM 2021: 1-10 - [c44]Eric Hayden Campbell, William T. Hallahan, Priya Srikumar, Carmelo Cascone, Jed Liu, Vignesh Ramamurthy, Hossein Hojjat, Ruzica Piskac, Robert Soulé, Nate Foster:
Avenir: Managing Data Plane Diversity with Control Plane Synthesis. NSDI 2021: 133-153 - [c43]Julien Lepiller, Ruzica Piskac, Martin Schäf, Mark Santolucito:
Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities. TACAS (2) 2021: 105-123 - [i10]Jialu Zhang, Todd Mytkowicz, Mike Kaufman, Ruzica Piskac, Shuvendu K. Lahiri:
Can Pre-trained Language Models be Used to Resolve Textual and Semantic Merge Conflicts? CoRR abs/2111.11904 (2021) - [i9]Ning Luo, Samuel Judson, Timos Antonopoulos, Ruzica Piskac, Xiao Wang:
ppSAT: Towards Two-Party Private SAT Solving. IACR Cryptol. ePrint Arch. 2021: 1584 (2021) - 2020
- [j6]William T. Hallahan, Ennan Zhai, Ruzica Piskac:
Automated repair by example for firewalls. Formal Methods Syst. Des. 56(1): 127-153 (2020) - [c42]Kairo Morton, William T. Hallahan, Elven Shum, Ruzica Piskac, Mark Santolucito:
Grammar Filtering for Syntax-Guided Synthesis. AAAI 2020: 1611-1618 - [c41]Ruzica Piskac:
Efficient Automated Reasoning About Sets and Multisets with Cardinality Constraints. IJCAR (1) 2020: 3-10 - [c40]Ennan Zhai, Ang Chen, Ruzica Piskac, Mahesh Balakrishnan, Bingchuan Tian, Bo Song, Haoliang Zhang:
Check before You Change: Preventing Correlated Failures in Service Updates. NSDI 2020: 575-589 - [c39]Nicholas Shoemaker, Ruzica Piskac, Mark Santolucito:
Towards checkpoint placement for dynamic memory allocation in intermittent computing. TAPAS@SPLASH 2020: 20-22 - [c38]Mark Santolucito, Ruzica Piskac:
Formal Methods and Computing Identity-based Mentorship for Early Stage Researchers. SIGCSE 2020: 135-141 - [c37]Maxwell Levatich, Nikolaj S. Bjørner, Ruzica Piskac, Sharon Shoham:
Solving $\mathrm {LIA} ^\star $ Using Approximations. VMCAI 2020: 360-378 - [c36]Samuel Judson, Ning Luo, Timos Antonopoulos, Ruzica Piskac:
Privacy Preserving CTL Model Checking through Oblivious Graph Algorithms. WPES@CCS 2020: 101-115 - [i8]Kairo Morton, William T. Hallahan, Elven Shum, Ruzica Piskac, Mark Santolucito:
Grammar Filtering For Syntax-Guided Synthesis. CoRR abs/2002.02884 (2020) - [i7]Jialu Zhang, Mark Santolucito, Ruzica Piskac:
Succinct Explanations With Cascading Decision Trees. CoRR abs/2010.06631 (2020)
2010 – 2019
- 2019
- [c35]Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Temporal Stream Logic: Synthesis Beyond the Bools. CAV (1) 2019: 609-629 - [c34]Mark Santolucito, William T. Hallahan, Ruzica Piskac:
Live Programming By Example. CHI Extended Abstracts 2019 - [c33]William T. Hallahan, Anton Xue, Ruzica Piskac:
G2Q: Haskell constraint solving. Haskell@ICFP 2019: 44-57 - [c32]Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Synthesizing functional reactive programs. Haskell@ICFP 2019: 162-175 - [c31]William T. Hallahan, Anton Xue, Maxwell Troy Bland, Ranjit Jhala, Ruzica Piskac:
Lazy counterfactual symbolic execution. PLDI 2019: 411-424 - [e6]Constantin Enea, Ruzica Piskac:
Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings. Lecture Notes in Computer Science 11388, Springer 2019, ISBN 978-3-030-11244-8 [contents] - [i6]Slobodan Mitrovic, Ruzica Piskac, Viktor Kuncak:
Identifying Maximal Non-Redundant Integer Cone Generators. CoRR abs/1903.08571 (2019) - [i5]Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Synthesizing Functional Reactive Programs. CoRR abs/1905.09825 (2019) - 2018
- [c30]Mark Santolucito, Kate Rogers, Aedan Lombardo, Ruzica Piskac:
Programming-by-example for audio: synthesizing digital signal processing programs. FARM@ICFP 2018: 18-25 - [c29]Mark Santolucito, Drew Goldman, Allyson Weseley, Ruzica Piskac:
Programming by Example: Efficient, but Not "Helpful". PLATEAU@SPLASH 2018: 3:1-3:10 - [c28]Ruzica Piskac:
New Applications of Software Synthesis: Verification of Configuration Files and Firewall Repair. SAS 2018: 71-76 - [e5]Ruzica Piskac, Philipp Rümmer:
Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11294, Springer 2018, ISBN 978-3-030-03591-4 [contents] - [i4]Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Vehicle Platooning Simulations with Functional Reactive Programming. CoRR abs/1803.10383 (2018) - [i3]Mark Santolucito, Jialu Zhang, Ennan Zhai, Ruzica Piskac:
Statically Verifying Continuous Integration Configurations. CoRR abs/1805.04473 (2018) - 2017
- [j5]Mark Santolucito, Ennan Zhai, Rahul Dhodapkar, Aaron Shim, Ruzica Piskac:
Synthesizing configuration file specifications with association rule learning. Proc. ACM Program. Lang. 1(OOPSLA): 64:1-64:20 (2017) - [j4]Ennan Zhai, Ruzica Piskac, Ronghui Gu, Xun Lao, Xi Wang:
An auditing language for preventing correlated failures in the cloud. Proc. ACM Program. Lang. 1(OOPSLA): 97:1-97:28 (2017) - [c27]Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Vehicle Platooning Simulations with Functional Reactive Programming. SCAV@CPSWeek 2017: 43-47 - [c26]William T. Hallahan, Ennan Zhai, Ruzica Piskac:
Automated repair by example for firewalls. FMCAD 2017: 220-229 - [i2]Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
Temporal Stream Logic: Synthesis beyond the Bools. CoRR abs/1712.00246 (2017) - 2016
- [c25]Mark Santolucito, Ennan Zhai, Ruzica Piskac:
Probabilistic Automated Language Learning for Configuration Files. CAV (2) 2016: 80-87 - [e4]Tim King, Ruzica Piskac:
Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, SMT@IJCAR 2016, Coimbra, Portugal, July 1-2, 2016. CEUR Workshop Proceedings 1617, CEUR-WS.org 2016 [contents] - [e3]Ruzica Piskac, Muralidhar Talupur:
2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016. IEEE 2016, ISBN 978-0-9835678-6-8 [contents] - [e2]Ruzica Piskac, Rayna Dimitrova:
Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016. EPTCS 229, 2016 [contents] - 2015
- [c24]Alex Reinking, Ruzica Piskac:
A Type-Directed Approach to Program Repair. CAV (1) 2015: 511-517 - [c23]Sumit Gulwani, Mikaël Mayer, Filip Niksic, Ruzica Piskac:
StriSynth: Synthesis for Live Programming. ICSE (2) 2015: 701-704 - [c22]Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, Ruzica Piskac:
InSynth: A System for Code Completion using Types and Weights. Software Engineering & Management 2015: 39-40 - [c21]Ruzica Piskac:
From Decision Procedures to Synthesis Procedures. SYNASC 2015: 3-10 - 2014
- [c20]Ruzica Piskac, Thomas Wies, Damien Zufferey:
Automating Separation Logic with Trees and Data. CAV 2014: 711-728 - [c19]Ruzica Piskac:
The FMCAD 2014 graduate student forum. FMCAD 2014: 13 - [c18]Ruzica Piskac, Thomas Wies, Damien Zufferey:
GRASShopper - Complete Heap Verification with Mixed Specifications. TACAS 2014: 124-139 - 2013
- [j3]Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter:
Functional synthesis for linear arithmetic and sets. Int. J. Softw. Tools Technol. Transf. 15(5-6): 455-474 (2013) - [c17]Thomas Hillenbrand, Ruzica Piskac, Uwe Waldmann, Christoph Weidenbach:
From Search to Computation: Redundancy Criteria and Simplification at Work. Programming Logics 2013: 169-193 - [c16]Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac:
Incremental, Inductive Coverability. CAV 2013: 158-173 - [c15]Ruzica Piskac, Thomas Wies, Damien Zufferey:
Automating Separation Logic Using SMT. CAV 2013: 773-789 - [c14]Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, Ruzica Piskac:
Complete completion using types and weights. PLDI 2013: 27-38 - [i1]Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac:
Incremental, Inductive Coverability. CoRR abs/1301.7321 (2013) - 2012
- [j2]Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter:
Software synthesis procedures. Commun. ACM 55(2): 103-111 (2012) - 2011
- [b1]Ruzica Piskac:
Decision Procedures for Program Synthesis and Verification. EPFL, Switzerland, 2011 - [c13]Tihomir Gvero, Viktor Kuncak, Ruzica Piskac:
Interactive Synthesis of Code Snippets. CAV 2011: 418-423 - [c12]Ruzica Piskac, Thomas Wies:
Decision Procedures for Automating Termination Proofs. VMCAI 2011: 371-386 - 2010
- [j1]Ruzica Piskac, Leonardo Mendonça de Moura, Nikolaj S. Bjørner:
Deciding Effectively Propositional Logic Using DPLL and Substitution Sets. J. Autom. Reason. 44(4): 401-424 (2010) - [c11]Ruzica Piskac, Viktor Kuncak:
MUNCH - Automated Reasoner for Sets and Multisets. IJCAR 2010: 149-155 - [c10]Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter:
Comfusy: A Tool for Complete Functional Synthesis. CAV 2010: 430-433 - [c9]Viktor Kuncak, Ruzica Piskac, Philippe Suter:
Ordered Sets in the Calculus of Data Structures. CSL 2010: 34-48 - [c8]Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter:
Complete functional synthesis. PLDI 2010: 316-329 - [c7]Viktor Kuncak, Ruzica Piskac, Philippe Suter, Thomas Wies:
Building a Calculus of Data Structures. VMCAI 2010: 26-44 - [c6]Kuat Yessenov, Ruzica Piskac, Viktor Kuncak:
Collections, Cardinalities, and Relations. VMCAI 2010: 380-395
2000 – 2009
- 2009
- [c5]Thomas Wies, Ruzica Piskac, Viktor Kuncak:
Combining Theories with Shared Set Operations. FroCoS 2009: 366-382 - 2008
- [c4]Ruzica Piskac, Viktor Kuncak:
Linear Arithmetic with Stars. CAV 2008: 268-280 - [c3]Ruzica Piskac, Viktor Kuncak:
Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars. CSL 2008: 124-138 - [c2]Ruzica Piskac, Viktor Kuncak:
Decision Procedures for Multisets with Cardinality Constraints. VMCAI 2008: 218-232 - 2007
- [e1]Ruzica Piskac, Frank van Harmelen, Ning Zhong:
Proceedings of the First International Workshop Workshop "New forms of reasoning for the Semantic Web: scalable, tolerant and dynamic", co-located with ISWC 2007 and ASWC 2007, Busan, Korea, November 11th, 2007. CEUR Workshop Proceedings 291, CEUR-WS.org 2007 [contents] - 2005
- [c1]Hans de Nivelle, Ruzica Piskac:
Verification of an Off-Line Checker for Priority Queues. SEFM 2005: 210-219
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-05-19 21:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
