Research departments

Home > Directory > directory

Directory


Return to the list

  • Tel. : 03.63.08.24.00
  • Address :

You can find here my publication list. If you want to obtain a copy of one of them and you can not obtain it otherwise, please contact me

Publication list :

Category article
2014
  • Computer-aided derivation of multi-scale models: a rewriting framework
    International Journal for Multiscale Computational Engineering (Volume 12, Issue (2), jan 2014, Pages :91 - 114)
    Yang, Bin | Belkhir, Walid | Lenczner, Michel
    doi | bibtex
  • A Symbolic Transformation Language and its Application to a Multiscale Method
    Journal of Symbolic Computation (Volume 65, nov 2014, Pages :49 - 78)
    Belkhir, Walid | Giorgetti, Alain | Lenczner, Michel
    pdf | doi | bibtex
Category inproceedings
2013
  • A Multiscale Model Derivation and Simulation Tool for MEMS Arrays
    2013 14TH INTERNATIONAL CONFERENCE ON THERMAL, MECHANICAL AND MULTI-PHYSICS SIMULATION AND EXPERIMENTS IN MICROELECTRONICS AND MICROSYSTEMS (EUROSIME) / Wroclaw, POLAND (2013, Pages pages (8 pages))
    Yang, Bin | Belkhir, Walid | Lenczner, Michel | Ratier, Nicolas
    pdf | doi | bibtex
2012
  • Rewriting Strategies for a Two-Scale Method: Application to Combined Thin and Periodic Structures
    dMEMS'12, 2nd Workshop on Design, Control and Software Implementation for Distributed MEMS / Besançon, France (2012, Pages pages 82--89)
    Belkhir, Walid | Giorgetti, Alain | Lenczner, Michel | Dhara, Raj Narayan | Yang, Bin
    pdf | doi | bibtex
2011
  • Lazy Rewriting Modulo Associativity and Commutativity
    WRS 2011, 10-th Int. workshop on Reduction Strategies in Rewriting and Programming / Novi Sad, Serbia (2011, Pages pages 17--21)
    Belkhir, Walid | Giorgetti, Alain
    bibtex
  • Computer-Aided Multiscale Model Derivation for MEMS Arrays
    EuroSimE 2011, 13-th Int. Conf. on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems / Linz, Austria (2011)
    Yang, Bin | Belkhir, Walid | Dhara, Raj Narayan | Lenczner, Michel | Giorgetti, Alain
    doi | bibtex
  • Formal Methods for Multiscale Models Derivation
    CFM 2011, 20ème Congrès Français de Mécanique / Besançon, France (2011, Pages pages 4092--4097)
    Dhara, Raj Narayan | Yang, Bin | Belkhir, Walid | Lenczner, Michel | Giorgetti, Alain
    pdf | bibtex
  • Lazy {AC-Pattern} Matching for Rewriting
    WRS'11, 10th int. Workshop on Reduction Strategies in Rewriting and Programming / Novi Sad, Serbia (2011, Pages pages 37--51)
    Belkhir, Walid | Giorgetti, Alain
    doi | bibtex
Category techreport
2013
  • A Symbolic Transformation Language and its Application to a Multiscale Method
    INRIA (dec 2013, Research Report, Number hal-00917323)
    Belkhir, Walid | Giorgetti, Alain | Lenczner, Michel
    bibtex