Implementation of privacy calculus and its type checking in Maude GV Pitsiladis, P Stefaneas International Symposium on Leveraging Applications of Formal Methods, 477-493, 2018 | 4 | 2018 |
Galois connections for bilattices CD Koutras, GV Pitsiladis Algebra universalis 82 (3), 37, 2021 | 1 | 2021 |
Notions of Galois connections for Bilattices GV Pitsiladis National and Kapodistrian University of Athens & National Technical …, 2019 | 1 | 2019 |
A logical framework to model software development by multiple agents following a common specification GV Pitsiladis, PS Stefaneas Journal of Logic and Computation, 2023 | | 2023 |
Pre-bilattices in Univalent Foundations GV Pitsiladis 28th International Conference on Types for Proofs and Programs (TYPES 2022), 2022 | | 2022 |
Type Checking Conditional Purpose-Based Privacy Policies in the π-Calculus GV Pitsiladis Formal Methods on Privacy, 2016 | | 2016 |
Έλεγχος τύπων διεργασιών του π-λογισμού ως προς πολιτικές ιδιωτικότητας και μια εκτελέσιμη υλοποίησή του στην Maude GV Pitsiladis National Technical University of Athens, 2016 | | 2016 |