Malika More

Publication Activity (10 Years)

Years Active: 1994-2020
Publications (10 Years): 2

Top Topics

Cognitive Radio Networks

Malware Detection

Computer Programming

Top Venues

Bull. Symb. Log.

Publications

Matthieu Journault, Pascal Lafourcade, Malika More, Rémy Poulain, Léo Robert
How to Teach the Undecidability of Malware Detection Problem and Halting Problem. WISE (2020)
Xavier Bultel, Jannik Dreier, Pascal Lafourcade, Malika More
How to explain modern security concepts to your children. Cryptologia 41 (5) (2017)
Arnaud Durand, Neil D. Jones, Johann A. Makowsky, Malika More
Fifty years of the spectrum problem: survey and new results. Bull. Symb. Log. 18 (4) (2012)
Arnaud Durand, Clemens Lautemann, Malika More
A simple proof of the polylog counting ability of first-order logic: guest column. SIGACT News 38 (4) (2007)
Arnaud Durand, Clemens Lautemann, Malika More
Counting Results in Weak Formalisms. Circuits, Logic, and Games (2006)
Annie Chateau, Malika More
The ultra-weak Ash conjecture and some particular cases. Math. Log. Q. 52 (1) (2006)
Patrick Cégielski, Malika More
Foreword. Theor. Comput. Sci. 322 (1) (2004)
Arnaud Durand, Malika More
Nonerasing, Counting, and Majority over the Linear Time Hierarchy. Inf. Comput. 174 (2) (2002)
Rémy Malgouyres, Malika More
On the computational complexity of reachability in 2D binary images and some basic problems of 2D digital topology. Theor. Comput. Sci. 283 (1) (2002)
Henri-Alex Esbelin, Malika More
Rudimentary Relations and Primitive Recursion: A Toolbox. Theor. Comput. Sci. 193 (1-2) (1998)
Nadia Creignou, Malika More
Complexity of Satisfiability Problems with Symmetric Polynomial Clauses. J. Log. Comput. 7 (3) (1997)
Malika More, Frédéric Olive
Rudimentary Languages and Second Order Logic. Math. Log. Q. 43 (1997)
Malika More
Investigation of Binary Spectra by Explicit Polynomial Transformations of Graphs. Theor. Comput. Sci. 124 (2) (1994)