Author of the publication

Orchestration of secure Web Services within an E-government Interoperability Platform.

, , , and . CLEI, page 1-12. IEEE, (2014)

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.

 

Other publications of authors with the same name

A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions.. Theory and Practice of Formal Methods, volume 9660 of Lecture Notes in Computer Science, page 393-406. Springer, (2016)Lazy behavioral subtyping., , , and . J. Log. Algebraic Methods Program., 79 (7): 578-607 (2010)A Tool-Supported Proof System for Multithreaded Java., , , and . FMCO, volume 2852 of Lecture Notes in Computer Science, page 1-32. Springer, (2002)Automatic translation from FBD-PLC-programs to NuSMV for model checking safety-critical control systems., , , and . NIK, Bibsys Open Journal Systems, Norway, (2016)Stride on saturn m7 for interactive musical instrument design., , , and . NIME, page 503-504. nime.org, (2017)Combining Hierarchical Inference in Ontologies with Heterogeneous Data Sources Improves Gene Function Prediction., , , , , and . BIBM, page 411-416. IEEE Computer Society, (2008)SAT modulo discrete event simulation applied to railway design capacity analysis., , , and . Formal Methods Syst. Des., 57 (2): 211-245 (2021)Orchestration of secure Web Services within an E-government Interoperability Platform., , , and . CLEI, page 1-12. IEEE, (2014)A type system for finding upper resource bounds of multi-threaded programs with nested transactions., , , and . SoICT, page 21-30. ACM, (2012)Iterating Transducers., , and . CAV, volume 2102 of Lecture Notes in Computer Science, page 286-297. Springer, (2001)