Dror Fried, Alexander Nadel, Yogev Shalmon. On Generalizing a Circuit Solution and Applications to Circuit AllSAT. Accepted to: Theory and Applications of Satisfiability Testing (SAT). 2024.
Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu. Mimicking Behaviors in Separated Domains. The AAAI Conference on Artificial Intelligence (Abstract Reprint). 2024.
S. Akshay, Eliyahu Basa, Supratik Chakraborty, Dror Fried. On Dependent Variables in Reactive Synthesis. The International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). 2024.
Dror Fried, Alexander Nadel, Yogev Shalmon. AllSAT for Combinational Circuits. Theory and Applications of Satisfiability Testing (SAT). 2023.
Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu. Mimicking Behaviors in Separated Domains. Journal of Artificial Intelligence Research (JAIR) 77, 1087-1112. 2023.
Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi. Functional Synthesis via Input-Output Separation. Formal Methods in System Design 60 (2), 228-258. 2022.
Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi. Sequential Relational Decomposition. Logical Methods in Computer Science (LMCS) 18(1). 2022.
Gal Amram, Suguman Bansal, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi, Gera Weiss. Adapting Behaviors via Reactive Synthesis. Computer Aided Verification: 33rd International Conference (CAV). 2021.
Jeffrey M. Dudek, Dror Fried, Kuldeep S. Meel. Taming Discrete Integration via the Boon of Dimensionality. Annual Conference on Neural Information Processing Systems (NeurIPS):6-12. 2020.
Jeffrey M. Dudek, Dror Fried. Transformations of Boolean Functions. Foundations of Software Technology and Theoretical Computer Science (FSTTCS): 39:1-39:14. 2019.
Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi. Functional Synthesis via Input-Output Separation. Formal Methods in Computer-Aided Design (FMCAD), pages 1-9. 2018.
Dror Fried, Axel Legay, Joel Ouaknine, Moshe Y. Vardi Moshe Y. Vardi. Sequential Relational Decomposition. Symposium on Logic in Computer Science (LICS), pages 432-441, 2018.
Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi. BDD-Based Boolean Functional Synthesis . In Computer Aided Verification - 28th International Conference, CAV 2016, Proceedings, Part II, pages 402-421.
Matthew R. Maly, Morteza Lahijanian, Dror Fried, Lydia E. Kavraki, Hadas Kress-Gazit, Moshe Y. Vardi. Temporal Logic Planning for Complex Systems in Partially-Unknown Environments with Maximal Satisfaction Guarantees. IEEE Transactions on Robotics 32(3): 583-599 (2016).
Kuldeep S. Meel, Moshe Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik. Constrained Sampling and Counting: Universal Hashing meets SAT Solving . In Beyond NP, Papers from the AAAI Workshop, Phoenix, Arizona, USA, February 12, 2016.
Amir Mencel, Gera Weiss, Dror Fried. Toward Self Organizing Wireless Control Networks. In IEEE International Conference on Software Science, Technology and Engineering, SWSTE 2016, pages 125-134.
Supratik Chakraborty, Dror Fried, Kuldeep S. Meel, Moshe Y. Vardi. From Weighted to Unweighted Model Counting. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015.
Morteza Lahijanian, Shaull Almagor, Dror Fried, Lydia E. Kavraki, Moshe Y. Vardi. This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction. In Proceedings of th Twenty-Ninth AAAI Conference on Artificial Intelligence, pages 3664-3671, 2015.
Zahy Bnaya, Ariel Felner, Dror Fried, Olga Maksin, and Eyal Solomon Shimony. Repeated-task Canadian Traveler Problem. AI Commun. 28(3): 453-477 (2015).
Yuval Itan, Shen-Ying Zhang, Guillaume Vogt, Avinash Abhyankar, Melina Herman, Patrick Nitschke, Dror Fried, Lluis Quintana-Murci, Laurent Abel, and Jean-Laurent Casanova. The Human Gene Connectome as a Map of Short Cuts for Morbid Allele Discovery. Proceedings of the National Academy of Sciences 110 (14), 5558-5563, 2013.
Dror Fried, Solomon Eyal Shimony, Amit Benbassat and Cenny Wenner. Complexity of Candian Traveler Problem Variants. Theoretical Computer Science 487: 1-16 (2013).
Zahy Bnaya, Ariel Felner, Dror Fried, Olga Maksin, and Eyal Solomon Shimony. Repeated-task Canadian traveler problem.In Proceeding of the Third International Symposium on Combinatorial Search (SoCS), July 2011.
Theoretical Aspects of the Generalized Canadian Traveler Problem. Ph.D. Dissertation, 2013.
The Structure of the Quasi Ordered Sets of Aleph-1- Dense Real Order Types with the Embeddability Relation. M.Sc. Thesis, 2009.