Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Petros Stefaneas
Map detail
Petros Stefaneas8 visible / 8 total nodes / 7 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipPetros StefaneasAPetros StefaneasResearcherA methodology for internal Web ethicsWA methodology for inter...preprint / 2012Beyond the Boundaries of Open, Closed and Pirate Archives: Lessons from a Hybrid ApproachWBeyond the Boundaries o...preprint / 2011OTS/CafeOBJ2JML: An attempt to combine Design By Contract with Behavioral SpecificationsWOTS/CafeOBJ2JML: An att...preprint / 2012Transforming ASN.1 Specifications into CafeOBJ to assist with Property CheckingWTransforming ASN.1 Spec...preprint / 2011Applying Algebraic Specifications on Digital Right Management SystemsWApplying Algebraic Spec...preprint / 2011An Algebraic Specification of the Semantic WebWAn Algebraic Specificat...preprint / 2011A Dynamic Algebraic Specification for Social NetworksWA Dynamic Algebraic Spe...preprint / 2011
Person7 links

Petros Stefaneas

Researcher