No photo of דרור פריד

View Scopus Profile

Dror Fried

Dr.

 https://orcid.org/0000-0002-2108-1167
20112024

Research activity 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
View full fingerprint

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
Explore network further
  • 13 Conference contribution
  • 7 Article
  • 1 Conference article

  • 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

  • Functional synthesis via input–output separation

    Chakraborty, S., Fried, D., Tabajara, L. M. & Vardi, M. Y., Apr 2022, In: Formal Methods in System Design. 60, 2, p. 228-258 31 p., 2.

    Research output: Contribution to journal › Article › peer-review

    Open Access
View all 21 Research outputs