Dror Fried
Dror Fried
The Open University of Israel
No verified email
Title
Cited by
Cited by
Year
The human gene connectome as a map of short cuts for morbid allele discovery
Y Itan, SY Zhang, G Vogt, A Abhyankar, M Herman, P Nitschke, D Fried, ...
Proceedings of the National Academy of Sciences 110 (14), 5558-5563, 2013
612013
Iterative temporal planning in uncertain environments with partial satisfaction guarantees
M Lahijanian, MR Maly, D Fried, LE Kavraki, H Kress-Gazit, MY Vardi
IEEE Transactions on Robotics 32 (3), 583-599, 2016
502016
Constrained sampling and counting: Universal hashing meets SAT solving
KS Meel, M Vardi, S Chakraborty, DJ Fremont, SA Seshia, D Fried, A Ivrii, ...
arXiv preprint arXiv:1512.06633, 2015
502015
This Time the Robot Settles for a Cost: A Quantitative Approach to Temporal Logic Planning with Partial Satisfaction.
M Lahijanian, S Almagor, D Fried, LE Kavraki, MY Vardi
AAAI, 3664-3671, 2015
452015
From Weighted to Unweighted Model Counting.
S Chakraborty, D Fried, KS Meel, MY Vardi
IJCAI, 689-695, 2015
372015
Complexity of Canadian traveler problem variants
D Fried, SE Shimony, A Benbassat, C Wenner
Theoretical Computer Science 487, 1-16, 2013
292013
BDD-based Boolean functional synthesis
D Fried, LM Tabajara, MY Vardi
International Conference on Computer Aided Verification, 402-421, 2016
272016
Repeated-task Canadian traveler problem
Z Bnaya, A Felner, D Fried, O Maksin, SE Shimony
AI Communications 28 (3), 453-477, 2015
142015
Functional synthesis via input-output separation
S Chakraborty, D Fried, LM Tabajara, MY Vardi
2018 Formal Methods in Computer Aided Design (FMCAD), 1-9, 2018
82018
Sequential Relational Decomposition
D Fried, A Legay, J Ouaknine, MY Vardi
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
42018
Theoretical Aspects of the Generalized Canadian Traveler Problem
D Fried
Ben-Gurion University of the Negev, 2013
22013
Taming discrete integration via the boon of dimensionality
J Dudek, D Fried, KS Meel
Advances in Neural Information Processing Systems 33, 2020
2020
Transformations of Boolean Functions
JM Dudek, D Fried
39th IARCS Annual Conference on Foundations of Software Technology and …, 2019
2019
On Modeling, Complexities, and Automatic Configuration of Wireless Industrial Control Networks
A Menczel, G Weiss, D Fried
2016 IEEE International Conference on Software Science, Technology and …, 2016
2016
THE STRUCTURE OF THE QUASI ORDERED SETS OF ℵ1-DENSE REAL ORDER TYPES WITH THE EMBEDDABILITY RELATION
D Fried
2012
THEORY IN THE CANADIAN TRAVELER PROBLEM
D FRIED
2010
Boolean Synthesis via Decomposition
LM Tabajara, S Chakraborty, D Fried, MY Vardi
CompSci 275 Winter 2016, Constraint Networks Project Information
KS Meel, MY Vardi, S Chakraborty, DJ Fremont, SA Seshia, D Fried, A Ivrii, ...
Optimal Policies for Special Cases of the Canadian Traveler Problem
D Fried, SE Shimony, A Felner
The system can't perform the operation now. Try again later.
Articles 1–19