EasyChair Smart SlideUser guide
Author: Georgios V. Pitsiladis

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

Embedding the Calendar and Time Type System in Temporal Type Theory

Embedding the Calendar and Time Type System in Temporal Type Theory

Georgios V. Pitsiladis

Converting BPMN Diagrams to Privacy Calculus

Converting BPMN Diagrams to Privacy Calculus

Georgios V. Pitsiladis and Petros S. Stefaneas

A Relativistic Formal Description of Software Development

A Relativistic Formal Description of Software Development

Georgios V. Pitsiladis

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

Type Checking Conditional Purpose-Based Privacy Policies in the Π-Calculus and an Implementation in Maude

Type Checking Conditional Purpose-Based Privacy Policies in the Π-Calculus and an Implementation in Maude

Georgios V. Pitsiladis

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