Static Analysis of Shape in TensorFlow Programs. - Sifis Lagouvardos; Julian Dolby; Neville Grech; Anastasios Antoniadis; Yannis Smaragdakis (ECOOP, 2020)

Static analysis of Java enterprise applications: frameworks and caches, the elephants in the room. - Anastasios Antoniadis; Nikos Filippakis; Paddy Krishnan; Raghavendra Ramesh; Nicholas Allen; Yannis Smaragdakis (PLDI, 2020)

Static Analysis of Shape in TensorFlow Programs (Artifact). - Sifis Lagouvardos; Julian Dolby; Neville Grech; Anastasios Antoniadis; Yannis Smaragdakis (Dagstuhl Artifacts Ser., 2020)

Competing Mutual Information Constraints with Stochastic Competition-Based Activations for Learning Diversified Representations. - Konstantinos P. Panousis; Anastasios Antoniadis; Sotirios Chatzis (AAAI, 2022)

Benchmarking Classifiers for Loan Default Prediction using Archetypal Analysis. - Anastasios Antoniadis; Konstantinos Georgiou; Konstantinos Charmanas; Nikolaos Mittas; Lefteris Angelis (ICACS, 2023)

Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning). - Anastasios Antoniadis; Ilias Tsatiris; Neville Grech; Yannis Smaragdakis (CoRR, 2025)