- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| i1 |      | Johannes Kloos, Rupak Majumdar, Filip Niksic, Ruzica Piskac: Incremental, Inductive Coverability. CoRR abs/1301.7321 (2013) |
| 2012 | ||
| j2 | | Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter: Software synthesis procedures. Commun. ACM 55(2): 103-111 (2012) |
| 2011 | ||
| c13 | | Tihomir Gvero, Viktor Kuncak, Ruzica Piskac: Interactive Synthesis of Code Snippets. CAV 2011: 418-423 |
| c12 | | Ruzica Piskac, Thomas Wies: Decision Procedures for Automating Termination Proofs. VMCAI 2011: 371-386 |
| 2010 | ||
| j1 | | Ruzica Piskac, Leonardo Mendonça de Moura, Nikolaj Bjørner: Deciding Effectively Propositional Logic Using DPLL and Substitution Sets. J. Autom. Reasoning 44(4): 401-424 (2010) |
| c11 | | Ruzica Piskac, Viktor Kuncak: MUNCH - Automated Reasoner for Sets and Multisets. IJCAR 2010: 149-155 |
| c10 | | Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter: Comfusy: A Tool for Complete Functional Synthesis. CAV 2010: 430-433 |
| c9 | | Viktor Kuncak, Ruzica Piskac, Philippe Suter: Ordered Sets in the Calculus of Data Structures. CSL 2010: 34-48 |
| c8 | | Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter: Complete functional synthesis. PLDI 2010: 316-329 |
| c7 | | Viktor Kuncak, Ruzica Piskac, Philippe Suter, Thomas Wies: Building a Calculus of Data Structures. VMCAI 2010: 26-44 |
| c6 | | Kuat Yessenov, Ruzica Piskac, Viktor Kuncak: Collections, Cardinalities, and Relations. VMCAI 2010: 380-395 |
| 2009 | ||
| c5 | | Thomas Wies, Ruzica Piskac, Viktor Kuncak: Combining Theories with Shared Set Operations. FroCoS 2009: 366-382 |
| 2008 | ||
| c4 | | |
| c3 | | Ruzica Piskac, Viktor Kuncak: Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars. CSL 2008: 124-138 |
| c2 | | Ruzica Piskac, Viktor Kuncak: Decision Procedures for Multisets with Cardinality Constraints. VMCAI 2008: 218-232 |
| 2007 | ||
| e1 |  | Ruzica Piskac, Frank van Harmelen, Ning Zhong (Eds.): 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 Workshop Proceedings 291, CEUR-WS.org 2007 |
| 2005 | ||
| c1 | | Hans de Nivelle, Ruzica Piskac: Verification of an Off-Line Checker for Priority Queues. SEFM 2005: 210-219 |
Colors in the list of coauthors
Last update Sun May 26 01:11:40 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page