Publications | Lund University Publications

111 – 120 of 1758

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
…
11
12
13
14
…
176
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 Continuous quality assurance and ML pipelines under the AI Act
Wagner, Matthias ^LU (2024) 3rd International Conference on AI Engineering, CAIN 2024, co-located with the 46th International Conference on Software Engineering, ICSE 2024 In Proceedings - 2024 IEEE/ACM 3rd International Conference on AI Engineering - Software Engineering for AI, CAIN 2024 p.247-249
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Video Intro: Design of Flexible Code Block Comparisons to Improve Code Review of Refactored Code
Heander, Lo ^LU (2024)
- Non-textual form › Other
Mark Poster: Design of Flexible Code Block Comparisons to Improve Code Review of Refactored Code
Heander, Lo ^LU ; Söderberg, Emma ^LU and Rydenfält, Christofer ^LU (2024) 10th Edition of the Programming Experience Workshop, PX/24
- Contribution to conference › Poster
Mark Property Probes: Live Exploration of Source Code Analysis
Risberg Alaküla, Anton ^LU (2024) In Licentiate theis 2024(3).
- Thesis › Licentiate thesis
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 Developers’ Perspective on Today’s and Tomorrow’s Programming Tool Assistance : A Survey
Kuang, Peng ^LU ; Söderberg, Emma ^LU and Höst, Martin ^LU (2024) 8th International Conference on on the Art, Science, and Engineering of Programming, Programming Companion 2024 p.108-116
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark How Do Developers Approach Their First Bug in an Unfamiliar Code Base? : An Exploratory Study of Large Program Comprehension
Bexell, Andreas ^LU ; Söderberg, Emma ^LU ; Rydenfält, Christofer ^LU and Eldh, Sigrid (2024) 35th Annual Workshop of the Psychology of Programming Interest Group, PPIG 2024
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding

« previous
1
…
11
12
13
14
…
176
next »

your query:: Remove department: Department of Computer Science