학술논문
'학술논문'
에서 검색결과 12건 | 목록
1~10
Academic Journal
In: Machine Learning . (Machine Learning, October 2023, 112(10):3685-3712)
Book
Wu, H.; Zeljić, A.; Tagomori, T.; Julian, K.; Huang, P.; Wu, M.; Barrett, C.; Isac, O.; Refaeli, I.; Amir, G.; Bassan, S.; Lahav, O.; Katz, G.; Daggitt, M.; Komendantskaya, E.; Kokke, W.; Zhang, M.
In: Computer Aided Verification - 36th International Conference, CAV 2024, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14682 LNCS:249-264)
Academic Journal
In: Formal Methods in System Design . (Formal Methods in System Design, August 2021, 57(2):121-156)
Academic Journal
In: Journal of Automated Reasoning . (Journal of Automated Reasoning, 1 January 2017, 58(1):127-147)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13243 LNCS:143-163)
Conference
Wu, H.; Ozdemir, A.; Zeljic, A.; Julian, K.; Irfan, A.; Fouladi, S.; Barrett, C.; Gopinath, D.; Katz, G.; Pasareanu, C.
In: Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020 , Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020. (Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020, 21 September 2020, :128-137)
Book
Katz, G.; Huang, D.A.; Ibeling, D.; Julian, K.; Lazarus, C.; Lim, R.; Shah, P.; Thakoor, S.; Wu, H.; Zeljić, A.; Dill, D.L.; Kochenderfer, M.J.; Barrett, C.
In: Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11561 LNCS:443-452)
Conference
In: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018 , Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018. (Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018, 2 July 2018, :50-59)
Book
In: Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2018, 10900 LNAI:246-262)
Book
In: Theory and Applications of Satisfiability Testing – SAT 2016 - 19th International Conference, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, 9710:249-266)
검색 결과 제한하기
제한된 항목
[AR] Zeljic, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어