Ružica Piskač

Available identifiers

Publication	Date of Publication	Type
Temporal stream logic: synthesis beyond the Bools	2024-02-16	Paper
Efficient automated reasoning about sets and multisets with cardinality constraints	2022-11-09	Paper
Analyzing infrastructure as code to prevent intra-update sniping vulnerabilities	2021-10-18	Paper
Solving \(\mathrm{LIA}^\star\) using approximations	2020-08-05	Paper
From Search to Computation: Redundancy Criteria and Simplification at Work	2013-04-19	Paper
Decision Procedures for Automating Termination Proofs	2011-02-15	Paper
MUNCH - Automated Reasoner for Sets and Multisets	2010-09-14	Paper
Ordered Sets in the Calculus of Data Structures	2010-09-03	Paper
Deciding effectively propositional logic using DPLL and substitution sets	2010-05-26	Paper
Building a Calculus of Data Structures	2010-01-14	Paper
Collections, Cardinalities, and Relations	2010-01-14	Paper
Combining Theories with Shared Set Operations	2010-01-07	Paper
Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars	2008-11-20	Paper
Linear Arithmetic with Stars	2008-07-15	Paper
Decision Procedures for Multisets with Cardinality Constraints	2008-04-04	Paper
Improvement of AHP method	2003-01-20	Paper

This page was built for person: Ružica Piskač