학술논문
'학술논문'
에서 검색결과 87건 | 목록
1~10
Conference
2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation Source Code Analysis and Manipulation (SCAM), 2014 IEEE 14th International Working Conference on. :105-114 Sep, 2014
Academic Journal
Baudin, Patrick; Bobot, François; Bühler, David; Correnson, Loïc; Kirchner, Florent; Kosmatov, Nikolai; Maroneze, André; Perrelle, Valentin; Prevosto, Virgile; Signoles, Julien; Williams, Nicky
Communications of the ACM. 64(8):56-68
Conference
2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2024 IEEE/ACM 12th International Conference on. :100-110 Apr, 2024
Report
Scholl, P.; Williams, H. J.; Bornet, G.; Wallner, F.; Barredo, D.; Lahaye, T.; Browaeys, A.; Henriet, L.; Signoles, A.; Hainaut, C.; Franz, T.; Geier, S.; Tebben, A.; Salzinger, A.; Zürn, G.; Weidemüller, M.
Phys. Rev. X Quantum vol. 3, p. 020303 (2022)
Conference
Proceedings of the 30th Annual ACM Symposium on Applied Computing. :1765-1772
Academic Journal
M. Persson; S. Aizawa; N. André; S. Barabash; Y. Saito; Y. Harada; D. Heyner; S. Orsini; A. Fedorov; C. Mazelle; Y. Futaana; L. Z. Hadid; M. Volwerk; G. Collinson; B. Sanchez-Cano; A. Barthe; E. Penou; S. Yokota; V. Génot; J. A. Sauvaud; D. Delcourt; M. Fraenz; R. Modolo; A. Milillo; H.-U. Auster; I. Richter; J. Z. D. Mieth; P. Louarn; C. J. Owen; T. S. Horbury; K. Asamura; S. Matsuda; H. Nilsson; M. Wieser; T. Alberti; A. Varsani; V. Mangano; A. Mura; H. Lichtenegger; G. Laky; H. Jeszenszky; K. Masunaga; C. Signoles; M. Rojo; G. Murakami
Nature Communications, Vol 13, Iss 1, Pp 1-10 (2022)
Conference
Proceedings of the 28th Annual ACM Symposium on Applied Computing. :1230-1235
Academic Journal
Electronic Proceedings in Theoretical Computer Science, Vol 187, Iss Proc. F-IDE 2015, Pp 86-96 (2015)
검색 결과 제한하기
제한된 항목
[검색어] Signoles, C.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어