Vasileios Manginas

According to our database, Vasileios Manginas authored at least 3 papers between 2024 and 2025.

Collaborative distances:

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

2025

A Scalable Approach to Probabilistic Neuro-Symbolic Verification.

Vasileios Manginas, Nikolaos Manginas, Edward Stevinson, Sherwin Varghese, Nikos Katzouris, Georgios Paliouras, Alessio Lomuscio

CoRR, February, 2025

A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification.

Vasileios Manginas, Nikolaos Manginas, Edward Stevinson, Sherwin Varghese, Nikos Katzouris, Georgios Paliouras, Alessio Lomuscio

Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning (NeSy 2025), 2025

2024

Predicting deterioration in dengue using a low cost wearable for continuous clinical monitoring.

Damien K. Ming, John Daniels, Ho Q. Chanh, Stefan Karolcík, Bernard Hernandez, Vasileios Manginas, Van Hao Nguyen, Quang Huy Nguyen, Tu Qui Phan, Thi Hue Tai Luong, Huynh Trung Trieu, Alison Helen Holmes, Vinh Tho Phan, Pantelis Georgiou, Sophie Yacoub

npj Digit. Medicine, 2024