1. The theory of timed automata;['Alur, Rajeev', 'Dill, David', 'de Bakker, J.W.', 'Huizing, C.', 'de Roever, W.P.', 'Rozenberg, G.'];Real-Time : Theory in Practice : REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings,1992
2. Modeling Games with Petri Nets;['Araújo, Manuel', 'Roque, Licínio'];Breaking New Ground : Innovation in Games, Play, Practice and Theory – Proceedings of DiGRA 2009,2009
3. [3] Aspord, Elise; Becker, Joffrey; Grangier, Emmanuelle Link human/robot, Van Dieren eds, 2014
4. LecceAR : An Augmented Reality App;['Banterle, Francesco', 'Cardillo, Franco Alberto', 'Malomo, Luigi', 'Pingi, Paolo', 'Gabellone, Francesco', 'Amato, Giuseppe'];Digital Presentation and Preservation of Cultural and Scientific Heritage DiPP2015,2015
5. A Timed Petri Net Model to Specify Scenarios of Video Games;['Barreto, Franciny M.', 'Jeske, Joslaine', 'Julia, Stéphane'];Information Technology - New Generations,2018