|
 
|
Liste des publications
2015
-
[CLB15]
Y. Chen, . Li, K. Barkaoui, A. Giua.
"On the Enforcement of a Class of Nonlinear Constraints on Petri Nets",
Automatica,
vol. 55(5), pp. 116-124,
2015
Revue Internationale avec comité de lecture
2014
- [FAYa14] A. Faye. "Solving the Aircraft Landing Problem with time discretization approach", European Journal of Operational Research, vol. 242(2015), pp. 1028-1038, 2014, (doi:10.1016/j.ejor.2014.10.064)
- [DD14] D. Delahaye, C. Dubois. "Proceedings of the first workshop about Sets and Tools, SETS 2014, affiliated to ABZ 2014", June 2014, Informal proceedings,
Revue Internationale avec comité de lecture
Directions d'ouvrages scientifiques
2012
- [YE12] H. Yaman, S. Elloumi. "Star p-hub Center Problem and Star p-hub Median Problem with Bounded Path Lengths", Computers and Operations Research, vol. 39(11), pp. 2725-2732, 2012, (doi:10.1016/j.cor.2012.02.005)
- [CDG12a] M. Carlier, C. Dubois, A. Gotlieb. "A certified constraint solver over finite domains", Formal Methods (FM 2012) (ex FME), August 2012, Vol. 7436, pp.116-131, Series LNCS, Paris, France,
- [SB12] Z. Sbaï, K. Boudhar. "Vérification Formelle des Processus Workflow Collaboratifs", Actes de la conférence francophone sur les Systèmes Collaboratifs (SysCo 2012), May 2012, pp.197-210,
- [SBa12] Z. Sbaï, K. Barkaoui. "Vérification Formelle des Processus Workflow Collaboratifs", Conférence francophone sur les Systèmes Collaboratifs (SysCo’12), May 2012, pp.197-200,
