Department of Computer Science
1 – 10 of 1758
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
Framework for assessing situational awareness in Beyond Visual Line of Sight UAV operations
2025) 20th Annual ACM/IEEE International Conference on Human-Robot Interaction, HRI 2025 In ACM/IEEE International Conference on Human-Robot Interaction p.1473-1477(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
EzSkiROS : enhancing robot skill composition with embedded DSL for early error detection
(
- Contribution to journal › Article
-
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
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
Demonstration of a robotic system for remote control of the end-hose during concrete pumping
2025) p.105-112(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A generic student peer assessment concept
(
- 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