31 – 40 of 1774
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
Leveraging axis-aligned subspaces for high-dimensional Bayesian optimization with group testing
(2025)
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
AI Act high-risk AI compliance challenge and industry impact : a multiple case study
(2025) In Journal of Systems and Software
- Contribution to journal › Article
-
Mark
Dynamic Dependency-Based Purity Checking (Artifact)
(2025)
- Other contribution › Miscellaneous
-
Mark
Falsification of Cyber-physical Systems Using Bayesian Optimization
- Contribution to journal › Article
-
Mark
Lifting with colourful sunflowers
(2025) 40th Computational Complexity Conference, CCC 2025 In LIPIcs : Leibniz international proceedings in informatics 339.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
On the automatability of tree-like k-DNF resolution
(2025) 40th Computational Complexity Conference, CCC 2025 In LIPIcs : Leibniz international proceedings in informatics 339.
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
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
Trust calibration in IDEs : paving the way for widespread adoption of AI refactoring
(2025) p.37-41
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
QUPER-MAn : benchmark-guided target setting for maintainability requirements
(2025) p.29-36
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
ACE : automated technical debt remediation with validated large language model refactorings
(2025) p.1318-1324
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
