학술논문
'학술논문'
에서 검색결과 51건 | 목록
1~10
Academic Journal
Johnson, M.A.; Volos, S.; Gordon, K.; Allen, S.T.; Wintersteiger, C.M.; Clebsch, S.; Starks, J.; Costa, M.
In: Queue . (Queue, 30 April 2024, 22(2):57-86)
Academic Journal
IEEE/ACM Transactions on Computational Biology and Bioinformatics IEEE/ACM Trans. Comput. Biol. and Bioinf. Computational Biology and Bioinformatics, IEEE/ACM Transactions on. 18(6):2339-2352 Jan, 2021
Academic Journal
In: Journal of Computational Biology . (Journal of Computational Biology, 1 September 2023, 30(9):1046-1058)
Academic Journal
In: BMC Systems Biology . (BMC Systems Biology, 25 May 2018, 12(1))
Academic Journal
In: Journal of Automated Reasoning . (Journal of Automated Reasoning, 1 January 2017, 58(1):127-147)
Book
In: Bioinformatics Research and Applications - 18th International Symposium, ISBRA 2022, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13760 LNBI:114-125)
Conference
Shamis, A.; Pietzuch, P.; Canakci, B.; Castro, M.; Fournet, C.; Ashton, E.; Chamayou, A.; Clebsch, S.; Delignat-Lavaud, A.; Maffre, J.; Vrousgou, O.; Wintersteiger, C.M.; Costa, M.; Kerner, M.; Russinovich, M.
In: Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2022 , Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2022. (Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2022, 2022, :467-491)
Academic Journal
Shavit, Y.; Otani, T.; Livesey, F.J.; Yordanov, B.; Dunn, S.-J.; Wintersteiger, C.M.; Hamadi, Y.; Kugler, H.
In: BioSystems . (BioSystems, 1 August 2016, 146:26-34)
Academic Journal
In: Formal Methods in System Design . (Formal Methods in System Design, August 2013, 43(1):93-120)
Academic Journal
In: Formal Methods in System Design . (Formal Methods in System Design, June 2013, 42(3):221-261)
검색 결과 제한하기
제한된 항목
[AR] Wintersteiger, C.M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어