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
Riouak, Idriss LU
; Fors, Niklas
LU
; Hedin, Görel
LU
and Reichenbach, Christoph
LU
(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
Linåker, Johan LU
; Bjarnason, Elizabeth
LU
and Fagerholm, Fabian
(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
Gasieniec, Leszek ; Jansson, Jesper LU ; Levcopoulos, Christos LU
and Lingas, Andrzej
LU
(2025)
In Information and Computation
303.
- 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
Dura, Alexandru LU
(2025)
- Thesis › Doctoral thesis (compilation)
-
Mark
Falsification of Cyber-physical Systems Using Bayesian Optimization
Ramezani, Zahra ; Šehić, Kenan LU
; Nardi, Luigi
LU
and Åkesson, Knut
(2025)
In ACM Transactions on Embedded Computing Systems
24(3).
- 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
-
Mark
From C to Rust : how feasible is it?
Viirola, Ella ; Hummel, Johan ; Söderberg, Emma LU
; Bexell, Andreas
LU
; Kornevi, Peter
and Asklund, Ulf
LU
(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
Bexell, Andreas LU ; Gullstrand Heander, Lo LU
; Söderberg, Emma
LU
; Eldh, Sigrid
and Runeson, Per
LU
(2025)
26th International Conference on Product-Focused Software Process Improvement (PROFES 2025)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding