학술논문
'학술논문'
에서 검색결과 22건 | 목록
1~10
Academic Journal
In: International Journal of Game Theory . (International Journal of Game Theory, December 2023, 52(4):1179-1214)
Academic Journal
In: Logical Methods in Computer Science . (Logical Methods in Computer Science, 2023, 19(4):16:1-16:34)
Academic Journal
Hoffmeister-Wittmann, P.; Mock, A.; Scherr, A.-L.; Kelmendi, E.; Xu, K.; Nader, L.; Kessler, A.; Schmitt, N.; Sobol, B.; Springfeld, C.; Jäger, D.; Köhler, B.C.; Heilig, C.E.; Spiekermann, K.; Horak, P.; Kreutzfeldt, S.; Fröhling, S.; Korell, F.; Günther, M.; Boeck, S.; Westphalen, C.B.; Schulze-Osthoff, K.; Trojan, J.; Kindler, T.; Weichert, W.; Bitzer, M.; Folprecht, G.; Illert, A.L.; Boerries, M.; Klauschen, F.; Ochsenreither, S.; Siveke, J.; Bauer, S.; Hübschmann, D.; Ormanns, S.; Nichetti, F.; Brors, B.; Hüllein, J.; Uhrig, S.; Albrecht, T.; Fritzsche, S.; Weiler, S.; Stenzinger, A.; Schirmacher, P.; Roessler, S.; Goeppert, B.; Glimm, H.; Banales, J.M.
In: Liver International . (Liver International, December 2022, 42(12):2855-2870)
Academic Journal
In: Information and Computation . (Information and Computation, May 2022, 285)
Academic Journal
In: Proceedings of the ACM on Programming Languages . (Proceedings of the ACM on Programming Languages, January 2021, 5(POPL))
Conference
In: Proceedings - Symposium on Logic in Computer Science , 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023. (Proceedings - Symposium on Logic in Computer Science, 2023, 2023-June)
Conference
In: Proceedings - Symposium on Logic in Computer Science , 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023. (Proceedings - Symposium on Logic in Computer Science, 2023, 2023-June)
Conference
In: Proceedings - Symposium on Logic in Computer Science , Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022. (Proceedings - Symposium on Logic in Computer Science, 2 August 2022)
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13660 LNCS:21-38)
Academic Journal
Xu, K.; Kessler, A.; Nichetti, F.; Hoffmeister-Wittmann, P.; Scherr, A. -L.; Nader, L.; Kelmendi, E.; Schmitt, N.; Schwab, M.; Jaeger, D.; Springfeld, C.; Dill, M. T.; Heikenwaelder, M.; Roessler, S.; Goeppert, B.; Koehler, B. C.
검색 결과 제한하기
제한된 항목
[AR] Kelmendi, E.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어