A Parallel Version of the MPEG-2 Encoding Algorithm Formally Analyzed using Algebraic Specifications. - Katerina Ksystra; Petros S. Stefaneas; Iakovos Ouranos; Panayiotis Frangos (SIGMAP, 2010)

Applying Algebraic Specifications on Digital Right Management Systems. - Nikolaos Triantafyllou; Katerina Ksystra; Petros S. Stefaneas; Panayiotis Frangos (ICCSW, 2011)

Redesigning the Open Mobile Alliance License Choice Algorithm - Nikolaos Triantafyllou; Petros S. Stefaneas; Iakovos Ouranos; Panayiotis Frangos; Katerina Ksystra (CoRR, 2011)

A Dynamic Algebraic Specification for Social Networks - Katerina Ksystra; Konstantinos Barlas; Nikolaos Triantafyllou; Petros S. Stefaneas (CoRR, 2011)

An Algebraic Specification of the Semantic Web - Katerina Ksystra; Nikolaos Triantafyllou; Petros S. Stefaneas; Panayiotis Frangos (CoRR, 2011)

On the Algebraic Semantics of Reactive Rules. - Katerina Ksystra; Nikolaos Triantafyllou; Petros S. Stefaneas (RuleML, 2012)

Semantic Web and Algebraic Reasoning: Some First Applications Using Behavioral Specifications. - Katerina Ksystra; Nikolaos Triantafyllou; Petros S. Stefaneas; Panayiotis Frangos (SMAP, 2012)

Some Engineering Applications of the OTS/CafeOBJ Method. - Petros S. Stefaneas; Iakovos Ouranos; Nikolaos Triantafyllou; Katerina Ksystra (Specification, Algebra, and Software, 2014)

On Verifying Reactive Rules Using Rewriting Logic. - Katerina Ksystra; Nikolaos Triantafyllou; Petros S. Stefaneas (RuleML, 2014)

Towards Formal Representation and Comparison of Video Content Using Algebraic Semiotics. - Nikolaos Triantafyllou; Katerina Ksystra; Petros S. Stefaneas; Antonios Kalampakas (SMAP, 2014)

An Algebraic Framework for Modeling of Reactive Rule-Based Intelligent Agents. - Katerina Ksystra; Petros S. Stefaneas; Panayiotis Frangos (SOFSEM, 2014)

An Algebraic Framework for the Verification of Context-Aware Adaptive Systems. - Katerina Ksystra; Petros S. Stefaneas; Panayiotis Frangos (Int. J. Softw. Eng. Knowl. Eng., 2015)

Formal analysis and verification support for reactive rule-based Web agents. - Katerina Ksystra; Petros S. Stefaneas (Int. J. Web Inf. Syst., 2016)

Enabling reasoning and verification support for intelligent agent systems, using formal methods - Katerina Ksystra (2017)

Towards a Methodology for Formally Analyzing Federated Identity Management Systems. - Katerina Ksystra; Maria Dimarogkona; Nikolaos Triantafyllou; Petros S. Stefaneas; Petros Kavassalis (ISoLA (4), 2022)