391 – 400 of 1790
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2021
-
Mark
Yttrande över Europeiska kommissionens förslag till förordning om harmoniserade regler för artificiell intelligens
(2021)
- Other contribution › Consultation response
-
Mark
Proof complexity and SAT solving
(2021) p.233-350
- Chapter in Book/Report/Conference proceeding › Book chapter
-
Mark
Digital Cognitive Companions for Marine Vessels : On the Path Towards Autonomous Ships
(2021)
- Thesis › Doctoral thesis (compilation)
-
Mark
Case Study on Data-driven Deployment of Program Analysis on an Open Tools Stack
(2021) 43rd International Conference on Software Engineering: Software Engineering in Practice, ICSE 2021
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Pushing the Online Boolean Matrix-vector Multiplication conjecture off-line and identifying its easy cases
- Contribution to journal › Article
-
Mark
Sparse Steiner triple systems of order 21
- Contribution to journal › Article
-
Mark
Breaking down and making up - a lens for conversing with compilers
(2021) Psychology of Programming Interest Group Annual Workshop 2021
- Contribution to conference › Paper, not in proceeding
-
Mark
An Industrial Workbench for Test Scenario Identification for Autonomous Driving Software
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Closing the Feedback Loop in DevOps Through Autonomous Monitors in Operations
- Contribution to journal › Article
-
Mark
The fine-grained complexity of computing the tutte polynomial of a linear matroid
(2021) 32nd Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2021 In Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms p.2333-2345
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
