Malika More

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