( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Differential Logic Programs: Programming Methodologies and Semantics.

, , , , и . Sci. Comput. Program., 27 (3): 217-262 (1996)

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.

Michele Ocken

Michele Ferrari

Hannelore Michele

Michele Galletti

Michèle Mattusch

 

Другие публикации лиц с тем же именем

On the Semantics of Inheritance in Logic Programming: Compositionality and Full Abstraction.. ELP, том 660 из Lecture Notes in Computer Science, стр. 205-215. Springer, (1992)Static vs Dynamic Typing for Access Control in Pi-Calculus., , и . ASIAN, том 4846 из Lecture Notes in Computer Science, стр. 282-296. Springer, (2007)AnBx - Security Protocols Design and Verification., и . ARSPA-WITS, том 6186 из Lecture Notes in Computer Science, стр. 164-184. Springer, (2010)Sub-session hijacking on the web: Root causes and prevention., , и . J. Comput. Secur., 27 (2): 233-257 (2019)Channel abstractions for network security., и . Math. Struct. Comput. Sci., 20 (1): 3-44 (2010)Quite a mess in my cookie jar!: leveraging machine learning to protect web authentication., , , и . WWW, стр. 189-200. ACM, (2014)Writing Real-Time .Net Games in Casanova., , , , , и . ICEC, том 7522 из Lecture Notes in Computer Science, стр. 341-348. Springer, (2012)Formal Verification of Liferay RBAC., , и . ESSoS, том 8978 из Lecture Notes in Computer Science, стр. 1-16. Springer, (2015)ALGOMOVE - A Move Embedding for Algorand., , , , и . Blockchain, стр. 62-67. IEEE, (2023)Automatic and Robust Client-Side Protection for Cookie-Based Sessions., , , и . ESSoS, том 8364 из Lecture Notes in Computer Science, стр. 161-178. Springer, (2014)