, Process Mining: Discovery, Conformance and Enhancement of Business Processes, 2011.
Learning Domain Knowledge for Teaching Procedural Skills, Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems: Part 3, AAMAS '02, pp.1372-1378, 2002. ,
The synthesis problem for elementary net systems is np-complete, Theor. Comput. Sci, vol.186, issue.1-2, pp.107-134, 1997. ,
URL : https://hal.archives-ouvertes.fr/inria-00074122
Petri Net Synthesis, Texts in Theoretical Computer Science. An EATCS Series, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01237142
The Use of Immersive Virtual Reality in the Learning Sciences: Digital Transformations of Teachers, Students, and Social Context, Journal of the Learning Sciences, vol.17, issue.1, pp.102-141, 2008. ,
Story Manager in 'Europe 2045' Uses Petri Nets, Virtual Storytelling. Using Virtual Reality Technologies for Storytelling: 4th International Conference, ICVS 2007, pp.38-50, 2007. ,
, Surgical Process Mining with Test and Flip Net Synthesis, pp.43-54, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00872284
A Virtual Reality Dance Training System Using Motion Capture Technology, IEEE Transactions on Learning Technologies, vol.4, issue.2, pp.187-195, 2011. ,
Semantic modeling of Virtual Environments using MASCARET, 2012 5th Workshop on Software Engineering and Architectures for Realtime Interactive Systems (SEARIS), pp.1-8, 2012. ,
Short Paper: #SEVEN, a Sensor Effector Based Scenarios Model for Driving Collaborative Virtual Environment, ICAT-EGVE, International Conference on Artificial Reality and Telexistence, Eurographics Symposium on Virtual Environments, pp.1-4, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01086237
HCSM: a framework for behavior and scenario control in virtual environments, ACM Transactions on Modeling and Computer Simulation (TOMACS), vol.5, issue.3, pp.242-267, 1995. ,
Formal semantics and analysis of bpmn process models using petri nets, pp.1-30, 2007. ,
Virtual Environments for Training: From Individual Learning to Collaboration with Humanoids, pp.116-127, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00165985
Usability Analysis of Visual Programming Environments: A 'Cognitive Dimensions' Framework, Journal of Visual Languages & Computing, vol.7, issue.2, pp.131-174, 1996. ,
Mystery at the museum: a collaborative game for museum education, Proceedings of the 2005 Conference on Computer support for collaborative learning, pp.316-320, 2005. ,
Environmental Detectives-the development of an augmented reality platform for environmental simulations, Educational Technology Research and Development, vol.56, pp.203-228, 2007. ,
Automatic orchestration of behaviours through the management of resources and priority levels, Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3, pp.1309-1316, 2002. ,
URL : https://hal.archives-ouvertes.fr/inria-00432196
,
Authoring AR by AR: abstraction and libraries, 2019. ,
Create by doing -Action sequencing in VR, Advances in Computer Graphics, pp.329-335, 2019. ,
Making sense of virtual environments: action representation, grounding and common sense, Proceedings of the 12th international conference on Intelligent user interfaces, pp.225-234, 2007. ,
A behavior language for storybased believable agents, IEEE Intelligent Systems, vol.17, issue.4, pp.39-47, 2002. ,
Heroes, Villians, Magicians, & Dramatis Personae in a Virtual Story Creation Environment, Proceedings of the 6th International Conference on Intelligent User Interfaces, IUI '01, pp.129-136, 2001. ,
Flip-flop nets, STACS 96, 13th Annual Symposium on Theoretical Aspects of Computer Science, vol.1046, pp.517-528, 1996. ,
URL : https://hal.archives-ouvertes.fr/inria-00074096
Extending SAT solvers to cryptographic problems, Theory and Applications of Satisfiability Testing -SAT 2009, 12th International Conference, vol.5584, pp.244-257, 2009. ,