Back to INDEX   Publications of Walid Belkhir   Conference articles Walid Belkhir and Alain Giorgetti. Lazy Rewriting Modulo Associativity and Commutativity. In WRS 2011, 10-th Int. workshop on Reduction Strategies in Rewriting and Programming, Novi Sad, Serbia, pages 17--21, May 2011. [bibtex] Bin Yang, Walid Belkhir, Raj Narayan Dhara, Michel Lenczner, and Alain Giorgetti. Computer-Aided Multiscale Model Derivation for MEMS Arrays. In EuroSimE 2011, 13-th Int. Conf. on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems, Linz, Austria, April 2011. IEEE Computer Society. Note: 6 pages. Electronic proceedings. [bibtex] Bin Yang, Raj Narayan Dhara, Walid Belkhir, Michel Lenczner, and Alain Giorgetti. Formal Methods for Multiscale Models Derivation. In CFM 2011, 20-th Congrès Français de Mécanique, Besançon, France, August 2011. Note: 5 pages. Electronic proceedings. [bibtex] Back to INDEX

Wed May 16 18:07:18 2012 Authors: Arnaud Lanoix, Pierre-Alain Masson and Jean-Marc Nicod

This document was translated from BibTEX by bibtex2html