Konstantinos Barlas
Identifiers
- name variant Konstantinos Barlas 0.60 · backfill
Papers (2)
- A Dynamic Algebraic Specification for Social Networks cs.LO · 2011 · author #2
- Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking cs.SE · 2011 · author #1
Mentions
Frequent Coauthors
- Petros Stefaneas 2 shared papers
- George Koletsos 1 shared papers
- Katerina Ksystra 1 shared papers
- Nikolaos Triantafyllou 1 shared papers