- ISBN: 978-3-639-65284-0

Application à la localisation de fautes dans les programmes informatiques

- ISBN: 978-620-2-28472-1

- ISBN: 978-3-8416-6182-1

- ISBN: 978-613-8-41960-0

- ISBN: 978-613-8-39822-6

Caractéristiques, évolution et aménagement

- ISBN: 978-613-8-42446-8

- ISBN: 978-613-8-39905-6

De la caractérisation jusqu'à l'optimisation

- ISBN: 978-3-8416-1095-9

- ISBN: 978-3-8416-1505-3

De la légalité en droit international public des extensions temporelles et matérielles du droit de légitime défense

- ISBN: 978-3-8416-1592-3