 | 2010 |
|---|
| 8 |       | Viktor Kuncak,
Ruzica Piskac,
Philippe Suter,
Thomas Wies:
Building a Calculus of Data Structures.
VMCAI 2010: 26-44 |
| 7 | | Kuat Yessenov,
Ruzica Piskac,
Viktor Kuncak:
Collections, Cardinalities, and Relations.
VMCAI 2010: 380-395 |
| 2009 |
|---|
| 6 | | Thomas Wies,
Ruzica Piskac,
Viktor Kuncak:
Combining Theories with Shared Set Operations.
FroCos 2009: 366-382 |
| 2008 |
|---|
| 5 | | Ruzica Piskac,
Viktor Kuncak:
Linear Arithmetic with Stars.
CAV 2008: 268-280 |
| 4 | | Ruzica Piskac,
Viktor Kuncak:
Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars.
CSL 2008: 124-138 |
| 3 | | 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 | | Hans de Nivelle,
Ruzica Piskac:
Verification of an Off-Line Checker for Priority Queues.
SEFM 2005: 210-219 |
