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
  • 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 journalArticlepeer-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 journalArticlepeer-review

    Open Access
  • SEQUENTIAL RELATIONAL DECOMPOSITION

    Fried, D., Legay, A., Ouaknine, J. & Vardi, M. Y., 2022, In: Logical Methods in Computer Science. 18, 1, p. 37:1-37:29 1.

    Research output: Contribution to journalArticlepeer-review

    Open Access