default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDror Fried
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c15]Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu:
Mimicking Behaviors in Separated Domains (Abstract Reprint). AAAI 2024: 22695- [c14]Dror Fried, Alexander Nadel, Roberto Sebastiani, Yogev Shalmon:
Entailing Generalization Boosts Enumeration. SAT 2024: 13:1-13:14 - [c13]S. Akshay, Eliyahu Basa, Supratik Chakraborty, Dror Fried:
On Dependent Variables in Reactive Synthesis. TACAS (1) 2024: 123-143 - [i11]S. Akshay, Eliyahu Basa, Supratik Chakraborty, Dror Fried:
On Dependent Variables in Reactive Synthesis. CoRR abs/2401.11290 (2024) - 2023
- [j6]Giuseppe De Giacomo, Dror Fried, Fabio Patrizi
, Shufang Zhu:
Mimicking Behaviors in Separated Domains. J. Artif. Intell. Res. 77: 1087-1112 (2023) - [c12]Dror Fried, Alexander Nadel, Yogev Shalmon:
AllSAT for Combinational Circuits. SAT 2023: 9:1-9:18 - [i10]John Augustine, Dror Fried, Krishna V. Palem, Duc-Hung Pham, Anshumali Shrivastava:
Algorithmic Foundations of Inexact Computing. CoRR abs/2305.18705 (2023) - 2022
- [j5]Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi:
Functional synthesis via input-output separation. Formal Methods Syst. Des. 60(2): 228-258 (2022) - [j4]Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi:
Sequential Relational Decomposition. Log. Methods Comput. Sci. 18(1) (2022) - [i9]Giuseppe De Giacomo, Dror Fried, Fabio Patrizi, Shufang Zhu:
Mimicking Behaviors in Separated Domains. CoRR abs/2205.09201 (2022) - [i8]Tali Boneh-Shitrit, Shir Amir, Annika Bremhorst, Daniel S. Mills, Stefanie Riemer, Dror Fried, Anna Zamansky:
Deep Learning Models for Automated Classification of Dog Emotional States from Facial Expressions. CoRR abs/2206.05619 (2022) - 2021
- [c11]Gal Amram, Suguman Bansal, Dror Fried, Lucas Martinelli Tabajara, Moshe Y. Vardi, Gera Weiss:
Adapting Behaviors via Reactive Synthesis. CAV (1) 2021: 870-893 - [i7]Gal Amram, Suguman Bansal, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi, Gera Weiss:
Adapting Behaviors via Reactive Synthesis. CoRR abs/2105.13837 (2021) - 2020
- [c10]Jeffrey M. Dudek, Dror Fried, Kuldeep S. Meel:
Taming Discrete Integration via the Boon of Dimensionality. NeurIPS 2020 - [i6]Jeffrey M. Dudek, Dror Fried, Kuldeep S. Meel:
Taming Discrete Integration via the Boon of Dimensionality. CoRR abs/2010.10724 (2020)
2010 – 2019
- 2019
- [c9]Jeffrey M. Dudek, Dror Fried:
Transformations of Boolean Functions. FSTTCS 2019: 39:1-39:14 - [i5]Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi:
Sequential Relational Decomposition. CoRR abs/1903.01368 (2019) - 2018
- [c8]Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi:
Functional Synthesis via Input-Output Separation. FMCAD 2018: 1-9 - [c7]Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi:
Sequential Relational Decomposition. LICS 2018: 432-441 - [i4]Liat Cohen, Dror Fried, Gera Weiss:
An optimal approximation of discrete random variables with respect to the Kolmogorov distance. CoRR abs/1805.07535 (2018) - [i3]Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi:
Functional Synthesis via Input-Output Separation. CoRR abs/1808.08190 (2018) - 2016
- [j3]Morteza Lahijanian, Matthew R. Maly, Dror Fried, Lydia E. Kavraki, Hadas Kress-Gazit, Moshe Y. Vardi:
Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees. IEEE Trans. Robotics 32(3): 583-599 (2016) - [c6]Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik:
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. AAAI Workshop: Beyond NP 2016 - [c5]Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi:
BDD-Based Boolean Functional Synthesis. CAV (2) 2016: 402-421 - [c4]Amir Menczel, Gera Weiss, Dror Fried:
On Modeling, Complexities, and Automatic Configuration of Wireless Industrial Control Networks. SwSTE 2016: 125-134 - 2015
- [j2]Zahy Bnaya, Ariel Felner, Dror Fried, Olga Maksin, Solomon Eyal Shimony:
Repeated-task Canadian Traveler Problem. AI Commun. 28(3): 453-477 (2015) - [c3]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. AAAI 2015: 3664-3671 - [c2]Supratik Chakraborty, Dror Fried, Kuldeep S. Meel, Moshe Y. Vardi:
From Weighted to Unweighted Model Counting. IJCAI 2015: 689-695 - [i2]Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii, Sharad Malik:
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving. CoRR abs/1512.06633 (2015) - 2013
- [j1]Dror Fried, Solomon Eyal Shimony, Amit Benbassat, Cenny Wenner:
Complexity of Canadian traveler problem variants. Theor. Comput. Sci. 487: 1-16 (2013) - 2012
- [i1]Dror Fried, Solomon Eyal Shimony, Amit Benbassat, Cenny Wenner:
Complexity of Canadian Traveler Problem Variants. CoRR abs/1207.4710 (2012) - 2011
- [c1]Zahy Bnaya, Ariel Felner, Dror Fried, Olga Maksin, Solomon Eyal Shimony:
Repeated-Task Canadian Traveler Problem. SOCS 2011: 24-30
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-22 19:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
