Manginas V., Manginas N., Stevinson E., Varghese S., Katzouris N., Paliouras G. & Lomuscio A., A Scalable Approach to Probabilistic Neuro-Symbolic Verification In 9th International Conference on Neurosymbolic Learning and Reasoning (NeSy 2025). To appear., Volume:, Pages:, [doi]

Ntouni O., Banelas D. & Giatrakos N., NeuroFlinkCEP: Neurosymbolic Complex Event Recognition Optimized across IoT Platforms  In Proceedings of the 51st International Conference on Very Large Data Bases (VLDB'25)
London, United Kingdom, September 2025. Demo Paper - To appear, Volume:, Pages:, 2025 [doi]

Prol-Castelo G., Cirillo D., & Valencia A., 10 Years of Variational Autoencoder: 2 Insights from Cancer Temporal3 Progression Studies, a Systematic4 Literature Review bioRxiv, Volume:, Pages:, 2025 [doi]

Christou I. T., Soldatos J. & Pantelis P., An Empirical Evaluation of Explainable AI Approaches IEEE DCOSS-IoT, Luca, Italy. To appear., Volume:, Pages:, 2025 [doi]

Manginas N., De Raedt L., & Paliouras G., NeSyA: Neurosymbolic Automata IJCAI 2025. To appear., Volume:, Pages:, 2025 [doi]

Streviniotis, E., Klioumis, G., & Giatrakos, N., SuBiTO: Synopsis-based Training Optimization for Continuous Real-Time Neural Learning over Big Streaming Data In Proceedings of the 39th Annual AAAI Conference on Artificial Intelligence (AAAI'25) Philadelphia, Pennsylvania, USA, March 2025., Volume:, Pages: 29697-29699, 2025 [doi]

Skevis A., Klioumis G. & Giatrakos N., A Novel Reverse Random Hyperplane Projection Scheme and Its Effect on Mining Sensor Streams In the 2024 IEEE International Conference on Big Data (BigData), Volume:, Pages:, 2024 [doi]

Gashi F., Abuibaid K., Rusjowski M., & Wagner A., Model predictive control based reference generation for optimal proportional integral derivative control In the 32nd Mediterranean Conference on Control and Automation. , Volume:, Pages:, 2024 [doi]

De Palma A., Bunel R., Dvijotham K., Kumar M.P., Stanforth R., Lomuscio A., Expressive Losses for Verified Robustness via Convex Combinations In Proceedings of the 12th International Conference on Learning Representations (ICLR24). Vienna, Austria., Volume:, Pages:, 2024 [doi]

Liakos, P., Papakonstantinopoulou, K., Bruineman, T., Raasveldt, M., & Kotidis, Y., How to Make your Duck Fly: Advanced Floating Point Compression to the Rescue. In Proceedings of the 27th International Conference on Extending Database Technology (demos), Paestum, Italy., Volume:, Pages:, 2024 [doi]