학술논문
'학술논문'
에서 검색결과 127건 | 목록
1~10
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, 20 June 2024, 8)
Academic Journal
In: Formal Aspects of Computing . (Formal Aspects of Computing, 21 July 2022, 34(1))
Conference
2015 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2015. :89-96 Sep, 2015
Conference
2014 International Science and Technology Conference (Modern Networking Technologies) (MoNeTeC) Science and Technology Conference (Modern Networking Technologies) (MoNeTeC), 2014 International. :1-4 Oct, 2014
Book
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, 14681 LNCS:26-41)
Conference
In: Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, NSDI 2024 , Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, NSDI 2024. (Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, NSDI 2024, 2024, :859-875)
Conference
In: Proceedings - Design Automation Conference , 2023 60th ACM/IEEE Design Automation Conference, DAC 2023. (Proceedings - Design Automation Conference, 2023, 2023-July)
Book
In: Automated Deduction – CADE 29 - 29th International Conference on Automated Deduction, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14132 LNAI:41-60)
Conference
Krishnaswamy, U.; Singh, R.; Mattes, P.; Bissonnette, P.-A.C.; Bjørner, N.; Nasrin, Z.; Kothari, S.; Reddy, P.; Abeln, J.; Kandula, S.; Raj, H.; Irun-Briz, L.; Gaudette, J.; Lan, E.
In: Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2023 , Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2023. (Proceedings of the 20th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2023, 2023, :515-529)
Book
In: Verification, Model Checking, and Abstract Interpretation - 24th International Conference, VMCAI 2023, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13881 LNCS:91-105)
검색 결과 제한하기
제한된 항목
[AR] Bjørner, N.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어