Denis Richard

According to our database, Denis Richard authored at least 17 papers between 1985 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

Impact of weight loss on brain age: Improved brain health following bariatric surgery.

Yashar Zeighami, Mahsa Dadar, Justine Daoust, Mélissa Pelletier, Laurent Biertho, Léonie Bouvet-Bouchard, Stephanie Fulton, André Tchernof, Alain Dagher, Denis Richard, Alan C. Evans, Andréanne Michaud

NeuroImage, 2022

2021

Spontaneous neural activity changes after bariatric surgery: A resting-state fMRI study.

Yashar Zeighami, Sylvain Iceta, Mahsa Dadar, Mélissa Pelletier, Mélanie Nadeau, Laurent Biertho, Annie Lafortune, André Tchernof, Stephanie Fulton, Alan C. Evans, Denis Richard, Alain Dagher, Andréanne Michaud

NeuroImage, 2021

2020

Neuroanatomical changes in white and grey matter after sleeve gastrectomy.

Andréanne Michaud, Mahsa Dadar, Mélissa Pelletier, Yashar Zeighami, Isabel Garcia-Garcia, Sylvain Iceta, Yvonne Yau, Mélanie Nadeau, Simon Marceau, Laurent Biertho, André Tchernof, D. Louis Collins, Denis Richard, Alain Dagher

NeuroImage, 2020

2007

On the Additive Theory of Prime Numbers.

Patrick Cégielski, Denis Richard, Maxim Vsemirnov

Fundam. Informaticae, 2007

2003

On the amplitude of intervals of natural numbers whose every element has a common prime divisor with at least an extremity.

Patrick Cégielski, François Heroult, Denis Richard

Theor. Comput. Sci., 2003

2001

What are weak arithmetics?

Denis Richard

Theor. Comput. Sci., 2001

Decidability of the theory of the natural integers with the cantor pairing function and the successor.

Patrick Cégielski, Denis Richard

Theor. Comput. Sci., 2001

1999

On Arithmetical First-Order Theories Allowing Encoding and Decoding of Lists.

Patrick Cégielski, Denis Richard

Theor. Comput. Sci., 1999

1998

Undecidable Extensions of Skolem Arithmetic.

Alexis Bès, Denis Richard

J. Symb. Log., 1998

1997

Preface - Logic Colloquium '94, 21-30 July 1994, Clermont-Ferrand, France.

Patrick Cégielski, Leszek Pacholski, Denis Richard, Jerzy Tomasik, Alex Wilkie

Ann. Pure Appl. Log., 1997

1996

Definability and Decidability Issues in Extensions of the Integers with the Divisibility Predicate.

Patrick Cégielski, Yuri V. Matiyasevich, Denis Richard

J. Symb. Log., 1996

Back and Forth between Continuous and Discrete for the Working Computer Scientist.

Jean-Pierre Reveillès, Denis Richard

Ann. Math. Artif. Intell., 1996

1989

Definability in Terms of the Successor Function and the Coprimeness Predicate in the Set of Arbitrary Integers.

Denis Richard

J. Symb. Log., 1989

1985

Answer to a Problem Raised by J. Robinson: the Arithmetic of Positive or Negative Integers is Definable From Successor and Divisibility.

Denis Richard

J. Symb. Log., 1985

The Minisum and Minimax Location Problems Revisited.

Pierre Hansen, Dominique Peeters, Denis Richard, Jacques-François Thisse

Oper. Res., 1985

All arithmetical sets of powers of primes are first-order definable in terms of the successor function and the coprimeness predicate.

Denis Richard

Discret. Math., 1985

Preface.

Maurice Pouzet, Denis Richard

Discret. Math., 1985