Department of Computer Science
11 – 20 of 1758
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
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
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
Efficient assignment of identities in anonymous populations
(
- Contribution to journal › Article
-
Mark
Software engineering and the AI Act : towards regulatory-compliant AI
(
- Thesis › Licentiate thesis
-
Mark
Fully Declarative Specification of Static Code Checkers
2025)(
- Thesis › Doctoral thesis (compilation)
-
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
-
Mark
Towards self-reliant robots : skill learning, failure recovery, and real-time adaptation: integrating behavior trees, reinforcement learning, and vision-language models for robust robotic autonomy
2025)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Safety and Reliability for Autonomous Robots in Dynamic Environments
2025)(
- Thesis › Doctoral thesis (compilation)
-
Mark
Towards proactive support for human-robot collaboration
(
- Thesis › Licentiate thesis