Department of Computer Science
21 – 30 of 1780
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
Understanding high-dimensional Bayesian optimization
(2025)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Leveraging axis-aligned subspaces for high-dimensional Bayesian optimization with group testing
(2025)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
AI Act high-risk AI compliance challenge and industry impact : a multiple case study
(2025) In Journal of Systems and Software
- Contribution to journal › Article
-
Mark
Support, not automation : towards AI-supported code review for code quality and beyond
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
What questions do developers ask during code review?
(2025) WASP Winter Conference 2025
- Contribution to conference › Poster
-
Mark
A unified framework for real-time failure handling in robotics using vision-language models, reactive planner and behavior trees
(2025)
- Book/Report › Conference proceeding (editor)
-
Mark
A comparative analysis of ML techniques for bug report classification
- Contribution to journal › Article
-
Mark
Truly Supercritical Trade-Offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler–Leman
(2025) 57th Annual ACM Symposium on Theory of Computing, STOC 2025 In Proceedings of the Annual ACM Symposium on Theory of Computing p.1371-1382
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Quantum Automating TC0-Frege Is LWE-Hard
- Contribution to journal › Article
-
Mark
Reflex-plan : a safety monitoring architecture for thinking fast and slow
(2025) p.562-569
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
