Department of Computer Science
121 – 130 of 1780
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2024
-
Mark
From Proof Complexity to Circuit Complexity via Interactive Protocols
(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
- 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
AI Act high-risk requirements readiness : industrial perspectives and case company insights
Wagner, Matthias LU
; Gupta, Rushali
LU
; Borg, Markus
LU
; Engström, Emelie
LU
and Lysek, Michal
(2024)
25th International Conference on Product-Focused Software Process Improvement, PROFES 2024
In Lecture Notes in Computer Science (LNCS)
15453.
p.67-83
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis
Riouak, Idriss LU
; Fors, Niklas
LU
; Öqvist, Jesper
LU
; Hedin, Görel
LU
and Reichenbach, Christoph
LU
(2024)
17th ACM SIGPLAN International Conference on Software Language Engineering (SLE),
p.56-69
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Order Picking Optimization as a Service
Oxenstierna, Johan LU
(2024)
- Thesis › Doctoral thesis (compilation)
-
Mark
Threats to Validity in Software Engineering – hypocritical paper section or essential analysis?
Lago, Patricia ; Runeson, Per LU
; Song, Qunying
LU
and Verdecchia, Roberto
(2024)
18th ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM '24
p.314-324
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Packet-Type Aware Scheduling of Moldable Streaming Tasks on Multicore Systems with DVFS
Boulasikis, Michail LU ; Kessler, Christoph ; Gruian, Flavius LU
; Keller, Jorg W.
and Litzinger, Sebastian
(2024)
39th Annual ACM Symposium on Applied Computing, SAC 2024
p.449-451
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Towards Declarative Specification of Static Analysis for Programming Tools
Riouak, Idriss LU
(2024)
- Thesis › Doctoral thesis (compilation)
-
Mark
Critical Scenario Identification for Testing of Realistic Autonomous Driving Systems
Song, Qunying LU
(2024)
- Thesis › Doctoral thesis (compilation)