81 – 90 of 1790
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
A comparative analysis of ML techniques for bug report classification
Laiq, Muhammad ; Ali, Nauman Bin ; Börstler, Jürgen and Engström, Emelie LU
(2025)
In Journal of Systems and Software
227.
- Contribution to journal › Article
-
Mark
Multiplication of 0-1 Matrices via Clustering
(2025) 19th International Joint Conference on Theoretical Computer Science-Frontier of Algorithmic Wisdom, IJTCS-FAW 2025 In Lecture Notes in Computer Science 15828 LNCS. p.92-102
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A critical look at the EU AI Act’s requirements and affected systems : who must explain what?
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
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
- 2024
-
Mark
Perpetual maintenance of machines with different urgency requirements
Gasieniec, Leszek ; Jurdziński, Tomasz ; Klasing, Ralf ; Levcopoulos, Christos LU
; Lingas, Andrzej
LU
; Min, Jie
and Radzik, Tomasz
(2024)
In Journal of Computer and System Sciences
139.
- Contribution to journal › Article
-
Mark
Industry Practices for Challenging Autonomous Driving Systems with Critical Scenarios
Song, Qunying LU
; Engström, Emelie
LU
and Runeson, Per
LU
(2024)
In ACM Transactions on Software Engineering and Methodology
33(4).
- Contribution to journal › Article
-
Mark
KRW Composition Theorems via Lifting
Rezende, Susanna F.de LU
; Meir, Or
; Nordström, Jakob
LU
; Pitassi, Toniann
and Robere, Robert
(2024)
In Computational Complexity
33(1).
- Contribution to journal › Article
-
Mark
End-to-End Verification for Subgraph Solving
Gocht, Stephan LU ; McCreesh, Ciaran ; Myreen, Magnus O. ; Nordström, Jakob LU ; Oertel, Andy LU
and Tan, Yong Kiam
(2024)
38th AAAI Conference on Artificial Intelligence, AAAI 2024
In Proceedings of the AAAI Conference on Artificial Intelligence
38.
p.8038-8047
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding