Publications | Lund University Publications

81 – 90 of 1727

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=department+exact+V1000234&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

« previous
1
…
8
9
10
11
…
173
next »

2024
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 Revisiting the construct and assessment of industrial relevance in software engineering research within
Petersen, Kai ; Börstler, Jürgen ; bin Ali, Nauman and Engström, Emelie ^LU (2024) International Workshop on Methodological Issues with Empirical Studies in Software Engineering, WSESE 2024 p.17-20
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Industrial adoption of machine learning techniques for early identification of invalid bug reports
Laiq, Muhammad ; bin Ali, Nauman ; Börstler, Jürgen and Engström, Emelie ^LU (2024) In Empirical Software Engineering 29(5).
- Contribution to journal › Article
Mark Quantum Automating TC⁰-Frege Is LWE-Hard
Arteche, Noel ^LU ; Carenini, Gaia and Gray, Matthew (2024) 39th Computational Complexity Conference, CCC 2024 In Leibniz International Proceedings in Informatics, LIPIcs 300.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Enhancing DevOps with Autonomous Monitors: A Proactive Approach to Failure Detection
Hrusto, Adha ^LU (2024)
- Thesis › Doctoral thesis (compilation)
Mark Ironies of Programming Automation: Exploring the Experience of Code Synthesis via Large Language Models
McCabe, Alan ^LU ; Björkman, Moa ; Engström, Joel ; Kuang, Peng ^LU ; Söderberg, Emma ^LU and Church, Luke ^LU (2024) 8th International Conference on the Art, Science, and Engineering of Programming p.12-21
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark From Proof Complexity to Circuit Complexity via Interactive Protocols
Arteche, Noel ^LU ; Khaniki, Erfan ; Pich, Ján and Santhanam, Rahul (2024) 51st International Colloquium on Automata, Languages, and Programming, ICALP 2024 In Leibniz International Proceedings in Informatics, LIPIcs 297.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Driving Assistance System with Obstacle Avoidance for Electric Wheelchairs
Erturk, Esranur ^LU ; Kim, Soonkyum and Lee, Dongyoung (2024) In Sensors 24(14).
- 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

« previous
1
…
8
9
10
11
…
173
next »

your query:: Remove department: Department of Computer Science