DYNA

Wortley, D., Gamification and geospatial health management, Proc. of 7th IGRSM International Remote Sensing & GIS Conference and Exhibition IOP Publishing. IOP Conf. Series: Earth and Environmental Science, 20, 2014. DOI: 10.1088/1755-1315/20/1/012039

Gartner Group, Gartner Says By 2015, More Than 50 Percent of Organizations That Manage Innovation Processes Will Gamify Those Processes. 2011.

Vasquez, O.C., Sepulveda, J.M., Alfaro, M.D. and Osorio-Valenzuela, L., Disaster response project scheduling problem: A resolution method based on a game-theoretical model, International Journal of Computers Communications & Control, 8(2), pp. 334-345, 2013. DOI: 10.15837/ijccc.2013.2.313

Caponetto, I., Earp, J. and Ott, M., Gamification and education: A literature review, Proc. of the 8th European conference on games ECGBL 2014, pp. 50-57, 2014.

Bothsa, A., Herselman, M. and Ford, M., Gamification beyond badges, IST-Africa Conference Proceedings, IEEE, pp. 1-10. 2014.

Gené, O.B., Martínez, M. and Blanco, F., Gamification in MOOC: challenges, opportunities and proposals for advancing MOOC model, Proc. of the 2nd Int. Conference on Technological Ecosystems for Enhancing Multiculturality, 2014, pp. 215-220. DOI: 10.1145/2669711.2669902

Sammut, R., Seychell, D. and Attard, N., Gamification of project management within a corporate environment: An exploratory study. Proc. of 6th International Conference on Games and Virtual Worlds for Serious Applications (VS-GAMES), pp. 1-2. IEEE, 2014. DOI: 10.1109/vs-games.2014.7012158

Freudmann, E.A. and Bakamitsos, Y., The role of gamification in non-profit marketing: An information processing account, Procedia - Social and Behavioral Sciences, 148, pp. 567-572, 2014. DOI: 10.1016/j.sbspro.2014.07.081

Wilson, A.S. and McDonagh, J.E., A gamification model to encourage positive healthcare behaviours in young people with long term conditions, EAI Endorsed Trans. Serious Games 2: e3, 2014. DOI: 10.4108/sg.1.2.e3

da Conceicao, F.S., da Silva, A.P., de Oliveira-Filho, A.Q. and Silva-Filho, R.C., Toward a gamification model to improve IT service management quality on service desk, Proc. of 9th International Conference on the Quality of Information and Communications Technology (QUATIC), IEEE, pp. 255-260. 2014. DOI: 10.1109/quatic.2014.41

Hall, M., Kimbrough, S.O., Haas, C., Weinhardt, C. and Caton, S., Towards the gamification of well-being measures, IEEE 8th International Conference on E-Science (e-Science), 2012, pp. 1-8.

Larsson, R.S., Motivations in sports and fitness gamification: A study to understand what motivates the users of sports and fitness gamification services, MSc Thesis, Umea Universitet, Umeå, Suecia, 2013.

Wells, S., Kotkanen, H., Schlafli, M., Gabrielli, S., Masthoff, J., Jylhä, A. and Forbes, P., Towards an applied gamification model for tracking, Managing, & Encouraging Sustainable Travel Behaviours. ICST Trans. Ambient Systems 4: e2, 2014. DOI: 10.4108/amsys.1.4.e2

Bauckhage, C., Kersting, K., Sifa, R., Thurau, C., Drachen, A. and Canossa, A., How players lose interest in playing a game: An empirical study based on distributions of total playing times. IEEE Conference on Computational Intelligence and Games (CIG), 2012, pp. 139-146. DOI: 10.1109/CIG.2012.6374148

Tenzer, J., Improving UML design tools by formal games, Proc. of 26th Int. Conference on Software Engineering (ICSE 2004), IEEE, pp. 2004, 75-77. DOI: 10.1109/icse.2004.1317428

Hetherinton, D., SysML requirements for training game design, Proc. of IEEE 17th International Conference on Intelligent Transportation Systems (ITSC), 2014, pp.162-167. DOI: 10.1109/ITSC.2014.6957684

Herzig, P., Jugel, K., Momm, C., Ameling, M. and Schill, A., GaML-A modeling language for gamification, Proc. of IEEE/ACM 6th Int. Conference on Utility and Cloud Computing, 2013, pp. 494-499. DOI: 10.1109/ucc.2013.96

Matallaoui, A., Herzig, P. and Zarnekow, R., Model-Driven serious game development integration of the gamification modeling language GaML with unity, Proc. of 48th Hawaii International Conference on System Sciences (HICSS), IEEE, 2015, pp. 643-651. DOI: 10.1109/hicss.2015.84

Janssens, O., Samyny, K. and Hoecke, S., Educational virtual game scenario generation for serious games, Proc. of IEEE 3rd Int. Conference on Serious Games and Applications for Health (SeGAH), IEEE, 2014, pp. 1-8. DOI: 10.1109/segah.2014.7067106

Nummenmaa, T., Berki, E. and Mikkonen, T., Exploring games as formal models, In 4th South-East European Workshop on Formal Methods (SEEFM), IEEE, 2009, pp. 60-65. DOI: 10.1109/seefm.2009.15

Kim, J.T. and Lee, W.-H., Dynamical model and simulations for gamification of learning, International Journal of Multimedia and Ubiquitous Engineering, 8(4), pp. 179-190, 2013.

Bista, S.K., Nepal, S., Colineau, N. and Paris, C., Using gamification in an online community, CollaborateCom 2012, 2012, pp. 611-618.

Chan, K.T., King, I. and Yuen, M.-C., Mathematical modeling of social games, International Conference on Computational Science and Engineering, CSE'09, IEEE, 4, 2009, pp. 1205-1210. DOI: 10.1109/cse.2009.166

de Oliveira, G.W., Julia, S. and Soares-Passos, L.M., Game modeling using WorkFlow nets, in Proc. of IEEE International Conference on Systems, Man and Cybernetics (SMC), IEEE, 2011, pp. 838-843. DOI: 10.1109/icsmc.2011.6083757

Agustin, M., Chuang, G., Delgado, A., Ortega, A. Seaver, J. and Buchanan, J.W., Game sketching, Proc. of the 2nd int. conference on digital interactive media in entertainment and arts, 2007, pp. 36-43.

Smith, A.M., Nelson, M.J. and Mateas, M., Ludocore: A logical game engine for modeling videogames, in: IEEE Symposium on, Computational Intelligence and Games (CIG), 2010, pp. 91-98. DOI: 10.1109/itw.2010.5593368

Dormans, J., Machinations: elemental feedback patterns for game design, in: Saur, J. and Loper, M. (eds.), GAME-ON-NA 2009: 5th Int. North American Conference on Intelligent Games and Simulation, pp. 2009, 33-40.

van Rozen, R. and Dormans, J., Adapting game mechanics with micro-machinations, Proc. of the 9th Int. Conference on the Foundations of Digital Games, 2014.

Ašeriškis, D. and Damaševičius, R., Gamification patterns for gamification applications, Procedia Computer Science: 39, pp. 83-90, 2014. DOI: 10.1016/j.procs.2014.11.013

Ašeriškis, D. and Damaševičius, R., Gamification of a Project management system, Proc. of Int. Conference on Advances in Computer-Human Interactions ACHI2014, 2014, pp. 200-207.

Green, T.R.G. and Petre. M., Usability analysis of visual programming environments: A 'cognitive dimensions' framework, Journal of Visual Languages & Computing, 7(2), pp. 131-174, 1996. DOI: 10.1006/jvlc.1996.0009

Rao, V., Heuristic evaluation of persuasive game systems in a behavior change support systems perspective: Elements for discussion. Second International Workshop on Behavior Change Support Systems – BCSS, 2014, pp. 21-25.

Grünvogel, S.M., Formal models and game design, Game Studies 5(1), pp. 1-9, 2005.

Devedzić, V., Understanding ontological engineering, Communications of the ACM, 45(4), pp. 136-144, 2002. DOI: 10.1145/505248.506002

Tabuada, P., Pappas, G.J. and Lima, P., Compositional abstractions of hybrid systems. Discrete Event Dynamic Systems, 14(2), pp. 203-238, 2004. DOI: 10.1023/B:DISC.0000018571.14789.24

Narayanasamy, V., Wong, K.W., Rai, S. and Chiou, A., Complex game design modeling, Cultural Computing, Springer, 333, pp. 65-74, 2010. DOI: 10.1007/978-3-642-15214-6_7

Salen, K. and Zimmerman, E., Rules of play - game design fundamentals, The MIT Press, Cambridge, MA, USA, 2004.

Vega-Zazueta, L., Modélisation et analyse spatiale et temporelle des jeux vidéo basées sur les réseaux de Pétri, PhD Thesis, Paris, France, 2004.