EasyChair Smart SlideUser guide
Author: Petros Stefaneas

This page shows all presentations of this author published in EasyChair Smart Slide.

Using the theory of institutions for semiotic–argumentational treatment of mathematical proof

Using the theory of institutions for semiotic–argumentational treatment of mathematical proof

Georgios V. Pitsiladis and Petros Stefaneas

Converting BPMN Diagrams to Privacy Calculus

Converting BPMN Diagrams to Privacy Calculus

Georgios V. Pitsiladis and Petros S. Stefaneas

Implementation of Privacy Calculus and Its Type Checking in Maude

Implementation of Privacy Calculus and Its Type Checking in Maude

Georgios V. Pitsiladis and Petros Stefaneas

Privacy Calculus in Maude

Privacy Calculus in Maude

Georgios V. Pitsiladis and Petros Stefaneas

Computational Regulation of Medical Devices in PSOA RuleML

Computational Regulation of Medical Devices in PSOA RuleML

Sofia Almpani, Petros Stefaneas, Harold Boley, Theodoros Mitsikas and Panayiotis Frangos

Formalizing Air Traffic Control Regulations in PSOA RuleML

Formalizing Air Traffic Control Regulations in PSOA RuleML

Theodoros Mitsikas, Sofia Almpani, Petros Stefaneas, Panayiotis Frangos and Iakovos Ouranos

Presentations in this collection: 6
Copyright © 2002 – 2026 EasyChair