F. Viallet

FROM TECHNICAL TO USAGE ENERGY EFFICIENCY IN BUILDINGS : APPLICATION TO A HEATED ROOM

Hervé Chenailler, S. Ploix, F. Wurtz, 2011 .

Proving goodsynchronization betweenFinite StateMachines : a casestudy

F. Viallet, PaulAmblard TIMA-CMP, 2004 .

Finite State Machines : Composition, Verification, Minimization : a Case Study

F. Viallet, Fabienne Lagnier, Michel Lévy, 2022 .

Building consensual knowledge bases: context and architecture

F. Viallet, 2011 .

The Baghera project: a multi-agent architecture for human learning

Sylvie Pesty, Nicolas Balacheff, Carine Webber, 2003 .

Low Power SOI CMOS Multipliers : 2 D vs

F. Viallet, 1998 .