( en | de | ru )

 

Disambiguation of "Ouranos, Iakovos"

Author of the publication

copydeleteadd this publication to your clipboard
Algebraic Specifications for OMA REL Licenses.

, , and . WiMob, page 376-381. IEEE Computer Society, (2009)

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.

Iakovos Arapakis

Iakovos Steinhauer

Iakovos Motakis

Iakovos Haralabidis

Iakovos Vittorias

 

Other publications of authors with the same name

Towards a correct translation from ASN.1 into CafeOBJ., , , and . Int. J. Reason. based Intell. Syst., 2 (3/4): 300-309 (2010)A Parallel Version of the MPEG-2 Encoding Algorithm Formally Analyzed using Algebraic Specifications., , , and . SIGMAP, page 35-38. SciTePress, (2010)Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques., and . CAI, volume 4728 of Lecture Notes in Computer Science, page 247-259. Springer, (2007)Towards a Protocol Algebra Based on Algebraic Specifications., and . SERA (selected papers), volume 496 of Studies in Computational Intelligence, page 85-98. Springer, (2013)Algebraic Specifications for OMA REL Licenses., , and . WiMob, page 376-381. IEEE Computer Society, (2009)Formal Modeling and Verification of Sensor Network Encryption Protocol in the OTS/CafeOBJ Method., , and . ISoLA (1), volume 6415 of Lecture Notes in Computer Science, page 75-89. Springer, (2010)An Algebraic Framework for Modeling of Mobile Systems., , and . IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 90-A (9): 1986-1999 (2007)A Formal Specification Framework for Ad Hoc Mobile Communication Networks., , and . SOFSEM (2), page 91-102. Institute of Computer Science AS CR, Prague, (2007)Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP., , , , , , , and . RuleML+RR, volume 11784 of Lecture Notes in Computer Science, page 52-66. Springer, (2019)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)