Research output per year
Research output per year
Fingerprint
Dive into the research topics where Dror Fried is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Non-Invasive Computer Vision-Based Fruit Fly Larvae Differentiation: Ceratitis capitata and Bactrocera zonata
Kanevsky, E., Lazebnik, T., Kaspi, R., Gazit, Y., Halon, E., Fried, D., Zamansky, A. & Pines, G., 8 Sep 2025, In: Journal of Applied Entomology. 150, 1, p. 107-114 8 p.Research output: Contribution to journal › Article › peer-review
-
Entailing Generalization Boosts Enumeration
Fried, D., Nadel, A., Sebastiani, R. & Shalmon, Y., Aug 2024, 27th International Conference on Theory and Applications of Satisfiability Testing, SAT 2024. Chakraborty, S. & Jiang, J.-H. R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 305).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
On Dependent Variables in Reactive Synthesis
Akshay, S., Basa, E., Chakraborty, S. & Fried, D., 2024, Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Finkbeiner, B. & Kovács, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 123-143 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14570 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
AllSAT for Combinational Circuits
Fried, D., Nadel, A. & Shalmon, Y., Aug 2023, 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023. Mahajan, M. & Slivovsky, F. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 9:1-9:18 18 p. 9. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 271).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Mimicking Behaviors in Separated Domains
De Giacomo, G., Fried, D., Patrizi, F. & Zhu, S., 2023, In: Journal of Artificial Intelligence Research. 77, p. 1087-1112 26 p.Research output: Contribution to journal › Article › peer-review
Open Access