Pascal Michel

Publication Activity (10 Years)

Years Active: 1991-2020
Publications (10 Years): 1

Top Topics

Remote Sensing Data

Differentially Private

Optimization Problems

Top Venues

Log. Methods Comput. Sci.

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

Publications

Justus T. C. Schwabedal, Pascal Michel, Mario S. Riontino
Differentially Private Generation of Small Images. CoRR (2020)
Pascal Michel
Problems in number theory from busy beaver competition. Log. Methods Comput. Sci. 11 (4) (2015)
Serge Olivier Kotchi, Stephanie Brazeau, Patricia Turgeon, Yann Pelcat, Julie Legare, Martin-Pierre Lavigne, Francine N'Zang Essono, Richard A. Fournier, Pascal Michel
Evaluation of Earth Observation Systems for Estimating Environmental Determinants of Microbial Contamination in Recreational Waters. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 8 (7) (2015)
Pascal Michel
Homology of Groups and Third Busy Beaver Function. Int. J. Algebra Comput. 20 (6) (2010)
Pascal Michel
Computational complexity of logical theories of one successor and another unary function. Arch. Math. Log. 46 (2) (2007)
Pascal Michel
Small Turing machines and generalized busy beaver competition. Theor. Comput. Sci. 326 (1-3) (2004)
Pascal Michel
Busy beaver competition and Collatz-like problems. Arch. Math. Log. 32 (5) (1993)
Pascal Michel
A Survey of Space Complexity. Theor. Comput. Sci. 101 (1) (1992)
Pascal Michel
Complexity of Logical Theories Involving Coprimality. Theor. Comput. Sci. 106 (2) (1992)
Pascal Michel
An NP-Complete Language Accepted in Linear Time by a One-Tape Turing Machine. Theor. Comput. Sci. 85 (1) (1991)