Author of the publication

Advanced Security for Virtual Organizations: The Pros and Cons of Centralized vs Decentralized Security Models.

, , , , , , , and . CCGRID, page 106-113. IEEE Computer Society, (2008)

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

Improving user experience of submitting jobs to HPC resources., and . HPCS, page 635-641. IEEE, (2012)Compositional CompCert., , , and . POPL, page 275-287. ACM, (2015)Local actions for a curry-style operational semantics., and . PLPV, page 31-42. ACM, (2011)Verified perceptron convergence theorem., , and . MAPL@PLDI, page 43-50. ACM, (2017)Demo: Implementation of Real-time WiFi Receiver in Ziria, Language for Rapid Prototyping of Wireless PHY., , , , and . MobiCom, page 210-211. ACM, (2015)Enabling Cutting-Edge Semiconductor Simulation through Grid Technology., , , , , , , and . LSSC, volume 5910 of Lecture Notes in Computer Science, page 369-378. Springer, (2009)Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell., , and . PADL, volume 10702 of Lecture Notes in Computer Science, page 36-52. Springer, (2018)A new generation of textual corpora: mining corpora from very large collections., , and . JCDL, page 356-365. ACM, (2007)Advanced Security for Virtual Organizations: The Pros and Cons of Centralized vs Decentralized Security Models., , , , , , , and . CCGRID, page 106-113. IEEE Computer Society, (2008)Poster: Ziria: language for rapid prototyping of wireless PHY., , , , , and . MobiCom, page 359-362. ACM, (2014)