| |
| 2008 | ||
|---|---|---|
| 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 |
| 1 | Frank van Harmelen | [2] |
| 2 | Viktor Kuncak | [3] |
| 3 | Hans de Nivelle | [1] |
| 4 | Ning Zhong | [2] |