Publications | Lund University Publications

51 – 60 of 1790

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
…
5
6
7
8
…
179
next »

2025
Mark ACE : automated technical debt remediation with validated large language model refactorings
Tornhill, Adam ; Borg, Markus ^LU ; Hagatulah, Nadim ^LU and Söderberg, Emma ^LU (2025) p.1318-1324
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Excel isn’t a process, and not all ‘intelligence’ is smart
Tahvili, Sahar and Borg, Markus ^LU (2025) In IEEE Software 42(4). p.11-14
- Contribution to journal › Article
Mark Responsible requirements engineering in a VUCA world
Borg, Markus ^LU ; Beck, Martina ; Beck, Andreas ; Jiménez, Simon ; Kanellopoulos, Yiannis and Penzenstadler, Birgit (2025) In IEEE Software 42(5). p.16-20
- Contribution to journal › Article
Mark Industrial code quality benchmarks : toward gamification of software maintainability
Borg, Markus ^LU ; Udayakumar, Amogha and Tornhill, Adam (2025)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Falsification of Cyber-physical Systems Using Bayesian Optimization
Ramezani, Zahra ; Šehić, Kenan ^LU ; Nardi, Luigi ^LU and Åkesson, Knut (2025) In ACM Transactions on Embedded Computing Systems 24(3).
- Contribution to journal › Article
Mark Lifting with colourful sunflowers
de Rezende, Susanna F. ^LU and Vinyals, Marc (2025) 40th Computational Complexity Conference, CCC 2025 In LIPIcs : Leibniz international proceedings in informatics 339.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark On the automatability of tree-like k-DNF resolution
Carenini, Gaia and de Rezende, Susanna F. ^LU (2025) 40th Computational Complexity Conference, CCC 2025 In LIPIcs : Leibniz international proceedings in informatics 339.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Gamifying user feedback collection on static program analysis tools
Dahlbo, Emma ; Lundmark, Essie ; Söderberg, Emma ^LU ; Eneroth, Lisa ; Höst, Martin and Borg, Markus ^LU (2025)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Assertions in software testing : survey, landscape, and trends
Taromirad, Masoumeh and Runeson, Per ^LU (2025) In International Journal on Software Tools for Technology Transfer 27. p.117-135
- Contribution to journal › Article
Mark Truly Supercritical Trade-Offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler–Leman
De Rezende, Susanna F. ^LU ; Fleming, Noah ^LU ; Janett, Duri Andrea ; Nordström, Jakob ^LU and Pang, Shuo (2025) 57th Annual ACM Symposium on Theory of Computing, STOC 2025 In Proceedings of the Annual ACM Symposium on Theory of Computing p.1371-1382
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding

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

your query:: Remove department: Department of Computer Science