Autor der Publikation

Robust Non-termination Analysis of Numerical Software.

, , , und . SETTA, Volume 10998 von Lecture Notes in Computer Science, Seite 69-88. Springer, (2018)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

The measurement-induced nonlocality of two spins in a single-model cavity system., , , , und . Quantum Inf. Process., 20 (11): 364 (2021)Learning Framework for Virtual Network Function Instance Migration., , und . WCSP, Seite 1-7. IEEE, (2018)Multichannel High-Speed Data Caching System on FPGA for RAID Storage., , und . CSPS (3), Volume 517 von Lecture Notes in Electrical Engineering, Seite 482-491. Springer, (2018)Geodesic Matting: A Framework for Fast Interactive Image and Video Segmentation and Matting., und . Int. J. Comput. Vis., 82 (2): 113-132 (2009)GenerativeMap: Visualization and Exploration of Dynamic Density Maps via Generative Learning Model., , , , und . IEEE Trans. Vis. Comput. Graph., 26 (1): 216-226 (2020)Optical Remote Sensing Image Registration Using Spatial-Consistency and Average Regional Information Divergence Minimization via Quantum-Behaved Particle Swarm Optimization., , , , , und . Remote. Sens., 12 (18): 3066 (2020)Reach-Avoid Analysis for Stochastic Differential Equations., , und . CoRR, (2022)Scenario Approach for Parametric Markov Models., , , , und . ATVA (1), Volume 14215 von Lecture Notes in Computer Science, Seite 158-180. Springer, (2023)Differential Games Based on Invariant Sets Generation., , , , und . ACC, Seite 1285-1292. IEEE, (2022)A New Machine Learning Classifier for High Dimensional Healthcare Data., , und . MedInfo, Volume 129 von Studies in Health Technology and Informatics, Seite 664-668. IOS Press, (2007)