( en | de | ru )

 

Disambiguierung von "Ouranos, Iakovos"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
TESLA Source Authentication Protocol Verification Experiment in the Timed OTS/CafeOBJ Method: Experiences and Lessons Learned.

, , und . IEICE Trans. Inf. Syst., 97-D (5): 1160-1170 (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Iakovos Arapakis

Iakovos Steinhauer

Iakovos Motakis

Iakovos Haralabidis

Iakovos Vittorias

 

Weitere Publikationen von Autoren mit dem selben Namen

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