Undirected Graphs of Entanglement 2. - Walid Belkhir; Luigi Santocanale (FSTTCS, 2007)

Undirected Graphs of Entanglement Two - Walid Belkhir; Luigi Santocanale (CoRR, 2007)

The Variable Hierarchy for the Games mu-Calculus - Walid Belkhir; Luigi Santocanale (CoRR, 2007)

The Variable Hierarchy for the Lattice µ-Calculus. - Walid Belkhir; Luigi Santocanale (LPAR, 2008)

Algebra and Combinatorics of Parity Games. (Algebre et Combinatoire des Jeux de Parité). - Walid Belkhir (2008)

Undirected Graphs of Entanglement 3 - Walid Belkhir (CoRR, 2009)

The Star Height Hierarchy Vs. The Variable Hierarchy - Walid Belkhir (CoRR, 2009)

Closure Under Minors of Undirected Entanglement - Walid Belkhir (CoRR, 2009)

From Causal Semantics To Duration Timed Models - Walid Belkhir (CoRR, 2009)

The variable hierarchy for the games µ-calculus. - Walid Belkhir; Luigi Santocanale (Ann. Pure Appl. Log., 2010)

Rewriting and Symbolic Transformations for Multiscale Methods - Walid Belkhir; Alain Giorgetti; Michel Lenczner (CoRR, 2011)

Lazy AC-Pattern Matching for Rewriting - Walid Belkhir; Alain Giorgetti (WRS, 2011)

Fresh-Variable Automata: Application to Service Composition. - Walid Belkhir; Yannick Chevalier; Michaël Rusinowitch (SYNASC, 2013)

Computer-Aided Derivation of Multi-scale Models: A Rewriting Framework - Bin Yang; Walid Belkhir; Michel Lenczner (CoRR, 2013)

Fresh-Variable Automata for Service Composition - Walid Belkhir; Yannick Chevalier; Michaël Rusinowitch (CoRR, 2013)

Guarded Variable Automata over Infinite Alphabets - Walid Belkhir; Yannick Chevalier; Michaël Rusinowitch (CoRR, 2013)

A Parametrized Propositional Dynamic Logic with Application to Service Synthesis. - Walid Belkhir; Gisela Rossi; Michaël Rusinowitch (Advances in Modal Logic, 2014)

An EXPTIME Algorithm for Data-Aware Service Simulation Using Parametrized Automata. - Walid Belkhir; Yannick Chevalier; Michaël Rusinowitch (ICSOC Workshops, 2014)

A symbolic transformation language and its application to a multiscale method. - Walid Belkhir; Alain Giorgetti; Michel Lenczner (J. Symb. Comput., 2014)

Expressive Equivalence and Succinctness of Parametrized Automata with Respect to Finite Memory Automata. - Tushant Jha; Walid Belkhir; Yannick Chevalier; Michaël Rusinowitch (ICSOC Workshops, 2015)

Towards an Automatic Tool for Multi-scale Model Derivation Illustrated with a Micro-mirror Array. - Walid Belkhir; Nicolas Ratier; Duy Duc Nguyen; Bin Yang; Michel Lenczner; Frédéric Zamkotsian; Horatiu Cirstea (SYNASC, 2015)

Parametrized automata simulation and application to service composition. - Walid Belkhir; Yannick Chevalier; Michaël Rusinowitch (J. Symb. Comput., 2015)

Unification and combination of iterative insertion strategies with one-step traversals. - Walid Belkhir; Nicolas Ratier; Duy Duc Nguyen; Michel Lenczner (CoRR, 2019)

Unification and combination of iterative insertion strategies with rudimentary traversals and failure. - Walid Belkhir; Nicolas Ratier; Duy Duc Nguyen; Michel Lenczner (CoRR, 2019)

Unification and combination of a class of traversal strategies made with pattern matching and fixed-points. - Walid Belkhir; Nicolas Ratier; Duy Duc Nguyen; Michel Lenczner (J. Log. Algebraic Methods Program., 2022)