Publications

  • Dror Fried, Axel Legay, Joel Ouaknine, Moshe Y. Vardi Moshe Y. Vardi. Sequential Relational Decomposition. Accepted to the Symposium on Logic in Computer Science (LICS) 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: 689-695.

  • 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.

    • Under Review/In Preparation

  • Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi. Functional Synthesis via Input-Output Separation. Submitted to FMCAD 2018.

  • Liat Cohen, Dror Fried, Gera Weiss. On Optimality in Probabilistic Environments. Submitted to NIPS 2018.

  • Dror Fried, Krishna V. Palem, Anshumali Shrivastav. Inexactness of Components in Boolean Functions. To be submitted.

  • Gur Pines, Assaf Pines, Dror Fried, Karthik Murthy James D. Winkler, Ryan T. Gill. The Feasibility of Engineered Gene Overlaps. To be submitted to ACS Synthetic Biology.