Author: Yves Ledru

Publications

Publication period start: 1991
Number of co-authors: 5

Co-authors

Number of publications with favourite co-authors
Jullien Bouchet
1
Christine Lafontaine
1
Pierre-Yves Schobbens
1

Productive Colleagues

Most productive colleagues in number of publications
Jullien Bouchet
4
Sophie Dupuy-Chessa
6
Pierre-Yves Schobbens
6

Publications

Lafontaine, Christine, Ledru, Yves, Schobbens, Pierre-Yves (1991): An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Stu. In Communications of the ACM, 34 (5) pp. 62-71,87.

Dupuy-Chessa, Sophie, Bousquet, Lydie du, Bouchet, Jullien, Ledru, Yves (2005): Test of the ICARE Platform Fusion Mechanism. In: Gilroy, Stephen W., Harrison, Michael D. (eds.) DSV-IS 2005 - Interactive Systems, Design, Specification, and Verification, 12th International Workshop July 13-15, 2005, Newcastle upon Tyne, UK. pp. 102-113. https://dx.doi.org/10.1007/11752707_9

New to UX Design? We're Giving You a Free eBook!

The Basics of User Experience Design

Download our free ebook “The Basics of User Experience Design” to learn about core concepts of UX design.

In 9 chapters, we’ll cover: conducting user interviews, design thinking, interaction design, mobile UX design, usability, UX research, and many more!

A valid email address is required.
316,331 designers enjoy our newsletter—sure you don’t want to receive it?

New to UX Design? We're Giving You a Free eBook!

The Basics of User Experience Design

Download our free ebook “The Basics of User Experience Design” to learn about core concepts of UX design.

In 9 chapters, we’ll cover: conducting user interviews, design thinking, interaction design, mobile UX design, usability, UX research, and many more!

A valid email address is required.
316,331 designers enjoy our newsletter—sure you don’t want to receive it?