( en | de | ru )

 

Disambiguation of "Stefaneas, Petros S."

Author of the publication

copydeleteadd this publication to your clipboard
From Legal Documents to Legal Document Management Systems; The Case of LegiCrowd (short paper).

, , , , and . SETN Workshops, volume 2844 of CEUR Workshop Proceedings, page 131-132. CEUR-WS.org, (2020)

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 Stylianou

Petros Kalfelis

Petros Chryssikopoulos

 

Other publications of authors with the same name

Applying Algebraic Specifications on Digital Right Management Systems, , , and . CoRR, (2011)An Algebraic Specification of the Semantic Web, , , 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)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)A logical framework to model software development by multiple agents following a common specification., and . CoRR, (2022)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)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 Specification and Verification of the OMA License Choice Algorithm in the OTS/CafeOBJ Method., , , and . WINSYS, page 173-180. SciTePress, (2010)