Department of Computer Science
41 – 50 of 1758
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
Synthetic versus real : an analysis of critical scenarios for autonomous vehicle testing
(
- 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
Using machine learning hardware to solve linear partial differential equations with finite difference methods
(
- Contribution to journal › Article
-
Mark
EzSkiROS : enhancing robot skill composition with embedded DSL for early error detection
(
- Contribution to journal › Article
-
Mark
Navigating the Challenges and Opportunities of Securing Internet of Autonomous Vehicles With Lightweight Authentication
(
- Contribution to journal › Article
-
Mark
Towards understanding inter-organizational data sharing practices and technical tools needs
(
- Thesis › Licentiate thesis
-
Mark
Students’ Reasons for Absence in First-cycle Engineering Education – an Interview Study
2025)(
- Book/Report › Report
-
Mark
Gamifying user feedback collection on static program analysis tools
2025)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
From C to Rust : how feasible is it?
2025) 26th International Conference on Product-Focused Software Process Improvement (PROFES 2025)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Exploring the performance of ML model size for classification in relation to energy consumption
2025) 26th International Conference on Product-Focused Software Process Improvement (PROFES 2025)(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding