דרור פריד

ד"ר

20112024

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

بصمة

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

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

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

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

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

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

    دخول حر