Ružica Piskač

Complete functional synthesis

Viktor Kunčak, Mikaël Mayer, Ružica Piskač et al. · 2010 · 144 citations · Full text

Engineering, Compiler Technology, Verification +22

Complete completion using types and weights

Tihomir Gvero, Viktor Kunčak, Ivan Kuraj et al. · 2013 · 135 citations · Full text

Mathematical Programming, Engineering, Machine Learning +21

AliEn—ALICE environment on the GRID

P Saiz, L. Aphecetche, P. Bunc̆ić et al. · Nuclear Instruments and Methods in Physics Research Section A Accelerators Spectrometers Detectors and Associated Equipment · 2003 · 91 citations

Engineering, Data Science, Alien—alice Environment +4

Deciding Effectively Propositional Logic Using DPLL and Substitution Sets

Ružica Piskač, Leonardo de Moura, Nikolaj Bjørner · Journal of Automated Reasoning · 2009 · 85 citations

Substitution Sets, Engineering, Automated Reasoning +5

Synthesizing configuration file specifications with association rule learning

Mark Santolucito, Ennan Zhai, Rahul M. Dhodapkar et al. · Proceedings of the ACM on Programming Languages · 2017 · 40 citations · Full text

Program Checking, Engineering, Software Systems +23