Department of Computer Science
21 – 30 of 1713
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
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
EzSkiROS : enhancing robot skill composition with embedded DSL for early error detection
(
- 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
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
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
Efficient assignment of identities in anonymous populations
(
- Contribution to journal › Article
- 2024
-
Mark
Conflict simulation for shared autonomy in autonomous driving
2024) 19th Annual ACM/IEEE International Conference on Human-Robot Interaction, HRI 2024 In ACM/IEEE International Conference on Human-Robot Interaction p.882-887(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Clog : A Declarative Language for C Static Code Checkers
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding