Department of Computer Science
11 – 20 of 1780
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
Efficient assignment of identities in anonymous populations
- Contribution to journal › Article
-
Mark
Towards understanding inter-organizational data sharing practices and technical tools needs
- Thesis › Licentiate thesis
-
Mark
Navigating the Challenges and Opportunities of Securing Internet of Autonomous Vehicles With Lightweight Authentication
- Contribution to journal › Article
-
Mark
Data-limited Continuous Experimentation (dlCE) : a literature review
(2025) 15th International Conference on Software Business, ICSOB 2024 In Lecture Notes in Business Information Processing 539. p.324-339
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Using machine learning hardware to solve linear partial differential equations with finite difference methods
- Contribution to journal › Article
-
Mark
eHealth in Pediatric Surgery : Impact on Postsurgical Care After Reconstructive Surgery for Anorectal Malformations and Hirschsprung's Disease
- Contribution to journal › Article
-
Mark
Study of the use of property probes in an educational setting
- Contribution to journal › Article
-
Mark
Dynamic Dependency-Based Purity Checking
(2025) p.148-161
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Truly Supercritical Trade-Offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler–Leman
(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
Fully Declarative Specification of Static Code Checkers
(2025)
- Thesis › Doctoral thesis (compilation)
