Learning by Fixing and Extending Games. - Giulia Costantini; Giuseppe Maggiore; Agostino Cortesi (Eurographics (Education Papers), 2009)

Designing Casanova: A Language for Games. - Giuseppe Maggiore; Alvise Spanò; Renzo Orsini; Giulia Costantini; Michele Bugliesi; Mohamed Abbadi (ACG, 2011)

Engaging high school students in computer science via challenging applications. - Giuseppe Maggiore; Andrea Torsello; Flavio Sartoretto; Agostino Cortesi (SIGITE Conference, 2011)

A formal specification for casanova, a language for computer games. - Giuseppe Maggiore; Alvise Spanò; Renzo Orsini; Michele Bugliesi; Mohamed Abbadi; Enrico Steffinlongo (EICS, 2012)

Writing Real-Time .Net Games in Casanova. - Giuseppe Maggiore; Pieter Spronck; Renzo Orsini; Michele Bugliesi; Enrico Steffinlongo; Mohamed Abbadi (ICEC, 2012)

A compilation technique to increase X3D performance and safety. - Giuseppe Maggiore; Fabio Pittarello; Michele Bugliesi; Mohamed Abbadi (SAC, 2012)

On Casanova and Databases or the Similarity Between Games and DBs. - Giuseppe Maggiore; Renzo Orsini; Michele Bugliesi (SEBD, 2012)

Resource Entity Action: A Generalized Design Pattern for RTS Games. - Mohamed Abbadi; Francesco Di Giacomo; Renzo Orsini; Aske Plaat; Pieter Spronck; Giuseppe Maggiore (Computers and Games, 2013)

LGOAP: Adaptive layered planning for real-time videogames. - Giuseppe Maggiore; Carlos Santos; Dino Dini; Frank Peters; Hans Bouwknegt; Pieter Spronck (CIG, 2013)

The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software. - Giulia Costantini; Pietro Ferrara 001; Giuseppe Maggiore; Agostino Cortesi (ICFEM, 2013)

Casanova: a language for game development. - Giuseppe Maggiore (2013)

Smarter Smartphones: Understanding and Predicting User Habits from GPS Sensor Data. - Giuseppe Maggiore; Carlos Santos; Aske Plaat (FNC/MobiSPC, 2014)

Casanova: A Simple, High-Performance Language for Game Development. - Mohamed Abbadi; Francesco Di Giacomo; Agostino Cortesi; Pieter Spronck; Giulia Costantini; Giuseppe Maggiore (JCSG, 2015)

Building Game Scripting DSL's with the Metacasanova Metacompiler. - Francesco Di Giacomo; Mohamed Abbadi; Agostino Cortesi; Pieter Spronck; Giuseppe Maggiore (INTETAIN, 2016)

Metacasanova: an optimized meta-compiler for domain-specific languages. - Francesco Di Giacomo; Mohamed Abbadi; Agostino Cortesi; Pieter Spronck; Giuseppe Maggiore (SLE, 2017)

High performance encapsulation and networking in Casanova 2. - Francesco Di Giacomo; Mohamed Abbadi; Agostino Cortesi; Pieter Spronck; Giulia Costantini; Giuseppe Maggiore (Entertain. Comput., 2017)