( en | de | ru )

 

Disambiguation of "Bugliesi, Michele"

Author of the publication

copydeleteadd this publication to your clipboard
A formal specification for casanova, a language for computer games.

, , , , , and . EICS, page 287-292. ACM, (2012)

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.

Michèle Mattusch

Michele Galletti

Michele Ferrari

Michele Ocken

Hannelore Michele

 

Other publications of authors with the same name

Partial Evaluation for Hierarchies of Logic Theories., , and . NACLP, page 359-376. MIT Press, (1990)Type-flow Analysis for Legacy COBOL Code., , and . ICSOFT (2), page 64-75. SciTePress, (2011)Combinatory Forms for Equational Programming: Instances, Unification and Narrowing., , and . CAAP, volume 431 of Lecture Notes in Computer Science, page 42-56. Springer, (1990)Communication and mobility control in boxed ambients., , , and . Inf. Comput., 202 (1): 39-86 (2005)Semantically Sound Analysis of Content Security Policies., , and . FORTE, volume 11535 of Lecture Notes in Computer Science, page 293-297. Springer, (2019)Testing for Integrity Flaws in Web Sessions., , , and . ESORICS (2), volume 11736 of Lecture Notes in Computer Science, page 606-624. Springer, (2019)Language Based Secure Communication., and . CSF, page 3-16. IEEE Computer Society, (2008)Lintent: Towards Security Type-Checking of Android Applications., , and . FMOODS/FORTE, volume 7892 of Lecture Notes in Computer Science, page 289-304. Springer, (2013)Interference-Sensitive Preorders for MANETs., , , , and . QEST, page 189-198. IEEE Computer Society, (2012)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)