Organisation:
Zeige 1 bis 10 von 2102 Ergebnissen
Zeige 1 bis 10 von 2102 Ergebnissen
Hooshangi, Sara; Shakli, Asma; Riddle, Steve; Aydin, Ilknur; Nasir, Nayla; Parupudi, Tejasvi; Rehman, Attiqa; Scott, Michael James; Vahrenhold, Jan; Weerasinghe, Amali; Wu, Xi In: Korhonen, Ari; Lovellette, Ellie (Hrsg.), ITiCSE 2025: 2025 Working Group Reports on Innovation and Technology in Computer Science Education. . Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | akzeptiert / in Druck (unveröffentlicht) | |
Tu P, Ye H, Shi H, Young J, Xie M, Zhao P, Zheng C, Jiang X, Chen X (2025) In: Information Fusion, 113, 102604. Forschungsartikel (Zeitschrift) | Peer reviewed | Veröffentlicht | |
Xiao J, Li Y, Tian Y, Jiang X, Wang Y, Wang S (2025) In: Journal of Business Research, 186, 114914. Forschungsartikel (Zeitschrift) | Peer reviewed | Veröffentlicht | |
Zhang J, Jiang X (2025) In: (Hrsg.), Pattern Recognition Applications and Methods. (kein Verlag angegeben). Forschungsartikel (Buchbeitrag) | Peer reviewed | akzeptiert / in Druck (unveröffentlicht) | |
Chen J, Pi D, Jiang X, Gao F, Wang B, Chen Y (2025) In: IEEE Transactions on Automation Science and Engineering, 22, 8502-8518. Forschungsartikel (Zeitschrift) | Peer reviewed | Veröffentlicht | |
Fournier-Facio Francesco, Gerasimova Maria, Spaas Pieter (2025) In: Journal of Algebra, 663. doi:10.1016/j.jalgebra.2024.08.042 Forschungsartikel (Zeitschrift) | Peer reviewed | Veröffentlicht | |
Xu J, Gao J, Jiang S, Wang C, Smedby Ö, Wu Y, Jiang X, Chen X (2025) In: IEEE Journal of Biomedical and Health Informatics, 29(3), 1995-2005. Forschungsartikel (Zeitschrift) | Peer reviewed | Veröffentlicht | |
Blohm, Pauline; Fränzle, Martin; Herber, Paula; Kröger, Paul; Remke, Anne (2025) In: Margaria, Tiziana; Steffen, Bernhard (Hrsg.), Leveraging Applications of Formal Methods, Verification and Validation, 26-47. Crete: . Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht | |
Blohm, Pauline; Herber, Paula; Remke, Anne (2025) In: Kosmatov, Nikolai; Kovács, Laura (Hrsg.), Integrated Formal Methods. iFM 2024, 172-193. Switzerland: . Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht | |
Becker-Kupczok, Jonas; Herber, Paula (2025) In: A., Madeira; A., Knapp (Hrsg.), Software Engineering and Formal Methods. SEFM 2024, 107-125. Cham: . Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht |