Walid Belkhir

According to our database, Walid Belkhir authored at least 25 papers between 2007 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

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

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 iterative insertion strategies with one-step traversals.

Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Michel Lenczner

CoRR, 2019

2015

Parametrized automata simulation and application to service composition.

Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch

J. Symb. Comput., 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

Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

Expressive Equivalence and Succinctness of Parametrized Automata with Respect to Finite Memory Automata.

Tushant Jha, Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch

Proceedings of the Service-Oriented Computing - ICSOC 2015 Workshops, 2015

2014

A symbolic transformation language and its application to a multiscale method.

Walid Belkhir, Alain Giorgetti, Michel Lenczner

J. Symb. Comput., 2014

An EXPTIME Algorithm for Data-Aware Service Simulation Using Parametrized Automata.

Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch

Proceedings of the Service-Oriented Computing - ICSOC 2014 Workshops, 2014

A Parametrized Propositional Dynamic Logic with Application to Service Synthesis.

Walid Belkhir, Gisela Rossi, Michaël Rusinowitch

Proceedings of the Advances in Modal Logic 10, 2014

2013

Guarded Variable Automata over Infinite Alphabets

Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch

CoRR, 2013

Fresh-Variable Automata for Service Composition

Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch

CoRR, 2013

Computer-Aided Derivation of Multi-scale Models: A Rewriting Framework

Bin Yang, Walid Belkhir, Michel Lenczner

CoRR, 2013

Fresh-Variable Automata: Application to Service Composition.

Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch

Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013

2011

Lazy AC-Pattern Matching for Rewriting

Walid Belkhir, Alain Giorgetti

Proceedings of the Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming, 2011

Rewriting and Symbolic Transformations for Multiscale Methods

Walid Belkhir, Alain Giorgetti, Michel Lenczner

CoRR, 2011

2010

The variable hierarchy for the games µ-calculus.

Walid Belkhir, Luigi Santocanale

Ann. Pure Appl. Log., 2010

2009

From Causal Semantics To Duration Timed Models

Walid Belkhir

CoRR, 2009

Closure Under Minors of Undirected Entanglement

Walid Belkhir

CoRR, 2009

The Star Height Hierarchy Vs. The Variable Hierarchy

Walid Belkhir

CoRR, 2009

Undirected Graphs of Entanglement 3

Walid Belkhir

CoRR, 2009

2008

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

Walid Belkhir

PhD thesis, 2008

The Variable Hierarchy for the Lattice µ-Calculus.

Walid Belkhir, Luigi Santocanale

Proceedings of the Logic for Programming, 2008

2007

The Variable Hierarchy for the Games mu-Calculus

Walid Belkhir, Luigi Santocanale

CoRR, 2007

Undirected Graphs of Entanglement Two

Walid Belkhir, Luigi Santocanale

CoRR, 2007

Undirected Graphs of Entanglement 2.

Walid Belkhir, Luigi Santocanale

Proceedings of the FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 2007