( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Challenges of Quantum Software Engineering for the Next Decade: The Road Ahead.

, , , , , , , , , , , , , , , и . CoRR, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Giordano Paolo

Paolo Molteni

Paolo Pesaresi

Paolo Imperia

Paolo Bavaj

 

Другие публикации лиц с тем же именем

Closing the gap between the specification and the implementation: the ASMETA way., , и . Models: Concepts, Theory, Logic, Reasoning and Semantics, стр. 242-263. College Publications, (2018)An Abstraction Technique for Testing Decomposable Systems by Model Checking., , и . TAP, том 8570 из Lecture Notes in Computer Science, стр. 36-52. Springer, (2014)Formal Design and Verification of Self-Adaptive Systems with Decentralized Control., , и . ACM Trans. Auton. Adapt. Syst., 11 (4): 25:1-25:35 (2017)Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators' Software in an Industrial Context., , , , и . CoRR, (2024)Which Quantum Circuit Mutants Shall Be Used? An Empirical Evaluation of Quantum Circuit Mutations., , , и . CoRR, (2023)Noise-Aware Quantum Software Testing., , , и . CoRR, (2023)Generating failing test suites for quantum programs with search (hot off the press track at GECCO 2022)., , , и . GECCO Companion, стр. 47-48. ACM, (2022)Adaptive Search-based Repair of Deep Neural Networks., , , , , и . GECCO, стр. 1527-1536. ACM, (2023)Using a Variational Autoencoder to Learn Valid Search Spaces of Safely Monitored Autonomous Robots for Last-Mile Delivery., , , и . GECCO, стр. 1303-1311. ACM, (2023)Analyzing the impact of product configuration variations on advanced driver assistance systems with search., , , и . GECCO, стр. 1106-1114. ACM, (2021)