Walid Belkhir - RankMe

25 papers B 2Misc 2Journal 16Unranked 4

Year	Rank	Type	Title / 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