51 – 60 of 1790
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
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
Code review as decision-making : building a cognitive model from the questions asked during code review
(2025) In Empirical Software Engineering
- Contribution to journal › Article
-
Mark
Efficient assignment of identities in anonymous populations
- Contribution to journal › Article
-
Mark
Students’ Reasons for Absence in First-cycle Engineering Education – an Interview Study
(2025)
- Book/Report › Report
-
Mark
Replication package for code review as decision-making
(2025)
- Non-textual form › Software
-
Mark
Compositional dataflow analysis via abstract transition systems
(2025)
- Working paper/Preprint › Working paper
-
Mark
From C to Rust : how feasible is it?
(2025) 26th International Conference on Product-Focused Software Process Improvement (PROFES 2025)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Towards self-reliant robots : skill learning, failure recovery, and real-time adaptation: integrating behavior trees, reinforcement learning, and vision-language models for robust robotic autonomy
(2025)
- Thesis › Doctoral thesis (compilation)
-
Mark
Parallel Axis Split Tasks for Bounding Volume Construction with OpenMP®
(2025) 20th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2025 1. p.347-354
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Accelerating aqueous electrolyte design with automated full-cell battery experimentation and Bayesian optimization
- Contribution to journal › Article
