학술논문
'학술논문'
에서 검색결과 16건 | 목록
1~10
Academic Journal
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on. 42(5):1718-1731 May, 2023
Academic Journal
In: Automatica . (Automatica, February 2024, 160)
Academic Journal
In: Journal of Symbolic Logic . (Journal of Symbolic Logic, 30 June 2022, 87(2):585-625)
Academic Journal
In: ACM Transactions on Programming Languages and Systems . (ACM Transactions on Programming Languages and Systems, 8 June 2021, 43(2))
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 31st Annual European Symposium on Algorithms, ESA 2023. (Leibniz International Proceedings in Informatics, LIPIcs, September 2023, 274)
Conference
In: Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS , 22nd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2023, 2023-May:652-660)
Conference
In: ACM International Conference Proceeding Series , 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022. (ACM International Conference Proceeding Series, 19 September 2022)
Book
In: Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13505 LNCS:25-41)
Conference
In: IFAC-PapersOnLine . (IFAC-PapersOnLine, 2020, 53(2):14462-14469)
Book
In: Computer Aided Verification - 32nd International Conference, CAV 2020, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12225 LNCS:349-371)
검색 결과 제한하기
제한된 항목
[AR] Takisaka, T.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어