DOI,IST REx ID,Research Group,Title of publication
10.1109/SYNASC69064.2025.00008,21885,ToHe,Neural Certificates