Suivre
Jérôme Tremblay
Jérôme Tremblay
LaCIM, UQAM
Adresse e-mail validée de uqam.ca
Titre
Citée par
Citée par
Année
Extending model checking to data-aware temporal properties of web services
S Hallé, R Villemaire, O Cherkaoui, J Tremblay, B Ghandour
Web Services and Formal Methods: 4th International Workshop, WS-FM 2007 …, 2008
72008
Efficient computation of the outer hull of a discrete path
S Brlek, H Tremblay, J Tremblay, R Weber
Discrete Geometry for Computer Imagery: 18th IAPR International Conference …, 2014
52014
Exhaustive generation of gominoes
J Fortier, A Goupil, J Lortie, J Tremblay
Theoretical Computer Science 502, 76-87, 2013
22013
Génération exhaustive de polyominos
J Tremblay
Université du Québec à Montréal, 2016
2016
Exhaustive generation of gominoes
A Goupil, J Lortie, J Tremblay
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–5