Walid Belkhir

Identifiers

• name variant Walid Belkhir 0.60 · backfill

Papers (9)

1. Unification and combination of iterative insertion strategies with rudimentary traversals and failure cs.LO · 2019 · author #1
2. Guarded Variable Automata over Infinite Alphabets cs.FL · 2013 · author #1
3. Fresh-Variable Automata for Service Composition cs.FL · 2013 · author #1
4. Computer-Aided Derivation of Multi-scale Models: A Rewriting Framework cs.SC · 2013 · author #2
5. A Symbolic Transformation Language and its Application to a Multiscale Method cs.SC · 2011 · author #1
6. From Causal Semantics To Duration Timed Models cs.LO · 2009 · author #1
7. Closure Under Minors of Undirected Entanglement cs.DM · 2009 · author #1
8. The Star Height Hierarchy Vs. The Variable Hierarchy cs.LO · 2009 · author #1
9. Undirected Graphs of Entanglement 3 cs.GT · 2009 · author #1

Mentions

• 1304.6297 #1 · backfill · confidence 0.70 Walid Belkhir
• 1302.4205 #1 · backfill · confidence 0.70 Walid Belkhir
• 1302.2224 #2 · backfill · confidence 0.70 Walid Belkhir
• 1101.3218 #1 · backfill · confidence 0.70 Walid Belkhir
• 0907.3226 #1 · backfill · confidence 0.70 Walid Belkhir
• 0904.1703 #1 · backfill · confidence 0.70 Walid Belkhir
• 0904.1701 #1 · backfill · confidence 0.70 Walid Belkhir
• 0904.1696 #1 · backfill · confidence 0.70 Walid Belkhir

Frequent Coauthors

• Michael Rusinowitch 2 shared papers
• Michel Lenczner 2 shared papers
• Yannick Chevalier 2 shared papers
• Alain Giorgetti 1 shared papers
• Bin Yang 1 shared papers
• Duy Duc Nguyen Michel Lenczner 1 shared papers
• Nicolas Ratier 1 shared papers