Login / Signup
Georgios V. Pitsiladis
ORCID
Publication Activity (10 Years)
Years Active: 2018-2022
Publications (10 Years): 2
Top Topics
Query Processor
Logical Framework
Type Checking
Software Development
Top Venues
CoRR
ISoLA (2)
</>
Publications
</>
Georgios V. Pitsiladis
,
Petros S. Stefaneas
A logical framework to model software development by multiple agents following a common specification.
CoRR
(2022)
Georgios V. Pitsiladis
,
Petros S. Stefaneas
Implementation of Privacy Calculus and Its Type Checking in Maude.
ISoLA (2)
(2018)