( en | de | ru )

 

Disambiguation of "Stefaneas, Petros S."

Author of the publication

copydeleteadd this publication to your clipboard
Evaluation of Agile Software Projects in the Public Sector: A Literature Review.

, , , , and . J. Softw., 11 (3): 312-325 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Petros S Berga

Petros Martirosian

Quantitative magnetic resonance perfusion imaging in body regions with susceptibility alterations using FAIR True-FISP sequences. Uni Tübingen, (2009)

Petros Chryssikopoulos

Petros Sainis

Petros Pyriki

 

Other publications of authors with the same name

An Algebraic Specification of the Semantic Web, , , and . CoRR, (2011)Applying Algebraic Specifications on Digital Right Management Systems, , , and . CoRR, (2011)A Parallel Version of the MPEG-2 Encoding Algorithm Formally Analyzed using Algebraic Specifications., , , and . SIGMAP, page 35-38. SciTePress, (2010)On Proving and argumentation., and . AIC, volume 2090 of CEUR Workshop Proceedings, page 72-84. CEUR-WS.org, (2017)Towards a correct translation from ASN.1 into CafeOBJ., , , and . Int. J. Reason. based Intell. Syst., 2 (3/4): 300-309 (2010)Using the OTS/CafeOBJ Method to Formally Specify and Verify the Open Mobile Alliance License Choice Algorithm., , , and . ICETE (Selected Papers), volume 222 of Communications in Computer and Information Science, page 424-438. Springer, (2010)Formal Analysis of TESLA Protocol in the Timed OTS/CafeOBJ Method., , and . ISoLA (2), volume 7610 of Lecture Notes in Computer Science, page 126-142. Springer, (2012)TESLA Source Authentication Protocol Verification Experiment in the Timed OTS/CafeOBJ Method: Experiences and Lessons Learned., , and . IEICE Trans. Inf. Syst., 97-D (5): 1160-1170 (2014)Formal Specification and Verification of the OMA License Choice Algorithm in the OTS/CafeOBJ Method., , , and . WINSYS, page 173-180. SciTePress, (2010)A logical framework to model software development by multiple agents following a common specification., and . CoRR, (2022)