Correctness Verification of Neural Networks Approximating Differential Equations. - Petros Ellinas; Rahul Nellikkath; Ignasi Ventura; Jochen Stiasny; Spyros Chatzivasileiadis (CoRR, 2024)

A hybrid Quantum-Classical Algorithm for Mixed-Integer Optimization in Power Systems. - Petros Ellinas; Samuel Chevalier; Spyros Chatzivasileiadis (CoRR, 2024)

Toolbox for Developing Physics Informed Neural Networks for Power Systems Components. - Ioannis Karampinis; Petros Ellinas; Ignasi Ventura Nadal; Rahul Nellikkath; Spyros Chatzivasileiadis (CoRR, 2025)