1 – 10 of 220
- show: 10
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=""
width=""
height=""
allowtransparency="true"
frameborder="0">
</iframe>
- 2025
-
Mark
Compositional dataflow analysis via abstract transition systems
(2025)
- Working paper/Preprint › Working paper
-
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
Federated Resource Allocation for HPC Services
(2025) 6th Nordic e-Infrastructure Collaboration Conference, NeIC 2024 In Communications in Computer and Information Science 2398 CCIS. p.128-141
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
CAVE : Connectome Annotation Versioning Engine
- Contribution to journal › Article
-
Mark
CyberROAD : a cybersecurity risk assessment ontology for automotive domain aligned with ISO/SAE 21434:2021
- Contribution to journal › Article
-
Mark
Improving neural network efficiency with multifidelity and dimensionality reduction techniques
(2025) AIAA SCITECH 2025 Forum
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Formal Analysis of Julia Key Agreement Protocol
(2025) 26th International Conference on Information and Communications Security, ICICS 2024 In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 15057 LNCS. p.171-190
- 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
Demystifying AMD SEV Performance Penalty for NFV Deployment
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
How to build nice robots : Ethics from theory to machine implementation
(2025)
- Thesis › Doctoral thesis (compilation)
