( en | de | ru )

 

Disambiguation of "Macedonio, Damiano"

Author of the publication

copydeleteadd this publication to your clipboard
Locking discipline inference and checking.

, , , , and . ICSE, page 1133-1144. ACM, (2016)

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.

Damiano Stefani

Damiano Bolzoni

Damiano Guazzini

Carla Ann Damiano

Carl Ann Damiano

 

Other publications of authors with the same name

A semantic analysis of key management protocols for wireless sensor networks., and . Sci. Comput. Program., (2014)Locking discipline inference and checking., , , , and . ICSE, page 1133-1144. ACM, (2016)Bigraphical Logics for XML., , and . SEBD, page 392-399. (2005)Static BiLog: a Unifying Language for Spatial Structures., , and . Fundam. Informaticae, 80 (1-3): 91-110 (2007)Boolean Formulas for the Static Identification of Injection Attacks in Java., , , , and . LPAR, volume 9450 of Lecture Notes in Computer Science, page 130-145. Springer, (2015)Static vs Dynamic Typing for Access Control in Pi-Calculus., , and . ASIAN, volume 4846 of Lecture Notes in Computer Science, page 282-296. Springer, (2007)Secure Contexts for Confidential Data., , , and . CSFW, page 14-28. IEEE Computer Society, (2003)A type system for Discretionary Access Control., , , and . Math. Struct. Comput. Sci., 19 (4): 839-875 (2009)Information Flow Security and Recursive Systems., , , and . ICTCS, volume 2841 of Lecture Notes in Computer Science, page 369-382. Springer, (2003)Information flow security for service compositions., and . ICUMT, page 1-8. IEEE, (2009)