Department of Computer Science
31 – 40 of 1767
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
Software engineering and the AI Act : towards regulatory-compliant AI
- Thesis › Licentiate thesis
-
Mark
EzSkiROS : enhancing robot skill composition with embedded DSL for early error detection
Rizwan, Momina LU
; Reichenbach, Christoph
LU
; Caldas, Ricardo
; Mayr, Matthias
LU
and Krueger, Volker
LU
(2025)
In Frontiers in robotics and AI
11(2024).
- Contribution to journal › Article
-
Mark
Study of the use of property probes in an educational setting
Risberg Alaküla, Anton LU
; Fors, Niklas
LU
and Söderberg, Emma
LU
(2025)
In The Art, Science, and Engineering of Programming
10(1).
- Contribution to journal › Article
-
Mark
Dynamic Dependency-Based Purity Checking
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Truly Supercritical Trade-Offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler–Leman
De Rezende, Susanna F. LU
; Fleming, Noah
LU
; Janett, Duri Andrea
; Nordström, Jakob
LU
and Pang, Shuo
(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
Code review as decision-making : building a cognitive model from the questions asked during code review
Gullstrand Heander, Lo LU
; Söderberg, Emma
LU
and Rydenfält, Christofer
LU
(2025)
In Empirical Software Engineering
- Contribution to journal › Article
-
Mark
Demonstration of a robotic system for remote control of the end-hose during concrete pumping
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A generic student peer assessment concept
- 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
Wagner, Matthias LU
; Song, Qunying
LU
; Borg, Markus
LU
; Engström, Emelie
LU
and Lysek, Michal
(2025)
In Journal of Systems and Software
- Contribution to journal › Article
-
Mark
Using machine learning hardware to solve linear partial differential equations with finite difference methods
Boulasikis, Michail LU ; Gruian, Flavius LU
and Szász, Robert-Zoltán
LU
(2025)
In International Journal of Parallel Programming
53(2).
- Contribution to journal › Article