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 [1] [2] for developing Real-time strategy games [3].
Michele Bugliesi [4]

Selected Publications

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

1. ^ Casanova Language - Home
2. ^ Giacomo Casanova from Wikipedia
3. ^ Giuseppe Maggiore, Alvise Spanò, Renzo Orsini, Giulia Costantini, Michele Bugliesi, Mohamed Abbadi (2011). Designing Casanova: A Language for Games. Advances in Computer Games 13
4. ^ Michele Bugliesi
5. ^ dblp: Michele Bugliesi

What links here?