학술논문
'학술논문'
에서 검색결과 62건 | 목록
1~10
Academic Journal
In: Theoretical Computer Science . (Theoretical Computer Science, 4 January 2023, 941:202-220)
Academic Journal
In: Autonomous Agents and Multi-Agent Systems . (Autonomous Agents and Multi-Agent Systems, 1 October 2020, 34(2))
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:896-904)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, 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), 2023, 13994 LNCS:329-349)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, 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), 2023, 13994 LNCS:28-35)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2022. (Leibniz International Proceedings in Informatics, LIPIcs, 1 December 2022, 250)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 49th EATCS International Conference on Automata, Languages, and Programming, ICALP 2022. (Leibniz International Proceedings in Informatics, LIPIcs, 1 July 2022, 229)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 49th EATCS International Conference on Automata, Languages, and Programming, ICALP 2022. (Leibniz International Proceedings in Informatics, LIPIcs, 1 July 2022, 229)
Academic Journal
In: Formal Methods in System Design . (Formal Methods in System Design, 1 June 2017, 50(2-3):207-248)
Academic Journal
Jacobs, S.; Bloem, R.; Hell, T.; Könighofer, R.; Tentrup, L.; Brenguier, R.; Pérez, G.A.; Raskin, J.-F.; Sankur, O.; Ehlers, R.; Ryzhyk, L.; Walker, A.; Seidl, M.
In: International Journal on Software Tools for Technology Transfer . (International Journal on Software Tools for Technology Transfer, 1 June 2017, 19(3):367-390)
검색 결과 제한하기
제한된 항목
[AR] Sankur, O.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어