Pascal Michel

11 papers Journal 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
Turing machines deciders, part I.
CoRR
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
2020 J jnl
Differentially Private Generation of Small Images.
CoRR
Justus T. C. Schwabedal, Pascal Michel, Mario S. Riontino
2015 J jnl
Evaluation of Earth Observation Systems for Estimating Environmental Determinants of Microbial Contamination in Recreational Waters.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.
Serge Olivier Kotchi, Stephanie Brazeau, Patricia Turgeon, Yann Pelcat, Julie Legare, Martin-Pierre Lavigne, Francine N'Zang Essono, Richard A. Fournier, Pascal Michel
2015 J jnl
Problems in number theory from busy beaver competition.
Log. Methods Comput. Sci.
Pascal Michel
2010 J jnl
Homology of Groups and Third Busy Beaver Function.
Int. J. Algebra Comput.
Pascal Michel
2007 J jnl
Computational complexity of logical theories of one successor and another unary function.
Arch. Math. Log.
Pascal Michel
2004 J jnl
Small Turing machines and generalized busy beaver competition.
Theor. Comput. Sci.
Pascal Michel
1993 J jnl
Busy beaver competition and Collatz-like problems.
Arch. Math. Log.
Pascal Michel
1992 J jnl
A Survey of Space Complexity.
Theor. Comput. Sci.
Pascal Michel
1992 J jnl
Complexity of Logical Theories Involving Coprimality.
Theor. Comput. Sci.
Pascal Michel
1991 J jnl
An NP-Complete Language Accepted in Linear Time by a One-Tape Turing Machine.
Theor. Comput. Sci.
Pascal Michel