Michele+Bugliesi

an Italian computer scientist, Ph.D. in 2003 from Denis Diderot University - Paris VII, and professor of CS at [|Ca' Foscari University of Venice]. His research interests include [|static program analysis], [|formal verification], [|computer security] and [|distributed systems]. Further, Michele Bugliesi was involved in the design and specification of the open-source programming language Casanova for developing [|Real-time strategy] games. || toc =Selected Publications=
 * Home * People * Michele Bugliesi**
 * [[image:mik-grecia-1 1.jpg link="http://www.dsi.unive.it/~michele/"]] ||~ || **Michele Bugliesi**,
 * Michele Bugliesi ||~ ||^ ||

1990 ...

 * Michele Bugliesi, [|Evelina Lamma], [|Paola Mello] (**1990**). //Partial Evaluation for Hierarchies of Logic Theories//. [|NACLP 1990]
 * Michele Bugliesi (**1992**). //A Declarative View of Inheritance in Logic Programming//. [|JICSLP 1992]
 * Michele Bugliesi (**1992**). //On the Semantics of Inheritance in Logic Programming: Compositionality and Full Abstraction//. [|ELP 1992]
 * Michele Bugliesi, [|Evelina Lamma], [|Paola Mello] (**1994**). //Modularity in Logic Programming//. [|Journal of Logic Programming, Volume 19/20]

2000 ...

 * Michele Bugliesi, Giuseppe Castagna, [|Silvia Crafa] (**2000**). //Typed Mobile Objects//. [|CONCUR 2000]
 * Michele Bugliesi (**2003**). //Calculs typés pour la sécurité dans des systèmes repartis avec mobilité//. Dissertation, Denis Diderot University - Paris VII

2010 ...

 * Giuseppe Maggiore, Alvise Spanò, Renzo Orsini, Giulia Costantini, Michele Bugliesi, Mohamed Abbadi (**2011**). //[|Designing Casanova: A Language for Games]//. Advances in Computer Games 13
 * Giuseppe Maggiore, Pieter Spronck, Renzo Orsini, Michele Bugliesi, Enrico Steffinlongo, Mohamed Abbadi (**2012**). //Writing Real-Time .Net Games in Casanova//. [|ICEC 2012]
 * Giuseppe Maggiore, Alvise Spanò, Renzo Orsini, Michele Bugliesi, Mohamed Abbadi, Enrico Steffinlongo (**2012**). //A formal specification for Casanova, a language for computer games//. [|EICS 2012]
 * Giuseppe Maggiore, Renzo Orsini, Michele Bugliesi (**2012**). //On Casanova and Databases or the Similarity Between Games and DBs//. [|SEBD 2012]

=External Links=
 * [|Michele Bugliesi]
 * [|Michele Bugliesi - Google Scholar]
 * [|The Mathematics Genealogy Project - Michele Bugliesi]
 * [|Michele Bugliesi | Facebook]

=References= =What links here?= include page="Michele Bugliesi" component="backlinks" limit="40"
 * Up one level**