161 – 170 of 951
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
IntraJ: An On-Demand Framework for Intraprocedural Java Code Analysis
(2025) Challenges of Software Verification Symposium 2024 In International Journal on Software Tools for Technology Transfer
- Contribution to journal › Article
-
Mark
Control of Capacity-Constrained Networks
(2025)
- Thesis › Doctoral thesis (compilation)
-
Mark
Low-frequency noise in ferroelectric III-V vertical gate-all-around FETs
(2025) In IEEE Electron Device Letters
- Contribution to journal › Article
-
Mark
Fully Declarative Specification of Static Code Checkers
(2025)
- Thesis › Doctoral thesis (compilation)
-
Mark
Activity Report 2024
(2025) In TFRT-4052
- Book/Report › Report
-
Mark
Formal Analysis of Julia Key Agreement Protocol
(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
Stabilized scattering matrix formulation for 2D periodic multilayer dielectrics
(2025) In Technical report
- Book/Report › Report
-
Mark
Breast cancer classification in point-of-care ultrasound imaging—the impact of training data
- Contribution to journal › Article
-
Mark
Efficient Authentication Protocols from the Restricted Syndrome Decoding Problem
(2025) 10th IEEE European Symposium on Security and Privacy, Euro S and P
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Outcome prediction of prostate cancer patients on active surveillance using weakly supervised deep learning
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
