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