31 – 40 of 1758
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
Framework for assessing situational awareness in Beyond Visual Line of Sight UAV operations
Maben, Rohith Prem LU
; Jena, Ayesha
LU
; Reitmann, Stefan
LU
and Topp, Elin Anna
LU
(2025)
20th Annual ACM/IEEE International Conference on Human-Robot Interaction, HRI 2025
In ACM/IEEE International Conference on Human-Robot Interaction
p.1473-1477
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Software engineering and the AI Act : towards regulatory-compliant AI
- Thesis › Licentiate thesis
-
Mark
Fully Declarative Specification of Static Code Checkers
Dura, Alexandru LU
(2025)
- Thesis › Doctoral thesis (compilation)
-
Mark
eHealth in Pediatric Surgery : Impact on Postsurgical Care After Reconstructive Surgery for Anorectal Malformations and Hirschsprung's Disease
Wester Fleur, Matilda LU
; Johnsson, Björn A.
LU
; Castor, Charlotte
LU
and Stenström, Pernilla
LU
(2025)
In Journal of Pediatric Surgery
60(5).
- 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
; 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
Assertions in software testing : survey, landscape, and trends
Taromirad, Masoumeh and Runeson, Per LU
(2025)
In International Journal on Software Tools for Technology Transfer
27.
p.117-135
- Contribution to journal › Article
-
Mark
Lifting with colourful sunflowers
de Rezende, Susanna F. LU
and Vinyals, Marc
(2025)
40th Computational Complexity Conference, CCC 2025
In LIPIcs : Leibniz international proceedings in informatics
339.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On the automatability of tree-like k-DNF resolution
Carenini, Gaia and de Rezende, Susanna F. LU
(2025)
40th Computational Complexity Conference, CCC 2025
In LIPIcs : Leibniz international proceedings in informatics
339.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding