Eva Darulová

16 papers and 156 indexed citations i.

Eva Darulová has authored 16 papers that have received a total of 156 indexed citations. This includes 14 papers in Computational Theory and Mathematics, 11 papers in Hardware and Architecture and 6 papers in Artificial Intelligence. The topics of these papers are Numerical Methods and Algorithms (12 papers), Parallel Computing and Optimization Techniques (8 papers) and Formal Methods in Verification (7 papers). Eva Darulová is often cited by papers focused on Numerical Methods and Algorithms (12 papers), Parallel Computing and Optimization Techniques (8 papers) and Formal Methods in Verification (7 papers) and collaborates with scholars based in Germany, Switzerland and France. Eva Darulová's co-authors include Viktor Kunčak, Rupak Majumdar, Djordje Jevdjic, Adrian Sampson and Damien Zufferey and has published in prestigious journals such as ACM Computing Surveys, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems and ACM SIGPLAN Notices.