Petros Stefaneas

Identifiers

• name variant Petros Stefaneas 0.60 · backfill

Papers (6)

1. OTS/CafeOBJ2JML: An attempt to combine Design By Contract with Behavioral Specifications cs.SE · 2012 · author #2
2. A methodology for internal Web ethics cs.CY · 2012 · author #2
3. Applying Algebraic Specifications on Digital Right Management Systems cs.LO · 2011 · author #3
4. An Algebraic Specification of the Semantic Web cs.LO · 2011 · author #3
5. A Dynamic Algebraic Specification for Social Networks cs.LO · 2011 · author #4
6. Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking cs.SE · 2011 · author #3

Mentions

• 1205.5106 #2 · backfill · confidence 0.70 Petros Stefaneas
• 1202.4238 #2 · backfill · confidence 0.70 Petros Stefaneas
• 1108.1482 #3 · backfill · confidence 0.70 Petros Stefaneas
• 1107.5897 #3 · backfill · confidence 0.70 Petros Stefaneas
• 1106.6267 #4 · backfill · confidence 0.70 Petros Stefaneas
• 1103.2787 #3 · backfill · confidence 0.70 Petros Stefaneas

Frequent Coauthors

• Nikolaos Triantafyllou 4 shared papers
• Katerina Ksystra 3 shared papers
• Panayiotis Frangos 3 shared papers
• Konstantinos Barlas 2 shared papers
• George Koletsos 1 shared papers
• Ioannis Anagnostopoulos 1 shared papers
• Kieron O'Hara 1 shared papers
• Michalis Vafopoulos 1 shared papers