1 – 10 of 921
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2026
-
Mark
Experimentation practice in indie game startups
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Multi-input/multi-output switched-linear system identification from input–output data
- Contribution to journal › Article
- 2025
-
Mark
Efficient Authentication Protocols from the Restricted Syndrome Decoding Problem
Nguyen, Vu LU
; Johansson, Thomas
LU
and Khairallah, Mustafa
LU
(2025)
10th IEEE European Symposium on Security and Privacy, Euro S and P
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Fully Declarative Specification of Static Code Checkers
Dura, Alexandru LU
(2025)
- Thesis › Doctoral thesis (compilation)
-
Mark
Activity Report 2024
(2025) In TFRT-4052
- Book/Report › Report
-
Mark
Formal Analysis of Julia Key Agreement Protocol
Sivaraman, Navya ; Nadjm-Tehrani, Simin and Johansson, Thomas LU
(2025)
26th International Conference on Information and Communications Security, ICICS 2024
In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
15057 LNCS.
p.171-190
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Study of the use of property probes in an educational setting
Risberg Alaküla, Anton LU
; Fors, Niklas
LU
and Söderberg, Emma
LU
(2025)
In The Art, Science, and Engineering of Programming
10(1).
- Contribution to journal › Article
-
Mark
Dynamic Dependency-Based Purity Checking
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Un nuevo enfoque a la auto-sintonía de controladores PID
Caparroz, Malena ; Soltesz, Kristian LU
; Hägglund, Tore
LU
; Guzmán, José Luis
and Bernguel, Manuel
(2025)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Stealthy Computational Delay Attacks on Control Systems
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding