학술논문
'학술논문'
에서 검색결과 30건 | 목록
1~10
Academic Journal
In: Innovations in Systems and Software Engineering . (Innovations in Systems and Software Engineering, December 2023, 19(4):379-394)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024. (Leibniz International Proceedings in Informatics, LIPIcs, July 2024, 299)
Conference
In: CSLAW 2024 - Proceedings of the 3rd Symposium on Computer Science and Law , CSLAW 2024 - Proceedings of the 3rd Symposium on Computer Science and Law. (CSLAW 2024 - Proceedings of the 3rd Symposium on Computer Science and Law, 12 March 2024, :73-85)
Conference
In: Proceedings - International Conference on Software Engineering , ICSE 2024 - Proceedings of the 46th IEEE/ACM International Conference on Software Engineering. (Proceedings - International Conference on Software Engineering, 6 February 2024)
Book
In: Computer Aided Verification - 36th International Conference, CAV 2024, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14682 LNCS:233-246)
Book
In: Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14380 LNCS:25-32)
Book
In: Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14380 LNCS:119-137)
Book
Bensalem, S.; He, W.; Wu, C.; Katsaros, P.; Kekatos, N.; Ničković, D.; Liao, B.H.-C.; Esen, H.; Nolasco, R.R.; Ahmed, M.A.E.S.; Beyene, T.A.; Sorokin, L.; Cano, F.; Könighofer, B.; Delacourt, A.; Ponchant, M.; Forrai, A.; Huang, X.; Paulitsch, M.; Peled, D.; Tong, S.
In: Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14380 LNCS:256-278)
Conference
In: Proceedings International Conference on Automated Planning and Scheduling, ICAPS . (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, 2023, 33(1):80-85)
Conference
Córdoba, F.C.; Könighofer, B.; Judson, S.; Antonopoulos, T.; Shoemaker, N.; Shapiro, S.J.; Piskac, R.; Bjørner, K.
In: IJCAI International Joint Conference on Artificial Intelligence , Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. (IJCAI International Joint Conference on Artificial Intelligence, 2023, 2023-August:372-381)
검색 결과 제한하기
제한된 항목
[AR] Könighofer, B.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어