Pascal Michel

According to our database, Pascal Michel authored at least 11 papers between 1991 and 2025.

Collaborative distances:

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

2025

Turing machines deciders, part I.

The bbchallenge Collaboration, Justin Blanchard, Konrad Deka, Nathan Fenner, Tony Guilfoyle, Iijil, Maja Kadziolka, Pavel Kropitz, Shawn Ligocki, Pascal Michel, Mateusz Nasciszewski, Tristan Stérin

CoRR, April, 2025

2020

Differentially Private Generation of Small Images.

Justus T. C. Schwabedal, Pascal Michel, Mario S. Riontino

CoRR, 2020

2015

Evaluation of Earth Observation Systems for Estimating Environmental Determinants of Microbial Contamination in Recreational Waters.

Serge Olivier Kotchi, Stephanie Brazeau, Patricia Turgeon, Yann Pelcat, Julie Legare, Martin-Pierre Lavigne, Francine N'Zang Essono, Richard A. Fournier, Pascal Michel

IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2015

Problems in number theory from busy beaver competition.

Pascal Michel

Log. Methods Comput. Sci., 2015

2010

Homology of Groups and Third Busy Beaver Function.

Pascal Michel

Int. J. Algebra Comput., 2010

2007

Computational complexity of logical theories of one successor and another unary function.

Pascal Michel

Arch. Math. Log., 2007

2004

Small Turing machines and generalized busy beaver competition.

Pascal Michel

Theor. Comput. Sci., 2004

1993

Busy beaver competition and Collatz-like problems.

Pascal Michel

Arch. Math. Log., 1993

1992

Complexity of Logical Theories Involving Coprimality.

Pascal Michel

Theor. Comput. Sci., 1992

A Survey of Space Complexity.

Pascal Michel

Theor. Comput. Sci., 1992

1991

An NP-Complete Language Accepted in Linear Time by a One-Tape Turing Machine.

Pascal Michel

Theor. Comput. Sci., 1991