Department of Computer Science
1 – 10 of 1713
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
Pre-release experimentation in indie game development : an interview survey
2025) 15th International Conference on Software Business, ICSOB 2024 In Lecture Notes in Business Information Processing 539. p.293-308(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
IntraJ: An On-Demand Framework for Intraprocedural Java Code Analysis
2025) Challenges of Software Verification Symposium 2024 In International Journal on Software Tools for Technology Transfer(
- Contribution to journal › Article
-
Mark
A Trust Establishment and Key Management Architecture for Hospital-at-Home
(
- Contribution to journal › Article
-
Mark
Bayesian optimization across the spectrum of knowledge : enhancing efficiency through beliefs, information and assumptions
2025)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Students’ Reasons for Absence in First-cycle Engineering Education – an Interview Study
2025)(
- Book/Report › Report
-
Mark
Using machine learning hardware to solve linear partial differential equations with finite difference methods
(
- Contribution to journal › Article
-
Mark
The Voronoi Diagram of Weakly Smooth Planar Point Sets in O(log n) Deterministic Rounds on the Congested Clique
2025) 0th International Computing and Combinatorics Conference, COCOON 2024 In Lecture Notes in Computer Science (LNCS), 15162. p.478-489(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Support, not automation : towards AI-supported code review for code quality and beyond
2025) 33rd ACM International Conference on the Foundations of Software(
Engineering- 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)