Publications | Lund University Publications

41 – 50 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
…
4
5
6
7
…
179
next »

2025
Mark Tighter Value-Function Approximations for POMDPs
Krale, Merlijn ; Koops, Wietze ^LU ; Junges, Sebastian ; Simão, Thiago D. and Jansen, Nils (2025) 24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025 In Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS p.1200-1208
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark ASaP : Automatic Software Prefetching for Sparse Tensor Computations in MLIR
Sotiropoulos, Konstantinos ; Skeppstedt, Jonas ^LU and Stenström, Per ^LU (2025) 2025 Workshops of the International Conference on High Performance Computing, Network, Storage, and Analysis, SC 2025 Workshops In Proceedings of 2025 Workshops of the International Conference on High Performance Computing, Network, Storage, and Analysis, SC 2025 Workshops p.1017-1027
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark ON BOUNDED DEPTH PROOFS FOR TSEITIN FORMULAS ON THE GRID; REVISITED
Hastad, Johan and Risse, Kilian ^LU (2025) In SIAM Journal on Computing 54(5). p.22288-22339
- Contribution to journal › Article
Mark Artificial intelligence approaches for mapping the nexus of biodiversity, climate change and human society
Ahmed, Rafsan ^LU ; Aasa, Carl ; Berntsson, Petter ; Skafte, Alexander ; Kazemi Rashed, Salma ^LU ; Klang, Marcus ^LU ; Barvesten, Adam ; Olde, Ola ; Lindholm, William and Lamarca Arrizabalaga, Antton , et al. (2025) Swedish Biodiversity Symposium
- Contribution to conference › Abstract
Mark Monitoring data for anomaly detection in cloud-based systems : a systematic mapping study
Hrusto, Adha ^LU ; Ali, Nauman Bin ; Engström, Emelie ^LU and Wang, Yuqing (2025) In ACM Transactions on Software Engineering and Methodology
- Contribution to journal › Article
Mark Compositional dataflow analysis via abstract transition systems
Bronevetsky, Greg ; Burke, Michael G. ; Aananthakrishnan, Sriram ; Reichenbach, Christoph ^LU ; Jisheng, Zhao and Sarkar, Vivek (2025)
- Working paper/Preprint › Working paper
Mark Dynamic Dependency-Based Purity Checking (Artifact)
Risberg Alaküla, Anton ^LU ; Fors, Niklas ^LU and Reichenbach, Christoph ^LU (2025)
- Other contribution › Miscellaneous
Mark Addressing Failures in Robotics Using Vision-Based Language Models (VLMs) and Behavior Trees (BT)
Ahmad, Faseeh ^LU ; Styrud, Jonathan and Krueger, Volker ^LU (2025) 16th European Robotics Forum, ERF 2025 In Springer Proceedings in Advanced Robotics 36 SPAR. p.281-287
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Trust calibration in IDEs : paving the way for widespread adoption of AI refactoring
Borg, Markus ^LU (2025) p.37-41
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark QUPER-MAn : benchmark-guided target setting for maintainability requirements
Borg, Markus ^LU ; Larsson, Martin ; Breid, Philip and Hagatulah, Nadim ^LU (2025) p.29-36
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding

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

your query:: Remove department: Department of Computer Science