Evaluating Assessment Practices in Team-Based Computing Capstone Projects

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 (eds.), ITiCSE 2025: 2025 Working Group Reports on Innovation and Technology in Computer Science Education. .

Research article in edited proceedings (conference) | Peer reviewed | accepted / in press (not yet published)

Optimising allocation of marketing resources among offline channel retailers: A bi-clustering-based model

Xiao J, Li Y, Tian Y, Jiang X, Wang Y, Wang S (2025)

In: Journal of Business Research, 186, 114914.

Research article (journal) | Peer reviewed | Published

EEGCiD: EEG condensation into diffusion model

Chen J, Pi D, Jiang X, Gao F, Wang B, Chen Y (2025)

In: IEEE Transactions on Automation Science and Engineering, 22, 8502-8518.

Research article (journal) | Peer reviewed | Published

Automatic segmentation of bone graft in maxillary sinus via distance constrained network guided by prior anatomical knowledge

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.

Research article (journal) | Peer reviewed | Published

Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata

Blohm, Pauline; Herber, Paula; Remke, Anne (2025)

In: Kosmatov, Nikolai; Kovács, Laura (eds.), Integrated Formal Methods. iFM 2024, 172-193. Switzerland: .

Research article in edited proceedings (conference) | Peer reviewed | Published

Publications

Operated by

Top-Links

Evaluating Assessment Practices in Team-Based Computing Capstone Projects 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 (eds.), ITiCSE 2025: 2025 Working Group Reports on Innovation and Technology in Computer Science Education. . Research article in edited proceedings (conference) \| Peer reviewed \| accepted / in press (not yet published)
Phase-specific augmented reality guidance for microscopic cataract surgery using spatiotemporal fusion network Tu P, Ye H, Shi H, Young J, Xie M, Zhao P, Zheng C, Jiang X, Chen X (2025) In: Information Fusion, 113, 102604. Research article (journal) \| Peer reviewed \| Published
Optimising allocation of marketing resources among offline channel retailers: A bi-clustering-based model Xiao J, Li Y, Tian Y, Jiang X, Wang Y, Wang S (2025) In: Journal of Business Research, 186, 114914. Research article (journal) \| Peer reviewed \| Published
Evolutionary training set pruning for boosting interpolation kernel machines Zhang J, Jiang X (2025) In: (eds.), Pattern Recognition Applications and Methods. (kein Verlag angegeben). Research article (book contribution) \| Peer reviewed \| accepted / in press (not yet published)
EEGCiD: EEG condensation into diffusion model Chen J, Pi D, Jiang X, Gao F, Wang B, Chen Y (2025) In: IEEE Transactions on Automation Science and Engineering, 22, 8502-8518. Research article (journal) \| Peer reviewed \| Published
Local Hilbert-Schmidt stability Fournier-Facio Francesco, Gerasimova Maria, Spaas Pieter (2025) In: Journal of Algebra, 663. doi:10.1016/j.jalgebra.2024.08.042 Research article (journal) \| Peer reviewed \| Published
Automatic segmentation of bone graft in maxillary sinus via distance constrained network guided by prior anatomical knowledge 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. Research article (journal) \| Peer reviewed \| Published
Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems Blohm, Pauline; Fränzle, Martin; Herber, Paula; Kröger, Paul; Remke, Anne (2025) In: Margaria, Tiziana; Steffen, Bernhard (eds.), Leveraging Applications of Formal Methods, Verification and Validation, 26-47. Crete: . Research article in edited proceedings (conference) \| Peer reviewed \| Published
Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata Blohm, Pauline; Herber, Paula; Remke, Anne (2025) In: Kosmatov, Nikolai; Kovács, Laura (eds.), Integrated Formal Methods. iFM 2024, 172-193. Switzerland: . Research article in edited proceedings (conference) \| Peer reviewed \| Published
Symbolic Execution for Precise Information Flow Analysis of Timed Concurrent Systems Becker-Kupczok, Jonas; Herber, Paula (2025) In: A., Madeira; A., Knapp (eds.), Software Engineering and Formal Methods. SEFM 2024, 107-125. Cham: . Research article in edited proceedings (conference) \| Peer reviewed \| Published