Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Tsampas, Stylianos"'
Autor:
Tsampas, Stylianos
Reasoning about program equivalences is a topic, perhaps better characterized as a problem, that is of both theoretical and practical relevance. It has also proved to be hard to do efficiently. This thesis showcases four distinct results, some more g
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1131::b05548fde7fdfe61d5da5c404c1310c0
https://lirias.kuleuven.be/handle/123456789/674089
https://lirias.kuleuven.be/handle/123456789/674089
Autor:
Tsampas, Stylianos, El-Korashy, Akram, Patrignani, Marco, Devriese, Dominique, Garg, Deepak, Piessens, Frank
ispartof: pages:1-14 ispartof: Workshop on Foundations of Computer Security 2017 pages:1-14 ispartof: FCS location:Santa Barbara status: published
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1131::cf4917969ca2c43baf7f12197844fbbd
https://lirias.kuleuven.be/handle/123456789/593124
https://lirias.kuleuven.be/handle/123456789/593124
Autor:
Akribopoulos, Orestis, Amaxilatis, Dimitrios, Georgitzikis, Vasileios, Logaras, Marios, Keramidas, Vasileios, Kontodimas, Konstantinos, Lagoudianakis, Evangelos, Nikoloutsakos, Nikolaos, Papoutsakis, Vasileios, Prevezanos, Ioannis, Pyrgeris, Georgios, Tsampas, Stylianos, Voutsas, Vasileios, Chatzigiannakis, Ioannis
Publikováno v:
Mobile Wireless Middleware, Operating Systems & Applications (9783642366598); 2013, p31-44, 14p
