| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 6 |       | Thomas Wies, Ruzica Piskac, Viktor Kuncak: Combining Theories with Shared Set Operations. FroCos 2009: 366-382 |
| 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 |
Selection of 4 from 6 records - Ruzica Piskac has 5 coauthors
Copyright © 2009-12-24 by Michael Ley (ley@uni-trier.de)