학술논문
'학술논문'
에서 검색결과 54건 | 목록
1~10
Academic Journal
Sheffer, R.; Amitai, Z.; Savion, M.; Nuss, N.; Almagor, S.; Salama, M.; Bucris, E.; Indenbaum, V.; Lustig, Y.; Leshem, E.; Roee Singer, S.; Alroy Preis, S.
In: Vaccine . (Vaccine, 10 May 2024, 42(13):3153-3156)
Academic Journal
In: Logical Methods in Computer Science . (Logical Methods in Computer Science, 2023, 19(4):19:1-19:32)
Book
In: Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14574 LNCS:191-211)
Book
In: Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14575 LNCS:229-249)
Academic Journal
In: ACM Transactions on Computational Logic . (ACM Transactions on Computational Logic, April 2022, 23(2))
Academic Journal
In: Information and Computation . (Information and Computation, January 2022, 282)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2023. (Leibniz International Proceedings in Informatics, LIPIcs, December 2023, 284)
Academic Journal
In: Theory of Computing Systems . (Theory of Computing Systems, May 2021, 65(4):638-661)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023. (Leibniz International Proceedings in Informatics, LIPIcs, August 2023, 272)
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, January 2021, 5(POPL))
검색 결과 제한하기
제한된 항목
[AR] Almagor, S.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어