Porting doop to Soufflé: a tale of inter-engine portability for Datalog-based analyses. - Tony Antoniadis; Konstantinos Triantafyllou; Yannis Smaragdakis (SOAP@PLDI, 2017)

Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts. - Yannis Smaragdakis; Neville Grech; Sifis Lagouvardos; Konstantinos Triantafyllou; Ilias Tsatiris (Proc. ACM Program. Lang., 2021)

Structuring Collaborative Setting in the Learner Centered Learning Environment. - Agoritsa Gogoulou; Konstantinos Triantafyllou; Maria Grigoriadou; Aphrodite Tsalgatidou (TECH-EDU, 2022)

Präzi: from package-based to call-based dependency networks. - Joseph Hejderup; Moritz Beller; Konstantinos Triantafyllou; Georgios Gousios (Empir. Softw. Eng., 2022)

The usability and effect of an mHealth disease management platform on the quality of life of patients with paroxysmal atrial fibrillation - The emPOWERD-AF study. - Charalampos Lazaridis; Constantinos Bakogiannis; Dimitrios Mouselimis; Anastasios Tsarouchas; Antonios P. Antoniadis; Konstantinos Triantafyllou; Nikolaos Fragakis; Vassilios P. Vassilikos (Health Informatics J., 2022)

Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights. - Yannis Smaragdakis; Neville Grech; Sifis Lagouvardos; Konstantinos Triantafyllou; Ilias Tsatiris; Yannis Bollanos; Tony Rocco Valentine (CoRR, 2025)