אין תמונה של דרור פריד

הצגת פרופיל Scopus

דרור פריד

ד"ר

 https://orcid.org/0000-0002-2108-1167
20112024

פעילות מחקר לפי שנה

  • 13 פרסום בספר כנס
  • 7 מאמר
  • 1 מאמר מכנס

תוצאות חיפוש

  • 2024

    Entailing Generalization Boosts Enumeration

    Fried, D., Nadel, A., Sebastiani, R. & Shalmon, Y., אוג׳ 2024, 27th International Conference on Theory and Applications of Satisfiability Testing, SAT 2024. Chakraborty, S. & Jiang, J-H. R. (עורכים). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 13. (Leibniz International Proceedings in Informatics, LIPIcs; כרך 305).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

  • 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. (עורכים). Springer Science and Business Media Deutschland GmbH, עמוד 123-143 21 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 14570 LNCS).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

    גישה חופשית
  • 2023

    AllSAT for Combinational Circuits

    Fried, D., Nadel, A. & Shalmon, Y., אוג׳ 2023, 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023. Mahajan, M. & Slivovsky, F. (עורכים). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, עמוד 9:1-9:18 18 עמוד 9. (Leibniz International Proceedings in Informatics, LIPIcs; כרך 271).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

  • Mimicking Behaviors in Separated Domains

    De Giacomo, G., Fried, D., Patrizi, F. & Zhu, S., 2023, ב-: Journal of Artificial Intelligence Research. 77, עמוד 1087-1112 26 עמוד

    פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים

    גישה חופשית
  • 2022

    Functional synthesis via input–output separation

    Chakraborty, S., Fried, D., Tabajara, L. M. & Vardi, M. Y., אפר׳ 2022, ב-: Formal Methods in System Design. 60, 2, עמוד 228-258 31 עמוד, 2.

    פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים

    גישה חופשית

  • SEQUENTIAL RELATIONAL DECOMPOSITION

    Fried, D., Legay, A., Ouaknine, J. & Vardi, M. Y., 2022, ב-: Logical Methods in Computer Science. 18, 1, עמוד 37:1-37:29 1.

    פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים

    גישה חופשית
  • 2021

    Adapting Behaviors via Reactive Synthesis

    Amram, G., Bansal, S., Fried, D., Tabajara, L. M., Vardi, M. Y. & Weiss, G., 2021, Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings. Silva, A. & Leino, K. R. (עורכים). Springer Science and Business Media Deutschland GmbH, עמוד 870-893 24 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 12759 LNCS).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

    גישה חופשית
  • 2020

    Taming discrete integration via the boon of dimensionality

    Dudek, J. M., Fried, D. & Meel, K. S., 2020, ב-: Advances in Neural Information Processing Systems. 2020-December

    פרסום מחקרי: פרסום בכתב עת › מאמר מכנס › ביקורת עמיתים

  • 2019

    Transformations of Boolean functions

    Dudek, J. M. & Fried, D., דצמ׳ 2019, 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019. Chattopadhyay, A. & Gastin, P. (עורכים). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 39. (Leibniz International Proceedings in Informatics, LIPIcs; כרך 150).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

  • 2018

    Functional Synthesis via Input-Output Separation

    Chakraborty, S., Fried, D., Tabajara, L. M. & Vardi, M. Y., 2 יולי 2018, Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018. Bjorner, N. & Gurfinkel, A. (עורכים). Institute of Electrical and Electronics Engineers Inc., עמוד 139-147 9 עמוד 8603000. (Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

    גישה חופשית

  • Sequential relational decomposition

    Fried, D., Legay, A., Ouaknine, J. & Vardi, M. Y., 9 יולי 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Institute of Electrical and Electronics Engineers Inc., עמוד 432-441 10 עמוד (Proceedings - Symposium on Logic in Computer Science).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

    גישה חופשית
  • 2016

    BDD-based boolean functional synthesis

    Fried, D., Tabajara, L. M. & Vardi, M. Y., 2016, Computer Aided Verification - 28th International Conference, CAV 2016, Proceedings. Chaudhuri, S. & Farzan, A. (עורכים). Springer Verlag, עמוד 402-421 20 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 9780).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

  • Constrained sampling and counting: Universal hashing meets SAT solving

    Meel, K. S., Vardi, M. Y., Chakraborty, S., Fremont, D. J., Seshia, S. A., Fried, D., Ivrii, A. & Malik, S., 2016, WS-16-01: Artificial Intelligence Applied to Assistive Technologies and Smart Environments; WS-16-02: AI, Ethics, and Society; WS-16-03: Artificial Intelligence for Cyber Security; WS-16-04: Artificial Intelligence for Smart Grids and Smart Buildings; WS-16-05: Beyond NP; WS-16-06: Computer Poker and Imperfect Information Games; WS-16-07: Declarative Learning Based Programming; WS-16-08: Expanding the Boundaries of Health Informatics Using AI; WS-16-09: Incentives and Trust in Electronic Communities; WS-16-10: Knowledge Extraction from Text; WS-16-11: Multiagent Interaction without Prior Coordination; WS-16-12: Planning for Hybrid Systems; WS-16-13: Scholarly Big Data: AI Perspectives, Challenges, and Ideas; WS-16-14: Symbiotic Cognitive Systems; WS-16-15: World Wide Web and Population Health Intelligence. AI Access Foundation, עמוד 344-351 8 עמוד (AAAI Workshop - Technical Report; כרך WS-16-01 - WS-16-15).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

  • Iterative Temporal Planning in Uncertain Environments With Partial Satisfaction Guarantees

    Lahijanian, M., Maly, M. R., Fried, D., Kavraki, L. E., Kress-Gazit, H. & Vardi, M. Y., יוני 2016, ב-: IEEE Transactions on Robotics. 32, 3, עמוד 583-599 17 עמוד, 7469409.

    פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים

    גישה חופשית

  • On Modeling, Complexities, and Automatic Configuration of Wireless Industrial Control Networks

    Menczel, A., Weiss, G. & Fried, D., 18 יולי 2016, Proceedings - 2016 IEEE International Conference on Software Science, Technology and Engineering, SwSTE 2016. Institute of Electrical and Electronics Engineers Inc., עמוד 125-134 10 עמוד 7515420. (Proceedings - 2016 IEEE International Conference on Software Science, Technology and Engineering, SwSTE 2016).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

  • 2015

    From weighted to unweighted model counting

    Chakraborty, S., Fried, D., Meel, K. S. & Vardi, M. Y., 2015, IJCAI 2015 - Proceedings of the 24th International Joint Conference on Artificial Intelligence. Wooldridge, M. & Yang, Q. (עורכים). International Joint Conferences on Artificial Intelligence, עמוד 689-695 7 עמוד (IJCAI International Joint Conference on Artificial Intelligence; כרך 2015-January).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

  • Repeated-task Canadian traveler problem

    Bnaya, Z., Felner, A., Fried, D., Maksin, O. & Shimony, S. E., 17 יולי 2015, ב-: AI Communications. 28, 3, עמוד 453-477 25 עמוד

    פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים

    גישה חופשית

  • This time the robot settles for a cost: A quantitative approach to temporal logic planning with partial satisfaction

    Lahijanian, M., Almagor, S., Fried, D., Kavraki, L. E. & Vardi, M. Y., 1 יוני 2015, Proceedings of the 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015. AI Access Foundation, עמוד 3664-3671 8 עמוד (Proceedings of the National Conference on Artificial Intelligence; כרך 5).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

  • 2013

    Complexity of Canadian traveler problem variants

    Fried, D., Shimony, S. E., Benbassat, A. & Wenner, C., 27 מאי 2013, ב-: Theoretical Computer Science. 487, עמוד 1-16 16 עמוד

    פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים

    גישה חופשית

  • The human gene connectome as a map of short cuts for morbid allele discovery

    Itan, Y., Zhang, S. Y., Vogt, G., Abhyankar, A., Herman, M., Nitschke, P., Fried, D., Quintana-Murci, L., Abel, L. & Casanova, J. L., 2 אפר׳ 2013, ב-: Proceedings of the National Academy of Sciences of the United States of America. 110, 14, עמוד 5558-5563 6 עמוד

    פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים

    גישה חופשית
  • 2011

    Repeated-task Canadian traveler problem

    Bnaya, Z., Felner, A., Shimony, S. E., Fried, D. & Maksin, O., 2011, Proceedings of the 4th Annual Symposium on Combinatorial Search, SoCS 2011. עמוד 24-30 7 עמוד (Proceedings of the 4th Annual Symposium on Combinatorial Search, SoCS 2011).

    פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים