Georgios V. Pitsiladis

2018201920202021202220231 1 2 2

Stefaneas S. PetrosDepartment of Mathematics, National Technical University of AthensΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα math.ntua.gr
Costas KoutrasAmerican University of the Middle East (AUM), College of Engineering and Technology, KuwaitΗ διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα aum.edu.kw

Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα mail.ntua.gr - Αρχική σελίδα


Τίτλος Ταξινόμηση με βάση τις αναφορές Ταξινόμηση κατά έτος Ταξινόμηση κατά τίτλο	Παρατίθεται από Παρατίθεται από	Έτος
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

Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.

Άρθρα 1–7

Παραθέσεις ανά έτος