A Cloud-Native NGS Data Processing and Annotation Platform. - Giannis Mouchakis; Babis Kostopoulos; Stasinos Konstantopoulos; Ilias Kanellos; Anargiros Tzerefos; Thanasis Vergoulis; Thodoris Dalamagas 001 (Poly/DMAH@VLDB, 2021)

Non-monotone Fixpoint Theory Based on the Structure of Weak Bilattices. - Angelos Charalambidis; Giannos Chatziagapis; Babis Kostopoulos; Panos Rondogiannis (KR, 2024)

A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory. - Samuele Pollaci; Babis Kostopoulos; Marc Denecker; Bart Bogaerts 001 (LPNMR, 2024)

A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory (Extended Version). - Samuele Pollaci; Babis Kostopoulos; Marc Denecker; Bart Bogaerts 001 (CoRR, 2024)

The Stable Model Semantics for Higher-Order Logic Programming. - Bart Bogaerts 001; Angelos Charalambidis; Giannos Chatziagapis; Babis Kostopoulos; Samuele Pollaci; Panos Rondogiannis (Theory Pract. Log. Program., 2024)

The Power of Negation in Higher-Order Datalog. - Angelos Charalambidis; Babis Kostopoulos; Christos Nomikos; Panos Rondogiannis (CoRR, 2025)