학술논문
'학술논문'
에서 검색결과 309건 | 목록
1~10
Academic Journal
In: Artificial Intelligence . (Artificial Intelligence, September 2023, 322)
Academic Journal
Abate, A.; Barbosa, H.; Barrett, C.; David, C.; Kesseli, P.; Kroening, D.; Polgreen, E.; Reynolds, A.; Tinelli, C.
In: Journal of Automated Reasoning . (Journal of Automated Reasoning, June 2023, 67(2))
Conference
2019 IEEE 58th Conference on Decision and Control (CDC) Decision and Control (CDC), 2019 IEEE 58th Conference on. :5338-5343 Dec, 2019
Conference
In: Proceedings of the AAAI Conference on Artificial Intelligence . (Proceedings of the AAAI Conference on Artificial Intelligence, 25 March 2024, 38(19):21412-21419)
Academic Journal
In: Formal Methods in System Design . (Formal Methods in System Design, December 2022, 61(2-3):164-197)
Conference
Sun, Y.; Brain, M.; Kroening, D.; Hawthorn, A.; Wilson, T.; Schanda, F.; Jimenez, F.J.G.; Daniel, S.; Bryan, C.; Broster, I.
2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS) Engineering of Complex Computer Systems (ICECCS), 2017 22nd International Conference on. :170-173 Nov, 2017
Conference
2015 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2015. :105-111 Sep, 2015
Report
Abraham, E.; Abbott, J.; Becker, B.; Bigatti, A. M.; Brain, M.; Buchberger, B.; Cimatti, A.; Davenport, J. H.; England, M.; Fontaine, P.; Forrest, S.; Griggio, A.; Kroening, D.; Seiler, W. M.; Sturm, T.
M. Kohlhase, M. Johansson, B. Miller, L. de Moura, F. Tompa, eds., Intelligent Computer Mathematics (Proceedings of CICM 2016), pp. 28-43, (Lecture Notes in Computer Science, 9791). Springer International Publishing, 2016
Report
Abraham, E.; Abbott, J.; Becker, B.; Bigatti, A. M.; Brain, M.; Buchberger, B.; Cimatti, A.; Davenport, J. H.; England, M.; Fontaine, P.; Forrest, S.; Griggio, A.; Kroening, D.; Seiler, W. M.; Sturm, T.
ACM Communications in Computer Algebra, 50:4 (issue 198), pp. 145-147, ACM, 2016
Academic Journal
In: Formal Methods in System Design . (Formal Methods in System Design, July 2021, 57(1):34-52)
검색 결과 제한하기
제한된 항목
[AR] Kroening, D.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어