81 – 90 of 3894
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
Automated tight Lyapunov analysis for first-order methods
Upadhyaya, Manu LU
; Banert, Sebastian
LU
; Taylor, Adrien B.
and Giselsson, Pontus
LU
(2025)
In Mathematical Programming
209(1-2).
p.133-170
- Contribution to journal › Article
-
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
Model-Based State Estimation for Euler–Lagrange Systems and Rigid-Body Robot Control
- 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
Scaling massive MIMO with imperfect transceivers
Sheikhi, Ashkan LU
(2025)
- Thesis › Doctoral thesis (compilation)
-
Mark
Truly supercritical trade-offs for resolution, cutting planes, monotone circuits, and Weisfeiler-Leman
De Rezende, Susanna F. LU
; Fleming, Noah
; 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
-
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
A comparative analysis of ML techniques for bug report classification
Laiq, Muhammad ; Ali, Nauman bin ; Börstler, Jürgen and Engström, Emelie LU
(2025)
In Journal of Systems and Software
227.
- Contribution to journal › Article
- 2024
-
Mark
Toward 6G with Terahertz Communications: Understanding the Propagation Channels
Cai, Xuesong LU ; Cheng, Xiang and Tufvesson, Fredrik LU
(2024)
In IEEE Communications Magazine
62(2).
p.32-38
- Contribution to journal › Article
-
Mark
Optimal Control on Positive Cones
Pates, Richard LU and Rantzer, Anders LU
(2024)
63rd IEEE Conference on Decision and Control, CDC 2024
In Proceedings of the IEEE Conference on Decision and Control
p.992-997
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding