20112023

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

אם ביצעת שינויים כלשהם ב-Pure, הם יוצגו כאן בקרוב.
מסנן
פרסום בספר כנס

תוצאות חיפוש

  • 2023

    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).

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

  • 2021

    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).

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

    גישה חופשית
  • 2019

    Transformations of Boolean functions

    Dudek, J. M. & Fried, D., דצמ׳ 2019, 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019. Chattopadhyay, A. & Gastin, P. (עורכים). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 39. (Leibniz International Proceedings in Informatics, LIPIcs; כרך 150).

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

  • 2018

    Functional Synthesis via Input-Output Separation

    Chakraborty, S., Fried, D., Tabajara, L. M. & Vardi, M. Y., 2 יולי 2018, Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018. Bjorner, N. & Gurfinkel, A. (עורכים). Institute of Electrical and Electronics Engineers Inc., עמוד 139-147 9 עמוד 8603000. (Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018).

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

    גישה חופשית
  • Sequential relational decomposition

    Fried, D., Legay, A., Ouaknine, J. & Vardi, M. Y., 9 יולי 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Institute of Electrical and Electronics Engineers Inc., עמוד 432-441 10 עמוד (Proceedings - Symposium on Logic in Computer Science).

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

    גישה חופשית
  • 2016

    BDD-based boolean functional synthesis

    Fried, D., Tabajara, L. M. & Vardi, M. Y., 2016, Computer Aided Verification - 28th International Conference, CAV 2016, Proceedings. Chaudhuri, S. & Farzan, A. (עורכים). Springer Verlag, עמוד 402-421 20 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 9780).

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

  • Constrained sampling and counting: Universal hashing meets SAT solving

    Meel, K. S., Vardi, M. Y., Chakraborty, S., Fremont, D. J., Seshia, S. A., Fried, D., Ivrii, A. & Malik, S., 2016, WS-16-01: Artificial Intelligence Applied to Assistive Technologies and Smart Environments; WS-16-02: AI, Ethics, and Society; WS-16-03: Artificial Intelligence for Cyber Security; WS-16-04: Artificial Intelligence for Smart Grids and Smart Buildings; WS-16-05: Beyond NP; WS-16-06: Computer Poker and Imperfect Information Games; WS-16-07: Declarative Learning Based Programming; WS-16-08: Expanding the Boundaries of Health Informatics Using AI; WS-16-09: Incentives and Trust in Electronic Communities; WS-16-10: Knowledge Extraction from Text; WS-16-11: Multiagent Interaction without Prior Coordination; WS-16-12: Planning for Hybrid Systems; WS-16-13: Scholarly Big Data: AI Perspectives, Challenges, and Ideas; WS-16-14: Symbiotic Cognitive Systems; WS-16-15: World Wide Web and Population Health Intelligence. AI Access Foundation, עמוד 344-351 8 עמוד (AAAI Workshop - Technical Report; כרך WS-16-01 - WS-16-15).

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

  • On Modeling, Complexities, and Automatic Configuration of Wireless Industrial Control Networks

    Menczel, A., Weiss, G. & Fried, D., 18 יולי 2016, Proceedings - 2016 IEEE International Conference on Software Science, Technology and Engineering, SwSTE 2016. Institute of Electrical and Electronics Engineers Inc., עמוד 125-134 10 עמוד 7515420. (Proceedings - 2016 IEEE International Conference on Software Science, Technology and Engineering, SwSTE 2016).

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

  • 2015

    From weighted to unweighted model counting

    Chakraborty, S., Fried, D., Meel, K. S. & Vardi, M. Y., 2015, IJCAI 2015 - Proceedings of the 24th International Joint Conference on Artificial Intelligence. Wooldridge, M. & Yang, Q. (עורכים). International Joint Conferences on Artificial Intelligence, עמוד 689-695 7 עמוד (IJCAI International Joint Conference on Artificial Intelligence; כרך 2015-January).

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

  • This time the robot settles for a cost: A quantitative approach to temporal logic planning with partial satisfaction

    Lahijanian, M., Almagor, S., Fried, D., Kavraki, L. E. & Vardi, M. Y., 1 יוני 2015, Proceedings of the 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015. AI Access Foundation, עמוד 3664-3671 8 עמוד (Proceedings of the National Conference on Artificial Intelligence; כרך 5).

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

  • 2011

    Repeated-task Canadian traveler problem

    Bnaya, Z., Felner, A., Shimony, S. E., Fried, D. & Maksin, O., 2011, Proceedings of the 4th Annual Symposium on Combinatorial Search, SoCS 2011. עמוד 24-30 7 עמוד (Proceedings of the 4th Annual Symposium on Combinatorial Search, SoCS 2011).

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