Publications | Lund University Publications

41 – 50 of 1774

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
…
178
next »

2025
Mark Certifying combinatorial optimization using pseudo-Boolean reasoning
Oertel, Andy ^LU (2025) In Licentiate thesis 6, 2025.
- Thesis › Licentiate thesis
Mark IntraJ: An On-Demand Framework for Intraprocedural Java Code Analysis
Riouak, Idriss ^LU ; Fors, Niklas ^LU ; Hedin, Görel ^LU and Reichenbach, Christoph ^LU (2025) Challenges of Software Verification Symposium 2024 In International Journal on Software Tools for Technology Transfer
- Contribution to journal › Article
Mark Pre-release experimentation in indie game development : an interview survey
Linåker, Johan ^LU ; Bjarnason, Elizabeth ^LU and Fagerholm, Fabian (2025) 15th International Conference on Software Business, ICSOB 2024 In Lecture Notes in Business Information Processing 539. p.293-308
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark A Trust Establishment and Key Management Architecture for Hospital-at-Home
Åkesson, Alfred ^LU ; Gehrmann, Christian ^LU ; Hedin, Görel ^LU ; Johnsson, Björn A ^LU ; Magnusson, Boris ^LU ; Nordahl, Mattias ^LU ; Ramezanian, Sara ^LU and Stankovski Wagner, Paul ^LU (2025) In ACM Transactions on Computing for Healthcare 6(1). p.1-28
- Contribution to journal › Article
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 A critical look at the EU AI Act’s requirements and affected systems : who must explain what?
Wagner, Matthias ^LU ; Wittmann, Marie-Therese and Borg, Markus ^LU (2025) p.494-503
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Towards an Understanding of Polynomial Calculus : New Separations and Lower Bounds
Filmus, Yuval ; Lauria, Massimo ; Mikša, Mladen ; Nordström, Jakob ^LU and Vinyals, Marc (2025) In Theory of Computing 21.
- Contribution to journal › Article
Mark Pseudo-Boolean Proof Logging for Optimal Classical Planning
Dold, Simon ; Helmert, Malte ; Nordström, Jakob ^LU ; Röger, Gabriele and Schindler, Tanja (2025) 35th International Conference on Automated Planning and Scheduling, ICAPS 2025 35. p.54-63
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Can code review be modeled as a cognitive decision-making process?
Gullstrand Heander, Lo ^LU (2025) NextG2Com Program Day 2025
- Contribution to conference › Poster

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

your query:: Remove department: Department of Computer Science