Upcoming Courses

go to course
User Research - Methods and Best Practices
Starts tomorrow LAST CALL!
go to course
Get Your First Job as a UX or Interaction Designer
Starts the day after tomorrow !
 
 

Featured chapter

Marc Hassenzahl explains the fascinating concept of User Experience and Experience Design. Commentaries by Don Norman, Eric Reiss, Mark Blythe, and Whitney Hess

User Experience and Experience Design !

 
 

Our Latest Books

 
 
The Glossary of Human Computer Interaction
by Mads Soegaard and Rikke Friis Dam
start reading
 
 
 
 
The Social Design of Technical Systems: Building technologies for communities. 2nd Edition
by Brian Whitworth and Adnan Ahmad
start reading
 
 
 
 
Gamification at Work: Designing Engaging Business Software
by Janaki Mythily Kumar and Mario Herger
start reading
 
 
 
 
The Social Design of Technical Systems: Building technologies for communities
by Brian Whitworth and Adnan Ahmad
start reading
 
 
 
 
The Encyclopedia of Human-Computer Interaction, 2nd Ed.
by Mads Soegaard and Rikke Friis Dam
start reading
 
 

Xavier Thirioux

 

Publications by Xavier Thirioux (bibliography)

 what's this?
2009
 
Edit | Del

Combemale, Benot, Crgut, Xavier, Garoche, Pierre-Loc, Thirioux, Xavier and Vernadat, Franois (2009): A Property-Driven Approach to Formal Verification of Process Models. In: Filipe, Joaquim, Cordeiro, Jos and Cardoso, Jorge (eds.) ICEIS 2007 - Enterprise Information Systems - 9th International Conference June 12-16, 2009, Funchal, Portugal. pp. 286-300. http://dx.doi.org/10.1007/978-3-540-88710-2_23

2007
 
Edit | Del

Combemale, Benot, Garoche, Pierre-Loc, Crgut, Xavier, Thirioux, Xavier and Vernadat, Franois (2007): Towards a Formal Verification of Process Model's Properties SIMPLEPDL and TOCL Case Study. In: Cardoso, Jorge, Cordeiro, Jos and Filipe, Joaquim (eds.) ICEIS 2007 - Proceedings of the Ninth International Conference on Enterprise Information Systems Volume EIS June 12-16, 2007, Funchal, Portugal. pp. 80-89.

 
Add publication
Show list on your website
 
 

Join our community and advance:

Your
Skills

Your
Network

Your
Career

 
Join our community!
 
 
 

Page Information

Page maintainer: The Editorial Team
URL: http://www.interaction-design.org/references/authors/xavier_thirioux.html