Georgios V. Pitsiladis

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 3

Top Topics

Multiple Agents

Query Processor

Logical Framework

Top Venues

J. Log. Comput.

Publications

Georgios V. Pitsiladis, Petros S. Stefaneas
A logical framework to model software development by multiple agents following a common specification. J. Log. Comput. 34 (5) (2024)
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)