31 – 40 of 1790
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
A generic student peer assessment concept
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Practically feasible proof logging for pseudo-Boolean optimization
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Deterministic protocols for Voronoi diagrams and triangulations of planar point sets on the congested clique
- Contribution to journal › Article
-
Mark
Vibe coding and the new prototyping playbook
- Contribution to journal › Debate/Note/Editorial
-
Mark
A critical look at the EU AI Act’s requirements and affected systems : who must explain what?
(2025) p.494-503
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Certifying combinatorial optimization using pseudo-Boolean reasoning
- Thesis › Licentiate thesis
-
Mark
Monitoring data for anomaly detection in cloud-based systems : a systematic mapping study
(2025) In ACM Transactions on Software Engineering and Methodology
- Contribution to journal › Article
-
Mark
Dynamic Dependency-Based Purity Checking (Artifact)
(2025)
- Other contribution › Miscellaneous
-
Mark
Addressing Failures in Robotics Using Vision-Based Language Models (VLMs) and Behavior Trees (BT)
(2025) 16th European Robotics Forum, ERF 2025 In Springer Proceedings in Advanced Robotics 36 SPAR. p.281-287
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Synthetic versus real : an analysis of critical scenarios for autonomous vehicle testing
- Contribution to journal › Article
