Walid Belkhir

ORCID

Publication Activity (10 Years)

Years Active: 2007-2022
Publications (10 Years): 6

Top Venues

Aix-Marseille University, Aix-en-Provence, France (PHD)

Education History

Aix-Marseille University, Aix-en-Provence, France

PHD

Publications

Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Michel Lenczner
Unification and combination of a class of traversal strategies made with pattern matching and fixed-points. J. Log. Algebraic Methods Program. 125 (2022)
Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Michel Lenczner
Unification and combination of iterative insertion strategies with one-step traversals. CoRR (2019)
Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Michel Lenczner
Unification and combination of iterative insertion strategies with rudimentary traversals and failure. CoRR (2019)
Tushant Jha, Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch
Expressive Equivalence and Succinctness of Parametrized Automata with Respect to Finite Memory Automata. ICSOC Workshops (2015)
Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch
Parametrized automata simulation and application to service composition. J. Symb. Comput. 69 (2015)
Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Bin Yang, Michel Lenczner, Frederic Zamkotsian, Horatiu Cirstea
Towards an Automatic Tool for Multi-scale Model Derivation Illustrated with a Micro-mirror Array. SYNASC (2015)
Walid Belkhir, Gisela Rossi, Michaël Rusinowitch
A Parametrized Propositional Dynamic Logic with Application to Service Synthesis. Advances in Modal Logic (2014)
Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch
An EXPTIME Algorithm for Data-Aware Service Simulation Using Parametrized Automata. ICSOC Workshops (2014)
Walid Belkhir, Alain Giorgetti, Michel Lenczner
A symbolic transformation language and its application to a multiscale method. J. Symb. Comput. 65 (2014)
Bin Yang, Walid Belkhir, Michel Lenczner
Computer-Aided Derivation of Multi-scale Models: A Rewriting Framework CoRR (2013)
Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch
Guarded Variable Automata over Infinite Alphabets CoRR (2013)
Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch
Fresh-Variable Automata: Application to Service Composition. SYNASC (2013)
Walid Belkhir, Yannick Chevalier, Michaël Rusinowitch
Fresh-Variable Automata for Service Composition CoRR (2013)
Walid Belkhir, Alain Giorgetti
Lazy AC-Pattern Matching for Rewriting WRS (2011)
Walid Belkhir, Alain Giorgetti, Michel Lenczner
Rewriting and Symbolic Transformations for Multiscale Methods CoRR (2011)
Walid Belkhir, Luigi Santocanale
The variable hierarchy for the games µ-calculus. Ann. Pure Appl. Log. 161 (5) (2010)
Walid Belkhir
Closure Under Minors of Undirected Entanglement CoRR (2009)
Walid Belkhir
The Star Height Hierarchy Vs. The Variable Hierarchy CoRR (2009)
Walid Belkhir
From Causal Semantics To Duration Timed Models CoRR (2009)
Walid Belkhir
Undirected Graphs of Entanglement 3 CoRR (2009)
Walid Belkhir, Luigi Santocanale
The Variable Hierarchy for the Lattice µ-Calculus. LPAR (2008)
Walid Belkhir, Luigi Santocanale
Undirected Graphs of Entanglement 2. FSTTCS (2007)
Walid Belkhir, Luigi Santocanale
The Variable Hierarchy for the Games mu-Calculus CoRR (2007)
Walid Belkhir, Luigi Santocanale
Undirected Graphs of Entanglement Two CoRR (2007)

Walid Belkhir.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Walid Belkhir