학술논문
'학술논문'
에서 검색결과 25건 | 목록
1~10
Periodical
DELIGNAT-LAVAUD, ANTOINE; FOURNET, CÉDRIC; VASWANI, KAPIL; CLEBSCH, SYLVAN; RIECHERT, MAIK; COSTA, MANUEL; RUSSINOVICH, MARK
Academic Journal
Delignat-Lavaud, Antoine; Fournet, Cédric; Vaswani, Kapil; Clebsch, Sylvan; Riechert, Maik; Costa, Manuel; Russinovich, Mark
Communications of the ACM. 67(1):68-76
Academic Journal
In Theoretical Computer Science 1 August 2016 639:91-109
Conference
Svyatkovskiy, Alexey; Lee, Sebastian; Hadjitofi, Anna; Riechert, Maik; Franco, Juliana Vicente; Allamanis, Miltiadis
2021 IEEE/ACM 18th International Conference on Mining Software Repositories (MSR) MSR Mining Software Repositories (MSR), 2021 IEEE/ACM 18th International Conference on. :329-340 May, 2021
Report
Svyatkovskiy, Alexey; Lee, Sebastian; Hadjitofi, Anna; Riechert, Maik; Franco, Juliana; Allamanis, Miltiadis
Published at Mining Software Repositories 2021
Periodical
DELIGNAT-LAVAUD, ANTOINE; FOURNET, CÉDRIC; VASWANI, KAPIL; CLEBSCH, SYLVAN; RIECHERT, MAIK; COSTA, MANUEL; RUSSINOVICH, MARK
ACM Queue; Jul/Aug2023, Vol. 21 Issue 4, p94-122, 29p
Book
Ahmed, Zara; Benque, David; Berezin, Sergey; Dahl, Anna Caroline E.; Fisher, Jasmin; Hall, Benjamin A.; Ishtiaq, Samin; Nanavati, Jay; Piterman, Nir; Riechert, Maik; Skoblov, Nikita
Verification, Model Checking & Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings; 2017, p1-13, 13p
Academic Journal
검색 결과 제한하기
제한된 항목
[AR] Riechert, Maik
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어