Personensuche
X
?
Towards Autonomous Robotic Systems; Lecture Notes in Computer Science ,
5
Sensing Anomalies as Potential Hazards: Datasets and Benchm..:
, In:
?
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings ,
6
Model-checking of space systems designed with TASTE/SDL:
, In:
?
Lecture Notes in Computational Science and Engineering; Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2018 ,
10
A High-Order Discontinuous Galerkin Solver for Multiphase F..:
, In:
?
2019 26th International Conference on High Performance Computing, Data and Analytics Workshop (HiPCW) ,
11
Theoretical and Practical Approaches for Teaching Parallel ..:
, In:
?
Communications in Computer and Information Science; Software Challenges to Exascale Computing ,
13
Scalable Software Infrastructure for Integrating Supercompu..:
, In:
?
Practice and Experience in Advanced Research Computing 2019: Rise of the Machines (learning) ,
14