Walid Belkhir
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2008–2015
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ICSOC | Expressive Equivalence and Succinctness of Parametrized Automata with Respect to Finite Memory Automata. | Tushant Jha, Walid Belkhir, Yannick Chevalier, Michal Rusinowitch |
| 2015 | SYNASC | 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, Frdric Zamkotsian, Horatiu Cirstea |
| 2014 | AiML | A Parametrized Propositional Dynamic Logic with Application to Service Synthesis. | Walid Belkhir, Gisela Rossi, Michal Rusinowitch |
| 2014 | ICSOC | An EXPTIME Algorithm for Data-Aware Service Simulation Using Parametrized Automata. | Walid Belkhir, Yannick Chevalier, Michal Rusinowitch |
| 2013 | SYNASC | Fresh-Variable Automata: Application to Service Composition. | Walid Belkhir, Yannick Chevalier, Michal Rusinowitch |
| 2008 | LPAR | The Variable Hierarchy for the Lattice -Calculus. | Walid Belkhir, Luigi Santocanale |