פרסומים מחקריים בשנה
פרסומים מחקריים בשנה
טביעת אצבע
תחומי מחקר אלו נובעים מהפרסומים המדעיים של אדם זה. יחד הם יוצרים טביעת אצבע ייחודית.
- 1 פרופילים דומים
שיתופי פעולה ותחומי מחקר עיקריים בחמש השנים האחרונות
שיתוף פעולה עם חוקרים ממדינות/אזורים חיצוניים מהתקופה האחרונה. לפרטים, יש ללחוץ על הנקודות או
-
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).פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים
גישה חופשית -
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.פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים
גישה חופשית