Algebraic Specifications for OMA REL Licenses. - Nikolaos Triantafyllou; Iakovos Ouranos; Petros S. Stefaneas (WiMob, 2009)

Using the OTS/CafeOBJ Method to Formally Specify and Verify the Open Mobile Alliance License Choice Algorithm. - Nikolaos Triantafyllou; Iakovos Ouranos; Petros S. Stefaneas; Panayiotis Frangos (ICETE (Selected Papers), 2010)

Formal Specification and Verification of the OMA License Choice Algorithm in the OTS/CafeOBJ Method. - Nikolaos Triantafyllou; Iakovos Ouranos; Petros S. Stefaneas; Panayiotis Frangos (WINSYS, 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)

OTS/CafeOBJ2JML: An attempt to combine Design By Contract with Behavioral Specifications - Nikolaos Triantafyllou; Petros S. Stefaneas; Panayiotis Frangos (CoRR, 2012)

An Algorithm for Allocating User Requests to Licenses in the OMA DRM System. - Nikolaos Triantafyllou; Petros S. Stefaneas; Panayiotis Frangos (IEICE Trans. Inf. Syst., 2013)

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)

Software engineering applications of the OTS/CafeOBJ algebraic specification method - Nikolaos Triantafyllou (2019)

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