( 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 Sainis

Petros Pyriki

Petros Stylianou

 

Other publications of authors with the same name

A Parallel Version of the MPEG-2 Encoding Algorithm Formally Analyzed using Algebraic Specifications., , , and . SIGMAP, page 35-38. SciTePress, (2010)Applying Algebraic Specifications on Digital Right Management Systems., , , and . ICCSW, volume DTR11-9 of Department of Computing Technical Report, page 94-100. Imperial College London, (2011)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)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 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)Formal Specification and Verification of the OMA License Choice Algorithm in the OTS/CafeOBJ Method., , , and . WINSYS, page 173-180. SciTePress, (2010)Formalizing Air Traffic Control Regulations in PSOA RuleML., , , , and . RuleML+RR (Supplement), volume 2204 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)Some Engineering Applications of the OTS/CafeOBJ Method., , , and . Specification, Algebra, and Software, volume 8373 of Lecture Notes in Computer Science, page 541-559. Springer, (2014)