| 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 |
Stefaneas S. PetrosDepartment of Mathematics, National Technical University of AthensVerified email at math.ntua.gr
