51 – 60 of 1797
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
Boolean Matrix Multiplication for Highly Clustered Data on the Congested Clique
(2024) 30th International Conference on Parallel and Distributed Computing, Euro-Par 2024 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14803 LNCS. p.45-58
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Automated Log Message Embeddings
Murphy, Adrian ; Larsson, Daniel ; Söderlund, Fanny ; Angelsmark, Ola and Eker, Johan LU
(2024)
11th International Conference on Internet of Things: Systems, Management and Security, IOTSMS 2024
p.192-197
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Critical Scenario Identification for Testing of Realistic Autonomous Driving Systems
Song, Qunying LU
(2024)
- Thesis › Doctoral thesis (compilation)
-
Mark
AutoML in the Face of Adversity: Securing Mobility Predictions in NWDAF
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Key-Recovery Attack on the LCMQ Authentication Protocol
Nguyen, Vu LU
; Johansson, Thomas
LU
and Guo, Qian
LU
(2024)
2024 IEEE International Symposium on Information Theory (ISIT)
p.1824-1829
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Efficient and precise annotation of local structures in data
- Thesis › Licentiate thesis
-
Mark
Towards the exact complexity of realizability for Safety LTL
- Contribution to journal › Article
-
Mark
Certifying MIP-Based Presolve Reductions for 0–1 Integer Linear Programs
Hoen, Alexander ; Oertel, Andy LU
; Gleixner, Ambros
and Nordström, Jakob
LU
(2024)
21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2024
In Lecture Notes in Computer Science
14742.
p.310-328
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certified MaxSAT Preprocessing
Ihalainen, Hannes ; Oertel, Andy LU
; Tan, Yong Kiam
; Berg, Jeremias
; Järvisalo, Matti
; Myreen, Magnus O.
and Nordström, Jakob
LU
(2024)
12th International Joint Conference, IJCAR 2024
In Lecture Notes in Computer Science
14739.
p.396-418
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability
Berg, Jeremias ; Bogaerts, Bart ; Nordström, Jakob LU ; Oertel, Andy LU
; Paxian, Tobias
and Vandesande, Dieter
(2024)
30th International Conference on Principles and Practice of Constraint Programming, CP 2024
In Leibniz International Proceedings in Informatics (LIPIcs)
307.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding