 | Monter d'un niveau |
Barkaoui, K., Boucheneb, H., & Li, Z. (2020). Exploiting local persistency for reduced state-space generation. Innovations in Systems and Software Engineering, 16(2), 181-197. Lien externe
Kuangze, W., Boucheneb, H., Barkaoui, K., & Zhiwu, L. (octobre 2020). Towards Efficient Partial Order Techniques for Time Petri Nets [Communication écrite]. 14th International Conference, on Verification and Evaluation of Computer and Communication Systems (VECoS 2020), Xi'an, China. Lien externe
Moreno-Jimenez, L.-G., Torres-Moreno, J.-M., Boucheneb, H., & Wedemann, R. S. (novembre 2020). FLE : A fuzzy logic algorithm for classification of emotions in literary corpora [Communication écrite]. 12th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2020). Lien externe
