Konstantinos Barlas

Identifiers

• name variant Konstantinos Barlas 0.60 · backfill

Papers (2)

1. A Dynamic Algebraic Specification for Social Networks cs.LO · 2011 · author #2
2. Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking cs.SE · 2011 · author #1

Mentions

• 1106.6267 #2 · backfill · confidence 0.70 Konstantinos Barlas
• 1103.2787 #1 · backfill · confidence 0.70 Konstantinos Barlas

Frequent Coauthors

• Petros Stefaneas 2 shared papers
• George Koletsos 1 shared papers
• Katerina Ksystra 1 shared papers
• Nikolaos Triantafyllou 1 shared papers