Zakaria Bouziane

A primitive recursive algorithm for the general Petri net reachability problem

Zakaria Bouziane, Zakaria Bouziane, 1998, Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).

Cyclic Petri net reachability sets are semi-linear effectively constructible

Alain Finkel, Zakaria Bouziane, A. Finkel, 1997, INFINITY.

Understanding the impacts of brand identification and brand experience on customer engagement in the light of energy optimization

Zakaria Bouziane, Chaimaa Bendahou, Nour Habiba Bensassi, 2023, E3S Web of Conferences.

BDL, a language of distributed reactive objects

Benoît Caillaud, Albert Benveniste, Jean-Pierre Talpin, 1998, Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).