Michel Lenczner

Publication Activity (10 Years)

Years Active: 2001-2023
Publications (10 Years): 14

Top Topics

Access Patterns

Mathematical Knowledge

Top Venues

J. Log. Algebraic Methods Program.

Publications

Mathieu d'Aquin, Renata Bunoiu, Horatiu Cirstea, Michel Lenczner, Jean Lieber, Frédéric Zamkotsian
Combining representation formalisms for reasoning upon mathematical knowledge. K-CAP (2023)
Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Michel Lenczner
Unification and combination of a class of traversal strategies made with pattern matching and fixed-points. J. Log. Algebraic Methods Program. 125 (2022)
Ke Du, Stéphane Domas, Michel Lenczner
A Block Assembly Tool for Design Automation of FPGA Implementations. ICCT (2022)
Antonio Gaudiello, Michel Lenczner
A Two-Dimensional Electrostatic Model of Interdigitated Comb Drive in Longitudinal Mode. SIAM J. Appl. Math. 80 (2) (2020)
Ke Du, Stéphane Domas, Michel Lenczner
Techniques for Design Analysis and Modification Based on ASAP Model: Work-in-Progress. CODES+ISSS (2020)
Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Michel Lenczner
Unification and combination of iterative insertion strategies with one-step traversals. CoRR (2019)
Ke Du, Stéphane Domas, Michel Lenczner
Actors with stretchable access patterns. Integr. 66 (2019)
Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Michel Lenczner
Unification and combination of iterative insertion strategies with rudimentary traversals and failure. CoRR (2019)
Ke Du, Stéphane Domas, Michel Lenczner
A solution to overcome some limitations of SDF based models. ICIT (2018)
Ke Du, Stéphane Domas, Mengdie Wu, Michel Lenczner
A Hole-Filling Framework Based on DIBR and Improved Criminisi's Inpainting Algorithm for 3D Videos. ICCBDC (2017)
Homam Issa, Egon Ostrosi, Michel Lenczner, Rabie Habib
Fuzzy holons for intelligent multi-scale design in cloud-based design for configurations. J. Intell. Manuf. 28 (5) (2017)
Ke Du, Stéphane Domas, Michel Lenczner, Guangjin Zhang
An Improved Algorithm Based on SURF for MR Infant Brain Image Registration. ICIC (2) (2016)
Huu-Quan Do, Michel Lenczner, Raphaël Couturier, Youssef Yakoubi
Diffusive Realization of a Lyapunov Equation Solution, and Parallel Algorithms Implementation. SIAM Conf. on Control and its Applications (2015)
Walid Belkhir, Nicolas Ratier, Duy Duc Nguyen, Bin Yang, Michel Lenczner, Frederic Zamkotsian, Horatiu Cirstea
Towards an Automatic Tool for Multi-scale Model Derivation Illustrated with a Micro-mirror Array. SYNASC (2015)
Walid Belkhir, Alain Giorgetti, Michel Lenczner
A symbolic transformation language and its application to a multiscale method. J. Symb. Comput. 65 (2014)
Thi Trang Nguyen, Michel Lenczner, Matthieu Brassart
Homogenization of the One-Dimensional Wave Equation. ENUMATH (2013)
Bin Yang, Walid Belkhir, Michel Lenczner
Computer-Aided Derivation of Multi-scale Models: A Rewriting Framework CoRR (2013)
Homam Issa, Egon Ostrosi, Michel Lenczner, Rabie Habib
Fuzzy Functional Modelling in CAD Systems. ISPE CE (2012)
Michel Lenczner, Gérard Montseny, Youssef Yakoubi
Diffusive realizations for solutions of some operator equations: The one-dimensional case. Math. Comput. 81 (277) (2012)
Walid Belkhir, Alain Giorgetti, Michel Lenczner
Rewriting and Symbolic Transformations for Multiscale Methods CoRR (2011)
Michel Lenczner, Ralph C. Smith
A two-scale model for an array of AFM's cantilever in the static case. Math. Comput. Model. 46 (5-6) (2007)
Michel Lenczner
Homogenization of linear spatially periodic electronic circuits. Networks Heterog. Media 1 (3) (2006)
Michel Lenczner, Denis Mercier
Homogenization of Periodic Electrical Networks Including Voltage to Current Amplifiers. Multiscale Model. Simul. 2 (3) (2004)
Mahamane Kader, Michel Lenczner, Zeljko Mrcarica
Distributed control based on distributed electronic circuits: application to vibration control. Microelectron. Reliab. 41 (11) (2001)