Ruzica Piskac Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor Kuncak, Ruzica Piskac, Philippe Suter, Thomas Wies: Building a Calculus of Data Structures. VMCAI 2010: 26-44
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKuat Yessenov, Ruzica Piskac, Viktor Kuncak: Collections, Cardinalities, and Relations. VMCAI 2010: 380-395
2009
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Wies, Ruzica Piskac, Viktor Kuncak: Combining Theories with Shared Set Operations. FroCos 2009: 366-382
2008
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuzica Piskac, Viktor Kuncak: Linear Arithmetic with Stars. CAV 2008: 268-280
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuzica Piskac, Viktor Kuncak: Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars. CSL 2008: 124-138
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuzica Piskac, Viktor Kuncak: Decision Procedures for Multisets with Cardinality Constraints. VMCAI 2008: 218-232
2007
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRuzica 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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans de Nivelle, Ruzica Piskac: Verification of an Off-Line Checker for Priority Queues. SEFM 2005: 210-219

Coauthor Index

1Frank van Harmelen [2]
2Viktor Kuncak [3] [4] [5] [6] [7] [8]
3Hans de Nivelle [1]
4Philippe Suter [8]
5Thomas Wies [6] [8]
6Kuat Yessenov [7]
7Ning Zhong [2]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)