Automatic layout and optimization of static CMOS cells. - Frédéric Mailhot 001; Giovanni De Micheli (ICCD, 1988)

Technology mapping using boolean matching and don't care sets. - Frédéric Mailhot 001; Giovanni De Micheli (EURO-DAC, 1990)

The Olympus Synthesis System. - Giovanni De Micheli; David C. Ku; Frédéric Mailhot 001; Thomas K. Truong (IEEE Des. Test Comput., 1990)

Technology mapping for a two-output RAM-based field programmable gate array. - David Filo; Jerry Chih-Yuan Yang; Frédéric Mailhot 001; Giovanni De Micheli (EURO-DAC, 1991)

Technology Independent Boundary Scan Synthesis (Technology and Physical Issues). - Markus Robinson; Frédéric Mailhot 001; Jim Konsevich (ITC, 1993)

Algorithms for technology mapping based on binary decision diagrams and on Boolean operations. - Frédéric Mailhot 001; Giovanni De Micheli (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1993)

Boolean Matching of Sequential Elements. - Shankar Krishnamoorthy; Frédéric Mailhot 001 (DAC, 1994)

FPGA implementation of a spiking neural network for pattern matching. - Louis-Charles Caron; Frédéric Mailhot 001; Jean Rouat (ISCAS, 2011)

Event management for large scale event-driven digital hardware spiking neural networks. - Louis-Charles Caron; Michiel D'Haene; Frédéric Mailhot 001; Benjamin Schrauwen; Jean Rouat (Neural Networks, 2013)

Live demonstration: Efficient event-driven approach using synchrony processing for hardware spiking neural networks. - Guillaume Seguin-Godin; Frédéric Mailhot 001; Jean Rouat (ISCAS, 2015)

Efficient event-driven approach using synchrony processing for hardware spiking neural networks. - Guillaume Seguin-Godin; Frédéric Mailhot 001; Jean Rouat (ISCAS, 2015)

A Common Recursive Form for Multiple Fundamental Arithmetic Operators and its Automated Synthesis. - Sébastien Roy 002; Frédéric Mailhot 001 (ACSSC, 2019)

SCADA Radio Blackbox Reverse Engineering. - Jean-Benoit Larouche; Sébastien Roy 002; Frédéric Mailhot 001; Pierre-Martin Tardif; Marc Frappier (FPS, 2022)

Automated Generation of Shuttling Sequences for a Linear Segmented Ion Trap Quantum Computer. - Jonathan Durandau; Janis Wagner; Frédéric Mailhot 001; Charles-Antoine Brunet; Ferdinand Schmidt-Kaler; Ulrich Poschinger; Yves Bérubé Lauzière (Quantum, 2023)