20112023

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

טביעת אצבע

תחומי מחקר אלו נובעים מהפרסומים המדעיים של אדם זה. יחד הם יוצרים טביעת אצבע ייחודית.
  • 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 עמוד, 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.

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

    גישה חופשית
  • 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).

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

    גישה חופשית