![DBLP keys DBLP keys](../../../keys.gif) | 2010 |
8 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Viktor Kuncak,
Ruzica Piskac,
Philippe Suter,
Thomas Wies:
Building a Calculus of Data Structures.
VMCAI 2010: 26-44 |
7 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Kuat Yessenov,
Ruzica Piskac,
Viktor Kuncak:
Collections, Cardinalities, and Relations.
VMCAI 2010: 380-395 |
| 2009 |
6 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Thomas Wies,
Ruzica Piskac,
Viktor Kuncak:
Combining Theories with Shared Set Operations.
FroCos 2009: 366-382 |
| 2008 |
5 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Ruzica Piskac,
Viktor Kuncak:
Linear Arithmetic with Stars.
CAV 2008: 268-280 |
4 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Ruzica Piskac,
Viktor Kuncak:
Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars.
CSL 2008: 124-138 |
3 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Ruzica Piskac,
Viktor Kuncak:
Decision Procedures for Multisets with Cardinality Constraints.
VMCAI 2008: 218-232 |
| 2007 |
2 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | 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 | ![bibliographical record in XML bibliographical record in XML](../../../xml.gif) | Hans de Nivelle,
Ruzica Piskac:
Verification of an Off-Line Checker for Priority Queues.
SEFM 2005: 210-219 |