Conception temporellement sûre de circuits intégrés complexes. (Temporally sure concept of complex integrated circuits). - Paul Amblard (1984)

Music synthesis description with the data flow language lustre. - Paul Amblard; Henri-Pierre Charles (Microprocessing and Microprogramming, 1989)

How could we begin now to teach codesign? - Paul Amblard (WCAE@ISCA, 1995)

Experience in Using WWW Technologies in University Education. - Tania Vassileva; Vassilliy Tchoumatchenko; Ilario Astinov; Mike Roach; Paul Amblard (EUROMEDIA, 1998)

Using Formal Tools to Study Complex Circuits Behaviour. - Paul Amblard; Fabienne Lagnier; Michel Lévy (DSD, 2002)

Introduction to formal processor verification at logic level: a case study. - Paul Amblard; Fabienne Lagnier; Michel Lévy (WCAE, 2004)

Systematic Design Flow for Fast Hardware/Software Prototype Generation from Bus Functional Model for MPSoC. - Ivan Petkov; Paul Amblard; Marin Hristov (IEEE International Workshop on Rapid System Prototyping, 2005)

Finite State Evaluation of Logical Formulas : Jevons' Approach (1870) and Contemporary Description. - Paul Amblard (Acta Cybern., 2006)

Un nouveau regard sur la machine logique de Jevons (1870). Une machine à nombre fini d'états. - Paul Amblard (Tech. Sci. Informatiques, 2007)

On SPARC LEON-2 ISA Extensions Experiments for MPEG Encoding Acceleration. - Pierre Guironnet de Massas; Paul Amblard; Frédéric Pétrot (VLSI Design, 2007)

Software for Multi Processor System on Chip: Moving an MPEG4 Decoder from Generic RISC Platforms to CELL. - Ludovic Demontes; Marius Bonaciu; Paul Amblard (IEEE International Workshop on Rapid System Prototyping, 2008)