Eva Darulová

637 total citations
18 papers, 243 citations indexed

About

Eva Darulová is a scholar working on Computational Theory and Mathematics, Hardware and Architecture and Artificial Intelligence. According to data from OpenAlex, Eva Darulová has authored 18 papers receiving a total of 243 indexed citations (citations by other indexed papers that have themselves been cited), including 16 papers in Computational Theory and Mathematics, 11 papers in Hardware and Architecture and 8 papers in Artificial Intelligence. Recurrent topics in Eva Darulová's work include Numerical Methods and Algorithms (13 papers), Formal Methods in Verification (8 papers) and Parallel Computing and Optimization Techniques (7 papers). Eva Darulová is often cited by papers focused on Numerical Methods and Algorithms (13 papers), Formal Methods in Verification (8 papers) and Parallel Computing and Optimization Techniques (7 papers). Eva Darulová collaborates with scholars based in Germany, Switzerland and United States. Eva Darulová's co-authors include Viktor Kunčak, Rupak Majumdar, Indranil Saha, Armin Alaghi, Andreas Gerstlauer, Michael Carbin, Phillip Stanley‐Marbell, Saša Misailovíc, Damien Zufferey and Adrian Sampson 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.

In The Last Decade

Eva Darulová

18 papers receiving 233 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Eva Darulová Germany	8	171	155	84	65	27	18	243
Matthew Lewis Germany	7	93 0.5×	84 0.5×	69 0.8×	61 0.9×	67 2.5×	20	195
Markus Schordan United States	11	88 0.5×	214 1.4×	38 0.5×	65 1.0×	118 4.4×	34	282
Anton Wijs Netherlands	9	112 0.7×	48 0.3×	20 0.2×	68 1.0×	23 0.9×	37	176
David M. Russinoff United States	6	177 1.0×	83 0.5×	37 0.4×	116 1.8×	21 0.8×	18	214
Sean Safarpour Canada	12	199 1.2×	230 1.5×	158 1.9×	47 0.7×	29 1.1×	29	347
A. Mishchenko United States	13	259 1.5×	280 1.8×	300 3.6×	101 1.6×	28 1.0×	27	462
Yakir Vizel United States	6	101 0.6×	56 0.4×	45 0.5×	79 1.2×	18 0.7×	14	172
B. Plessier United States	8	242 1.4×	213 1.4×	166 2.0×	60 0.9×	12 0.4×	12	332
Matthieu Martel France	6	122 0.7×	72 0.5×	21 0.3×	49 0.8×	16 0.6×	39	159
Allon Adir Israel	10	75 0.4×	254 1.6×	133 1.6×	49 0.8×	66 2.4×	21	327

Countries citing papers authored by Eva Darulová

Since Specialization

Citations

This map shows the geographic impact of Eva Darulová's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Eva Darulová with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Eva Darulová more than expected).

Fields of papers citing papers by Eva Darulová

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Eva Darulová. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Eva Darulová. The network helps show where Eva Darulová may publish in the future.

Co-authorship network of co-authors of Eva Darulová

This figure shows the co-authorship network connecting the top 25 collaborators of Eva Darulová. A scholar is included among the top collaborators of Eva Darulová based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Eva Darulová. Eva Darulová is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

18 of 18 papers shown

Darulová, Eva, et al.. (2023). Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY. International Journal on Software Tools for Technology Transfer. 25(2). 185–204. 1 indexed citations

Darulová, Eva, et al.. (2023). Sound Mixed Fixed-Point Quantization of Neural Networks. ACM Transactions on Embedded Computing Systems. 22(5s). 1–26. 2 indexed citations

Darulová, Eva, et al.. (2021). Interval constraint-based mutation testing of numerical specifications. 388–399. 1 indexed citations

Darulová, Eva, et al.. (2021). Regime Inference for Sound Floating-Point Optimizations. ACM Transactions on Embedded Computing Systems. 20(5s). 1–23. 4 indexed citations

Darulová, Eva, et al.. (2020). Interactive synthesis of temporal specifications from examples and natural language. Proceedings of the ACM on Programming Languages. 4(OOPSLA). 1–26. 9 indexed citations

Stanley‐Marbell, Phillip, Armin Alaghi, Michael Carbin, et al.. (2020). Exploiting Errors for Efficiency. ACM Computing Surveys. 53(3). 1–39. 32 indexed citations

Darulová, Eva, et al.. (2019). Memory-Efficient Mixed-Precision Implementations for Robust Explicit Model Predictive Control. ACM Transactions on Embedded Computing Systems. 18(5s). 1–19. 1 indexed citations

Darulová, Eva, et al.. (2018). A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4. Chalmers Research (Chalmers University of Technology). 1–10. 7 indexed citations

Darulová, Eva, et al.. (2018). Discrete Choice in the Presence of Numerical Uncertainties. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 37(11). 2381–2392. 1 indexed citations

10.

Darulová, Eva & Viktor Kunčak. (2017). Towards a Compiler for Reals. ACM Transactions on Programming Languages and Systems. 39(2). 1–28. 41 indexed citations

11.

Darulová, Eva & Viktor Kunčak. (2014). Sound compilation of reals. Infoscience (Ecole Polytechnique Fédérale de Lausanne). 235–248. 71 indexed citations

12.

Darulová, Eva. (2014). Programming with Numerical Uncertainties. Infoscience (Ecole Polytechnique Fédérale de Lausanne). 1 indexed citations

13.

Darulová, Eva & Viktor Kunčak. (2014). Sound compilation of reals. ACM SIGPLAN Notices. 49(1). 235–248. 9 indexed citations

14.

Darulová, Eva, Viktor Kunčak, Rupak Majumdar, & Indranil Saha. (2013). Synthesis of fixed-point programs. 1–10. 14 indexed citations

15.

Darulová, Eva, Viktor Kunčak, Rupak Majumdar, & Indranil Saha. (2013). On the Generation of Precise Fixed-Point Expressions. Infoscience (Ecole Polytechnique Fédérale de Lausanne). 1 indexed citations

16.

Darulová, Eva, Viktor Kunčak, Rupak Majumdar, & Indranil Saha. (2013). Synthesis of fixed-point programs. Infoscience (Ecole Polytechnique Fédérale de Lausanne). 1–10. 9 indexed citations

17.

Darulová, Eva & Viktor Kunčak. (2011). Trustworthy numerical computation in Scala. ACM SIGPLAN Notices. 46(10). 325–344. 4 indexed citations

18.

Darulová, Eva & Viktor Kunčak. (2011). Trustworthy numerical computation in Scala. 325–344. 35 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact