Ružica Piskač

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Temporal stream logic: synthesis beyond the Bools Computer Aided Verification	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 Programming Logics	2013-04-19	Paper
Decision Procedures for Automating Termination Proofs Lecture Notes in Computer Science	2011-02-15	Paper
MUNCH -- automated reasoner for sets and multisets Automated Reasoning	2010-09-14	Paper
Ordered sets in the calculus of data structures Computer Science Logic	2010-09-03	Paper
Deciding effectively propositional logic using DPLL and substitution sets Journal of Automated Reasoning	2010-05-26	Paper
Building a calculus of data structures Lecture Notes in Computer Science	2010-01-14	Paper
Collections, Cardinalities, and Relations Lecture Notes in Computer Science	2010-01-14	Paper
Combining theories with shared set operations Frontiers of Combining Systems	2010-01-07	Paper
Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars Computer Science Logic	2008-11-20	Paper
Linear Arithmetic with Stars Computer Aided Verification	2008-07-15	Paper
Decision Procedures for Multisets with Cardinality Constraints Lecture Notes in Computer Science	2008-04-04	Paper
Improvement of AHP method Mathematical Communications. Supplement	2003-01-20	Paper

Research outcomes over time

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