학술논문
'학술논문'
에서 검색결과 55건 | 목록
1~10
Academic Journal
Stenseth, N.C.; Whittington, J.D.; Pielke, R.; Li, R.; Bjørnstad, O.N.; Schlatte, R.; Johnsen, E.B.; Liu, X.; Chen, B.; Kusnezov, D.; Gao, G.F.; Fraser, C.; Bai, Y.; Guan, D.; Xu, B.; Deng, K.; Gong, P.; Xiao, Y.
In: Proceedings of the National Academy of Sciences of the United States of America . (Proceedings of the National Academy of Sciences of the United States of America, 7 March 2023, 120(10))
Academic Journal
In: Science of Computer Programming . (Science of Computer Programming, 1 November 2022, 223)
Conference
Kamburjan, E.; Klungre, V.N.; Tapia Tarifa, S.L.; Schlatte, R.; Giese, M.; Johnsen, E.B.; Cameron, D.
In: CEUR Workshop Proceedings , FMDT 2023 - Proceedings of the Workshop on Applications of Formal Methods and Digital Twins, co-located with 25th International Symposium on Formal Methods, FM 2023. (CEUR Workshop Proceedings, 2023, 3507)
Academic Journal
Stenseth, N.C.; Whittington, J.D.; Schlatte, R.; Pielke, R.; Bjørnstad, O.N.; Johnsen, E.B.; Liu, X.; Chen, B.; Kusnezov, D.; Gao, G.F.; Fraser, C.; Gong, P.; Guan, D.
In: Proceedings of the National Academy of Sciences of the United States of America . (Proceedings of the National Academy of Sciences of the United States of America, 2023, 120(40))
Academic Journal
Soylu, A.; Giese, M.; Schlatte, R.; Jimenez-Ruiz, E.; Kharlamov, E.; Özçep, O.; Neuenstadt, C.; Brandt, S.
In: Journal of Ambient Intelligence and Smart Environments . (Journal of Ambient Intelligence and Smart Environments, 2017, 9(1):77-95)
Book
In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13701 LNCS:188-204)
Book
In: Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13704 LNCS:71-88)
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13360 LNCS:437-445)
Book
In: Advanced Information Networking and Applications - Proceedings of the 36th International Conference on Advanced Information Networking and Applications AINA-2022 . (Lecture Notes in Networks and Systems, 2022, 451 LNNS:141-152)
Academic Journal
In: Journal of Logical and Algebraic Methods in Programming . (Journal of Logical and Algebraic Methods in Programming, 8 August 2015, 84(1):67-91)
검색 결과 제한하기
제한된 항목
[AR] Schlatte, R.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어