Implementation of Privacy Calculus and Its Type Checking in Maude. - Georgios V. Pitsiladis; Petros S. Stefaneas (ISoLA (2), 2018)

Converting BPMN Diagrams to Privacy Calculus. - Georgios V. Pitsiladis; Petros S. Stefaneas (FROM, 2024)

A logical framework to model software development by multiple agents following a common specification. - Georgios V. Pitsiladis; Petros S. Stefaneas (J. Log. Comput., 2024)

Embedding the Calendar and Time Type System in Temporal Type Theory. - Georgios V. Pitsiladis; Costas D. Koutras (J. Appl. Non Class. Logics, 2025)