Walid Belkhir

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