|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter |
Software synthesis procedures.  |
Commun. ACM  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tihomir Gvero, Viktor Kuncak, Ruzica Piskac |
Interactive Synthesis of Code Snippets. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruzica Piskac, Thomas Wies |
Decision Procedures for Automating Termination Proofs. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruzica Piskac, Leonardo Mendonça de Moura, Nikolaj Bjørner |
Deciding Effectively Propositional Logic Using DPLL and Substitution Sets. |
J. Autom. Reasoning |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter |
Complete functional synthesis. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
bapa, synthesis procedure, decision procedure, presburger arithmetic |
| 1 | Ruzica Piskac, Viktor Kuncak |
MUNCH - Automated Reasoner for Sets and Multisets. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter |
Comfusy: A Tool for Complete Functional Synthesis. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kuat Yessenov, Ruzica Piskac, Viktor Kuncak |
Collections, Cardinalities, and Relations. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Kuncak, Ruzica Piskac, Philippe Suter, Thomas Wies |
Building a Calculus of Data Structures. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Kuncak, Ruzica Piskac, Philippe Suter |
Ordered Sets in the Calculus of Data Structures. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Wies, Ruzica Piskac, Viktor Kuncak |
Combining Theories with Shared Set Operations. |
FroCos |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruzica Piskac, Viktor Kuncak |
Linear Arithmetic with Stars. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruzica Piskac, Viktor Kuncak |
Decision Procedures for Multisets with Cardinality Constraints. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruzica Piskac, Viktor Kuncak |
Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars. |
CSL |
2008 |
DBLP DOI BibTeX RDF |
verification and program analysis, cardinality operator, mixed linear integer-rational arithmetic, fuzzy sets, sets, multisets |
| 1 | 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 |
New Forms of Reasoning for the Semantic Web |
2007 |
DBLP BibTeX RDF |
|
| 1 | Hans de Nivelle, Ruzica Piskac |
Verification of an Off-Line Checker for Priority Queues. |
SEFM |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")