11 – 20 of 538
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
AI Act high-risk requirements readiness : industrial perspectives and case company insights
Wagner, Matthias LU
; Gupta, Rushali
LU
; Borg, Markus
LU
; Engström, Emelie
LU
and Lysek, Michal
(2024)
25th International Conference on Product-Focused Software Process Improvement, PROFES 2024
In Lecture Notes in Computer Science (LNCS)
15453.
p.67-83
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Proof Logging for the Circuit Constraint
(2024) 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2024 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14743 LNCS. p.38-55
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
Tight Security of TNT and Beyond : Attacks, Proofs and Possibilities for the Cascaded LRW Paradigm
(2024) 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2024 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14651 LNCS. p.249-279
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Simple End-to-End Computer-Aided Detection Pipeline for Trained Deep Learning Models
(2024) 8th International Conference on Engineering of Computer-Based Systems, ECBS 2023 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 14390 LNCS. p.259-262
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
- 2023
-
Mark
Non-negative Spherical Relaxations for Universe-Free Multi-matching and Clustering
(2023) 23nd Scandinavian Conference on Image Analysis, SCIA 2023 In Lecture Notes in Computer Science 13886. p.260-277
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certified Core-Guided MaxSAT Solving
Berg, Jeremias ; Bogaerts, Bart ; Nordström, Jakob LU ; Oertel, Andy LU
and Vandesande, Dieter
(2023)
Proceedings of the 29th International Conference on Automated Deduction, CADE-29
In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
14132 LNAI.
p.1-22
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Preface
Johansson, Thomas LU
and Smith-Tone, Daniel
(2023)
Post-Quantum Cryptography - 14th International Workshop, PQCrypto 2023, Proceedings
In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
14154 LNCS.
- Chapter in Book/Report/Conference proceeding › Preface to conference proceeding