Xiaowu Sun

According to our database, Xiaowu Sun authored at least 17 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks.

Xiaowu Sun, Yasser Shoukry

IEEE Trans. Robotics, 2024

Graph Neural Network based Future Clinical Events Prediction from Invasive Coronary Angiography.

Xiaowu Sun, Theofilos Belmpas, Ortal Yona Senouf, Emmanuel Abbe, Pascal Frossard, Bernard De Bruyne, Olivier Muller, Stéphane Fournier, Thabo Mahendiran, Dorina Thanou

Proceedings of the IEEE International Symposium on Biomedical Imaging, 2024

2023

Deep Learning Segmentation of the Right Ventricle in Cardiac MRI: The M&Ms Challenge.

Carlos Martín-Isla, Víctor M. Campello, Cristian Izquierdo, Kaisar Kushibar, Carla Sendra-Balcells, Polyxeni Gkontra, Alireza Sojoudi, Mitchell J. Fulton, Tewodros Weldebirhan Arega, Kumaradevan Punithakumar, Lei Li, Xiaowu Sun, Yasmina Al Khalil, Di Liu, Sana Jabbar, Sandro F. Queiros, Francesco Galati, Moona Mazher, Zheyao Gao, Marcel Beetz, Lennart Tautz, Christoforos Galazis, Marta Varela, Markus Hüllebrand, Vicente Grau, Xiahai Zhuang, Domenec Puig, Maria A. Zuluaga, Hassan Mohy-ud-Din, Dimitris N. Metaxas, Marcel Breeuwer, Rob J. van der Geest, Michelle Noga, Stéphanie Bricq, Mark E. Rentschler, Andrea Guala, Steffen E. Petersen, Sergio Escalera, José F. Rodríguez Palomares, Karim Lekadir

IEEE J. Biomed. Health Informatics, July, 2023

2022

Safe Learning and Verification of Neural Network Controllers for Autonomous Systems

Xiaowu Sun

PhD thesis, 2022

Combination Special Data Augmentation and Sampling Inspection Network for Cardiac Magnetic Resonance Imaging Quality Classification.

Xiaowu Sun, Li-Hsin Cheng, Rob J. van der Geest

Proceedings of the Statistical Atlases and Computational Models of the Heart. Regular and CMRxMotion Challenge Papers, 2022

Transformer Based Feature Fusion for Left Ventricle Segmentation in 4D Flow MRI.

Xiaowu Sun, Li-Hsin Cheng, Sven Plein, Pankaj Garg, Rob J. van der Geest

Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2022, 2022

Contrastive Learning for Echocardiographic View Integration.

Li-Hsin Cheng, Xiaowu Sun, Rob J. van der Geest

Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2022, 2022

NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems.

Xiaowu Sun, Yasser Shoukry

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021

Provably Correct Training of Neural Network Controllers Using Reachability Analysis.

Xiaowu Sun, Yasser Shoukry

CoRR, 2021

Right Ventricle Segmentation via Registration and Multi-input Modalities in Cardiac Magnetic Resonance Imaging from Multi-disease, Multi-view and Multi-center.

Xiaowu Sun, Li-Hsin Cheng, Rob J. van der Geest

Proceedings of the Statistical Atlases and Computational Models of the Heart. Multi-Disease, Multi-View, and Multi-Center Right Ventricular Segmentation in Cardiac MRI Challenge, 2021

Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based Approach.

Xiaowu Sun, Wael Fatnassi, Ulices Santa Cruz, Yasser Shoukry

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020

Nested MIMD-SIMD Parallelization for Heterogeneous Microprocessors.

Daniel Gerzhoy, Xiaowu Sun, Michael Zuzak, Donald Yeung

ACM Trans. Archit. Code Optim., 2020

Two-Level Lattice Neural Network Architectures for Control of Nonlinear Systems.

James Ferlez, Xiaowu Sun, Yasser Shoukry

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019

DoS-Resilient Multi-Robot Temporal Logic Motion Planning.

Xiaowu Sun, Rohitkrishna Nambiar, Matthew Melhorn, Yasser Shoukry, Pierluigi Nuzzo

Proceedings of the International Conference on Robotics and Automation, 2019

Formal verification of neural network controlled autonomous systems.

Xiaowu Sun, Haitham Khedr, Yasser Shoukry

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

2018

A Method for Predicting Protein Complexes from Dynamic Weighted Protein-Protein Interaction Networks.

Lizhen Liu, Xiaowu Sun, Wei Song, Chao Du

J. Comput. Biol., 2018

2014

Using electronic health record data to develop inpatient mortality predictive model: Acute Laboratory Risk of Mortality Score (ALaRMS).

Ying P. Tabak, Xiaowu Sun, Carlos M. Nunez, Richard S. Johannes

J. Am. Medical Informatics Assoc., 2014