نتاج الأبحاث سنويًا
نتاج الأبحاث سنويًا
بصمة
تأتي تسميات الموضوعات هذه من أعمال هذا الشخص. فهما يشكلان معًا بصمة فريدة.
- 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.نتاج البحث: نشر في مجلة › مقالة › مراجعة النظراء
دخول حر