דרור פריד

ד"ר

20112023

نتاج الأبحاث سنويًا

إذا أجريت أي تغييرات في Pure، فستكون هذه التغييرات مرئية هنا قريبًا.

بصمة

تأتي تسميات الموضوعات هذه من أعمال هذا الشخص. فهما يشكلان معًا بصمة فريدة.
  • 1 ملفات شخصية مماثلة

أوجه التعاون ومجالات البحث الرئيسية خلال السنوات الخمس الماضية

التعاون الخارجي الأخير على المستوى الدولي/الإقليمي. ابحث بدقة حول التفاصيل بالنقر على النقاط أو
  • 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 صفحة

    نتاج البحث: نشر في مجلةمقالةمراجعة النظراء

    دخول حر
  • 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 صفحة

    نتاج البحث: نشر في مجلةمقالةمراجعة النظراء

    دخول حر
  • 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.

    نتاج البحث: نشر في مجلةمقالةمراجعة النظراء

    دخول حر
  • 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).

    نتاج البحث: فصل من :كتاب / تقرير / مؤتمرمنشور من مؤتمرمراجعة النظراء

    دخول حر