| * | 2009 |
|---|
| 6 | EE | Thomas Wies,
Ruzica Piskac,
Viktor Kuncak:
Combining Theories with Shared Set Operations.
FroCos 2009: 366-382 |
| 2008 |
|---|
| 5 | EE | Ruzica Piskac,
Viktor Kuncak:
Linear Arithmetic with Stars.
CAV 2008: 268-280 |
| 4 | EE | Ruzica Piskac,
Viktor Kuncak:
Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars.
CSL 2008: 124-138 |
| 3 | EE | Ruzica Piskac,
Viktor Kuncak:
Decision Procedures for Multisets with Cardinality Constraints.
VMCAI 2008: 218-232 |
| 2007 |
|---|
| 2 | | 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-WS.org 2007 |
| 2005 |
|---|
| 1 | EE | Hans de Nivelle,
Ruzica Piskac:
Verification of an Off-Line Checker for Priority Queues.
SEFM 2005: 210-219 |
