Publications | Lund University Publications

51 – 60 of 1782

show: 10
|
sort: year (new to old)

News feed Embed this list Save this search Mark all Export

Cancel

Embed this list

copy and paste the html snippet below into your own page:

<iframe src="https://lup.lub.lu.se/search/publication?embed=1&q=subject+exact+10201&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

« previous
1
…
5
6
7
8
…
179
next »

2024
Mark Critical Scenario Identification for Testing of Realistic Autonomous Driving Systems
Song, Qunying ^LU (2024)
- Thesis › Doctoral thesis (compilation)
Mark Context Committing Security of Leveled Leakage-Resilient AEAD
Dhar, Chandranan ; Ethan, Jordan ; Jejurikar, Ravindra ; Khairallah, Mustafa ^LU ; List, Eik and Mandal, Sougata (2024) In IACR Transactions on Symmetric Cryptology 2024(2). p.348-370
- Contribution to journal › Article
Mark Towards the exact complexity of realizability for Safety LTL
Arteche, Noel ^LU and Hermo, Montserrat (2024) In Journal of Logical and Algebraic Methods in Programming 141.
- 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
Mark Pseudo-Boolean Reasoning About States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms
Demirović, Emir ; McCreesh, Ciaran ; McIlree, Matthew J. ; Nordström, Jakob ^LU ; Oertel, Andy ^LU and Sidorov, Konstantin (2024) 30th International Conference on Principles and Practice of Constraint Programming, CP 2024 307.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Artificial Intelligence, Datafication and Exploring the Minimum Content of Nationality
Tucker, Jason Edward ^LU (2024) In Statelessness and Citizenship Review 6(1). p.124-129
- Contribution to journal › Article
Mark Spline-based methods for functional data on multivariate domains
Basna, Rani ^LU ; Nassar, Hiba ^LU and Podgórski, Krzysztof ^LU (2024) In Journal of Mathematics in Industry 14(1).
- Contribution to journal › Article
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

« previous
1
…
5
6
7
8
…
179
next »

your query:: Remove subject: Computer Sciences