The Negation Elimination from Syntactic Equational Formula is Decidable. - Mohamed Tajine (RTA, 1993)

Decidability of Regularity and Related Properties of Ground Normal Form Languages - Gregory Kucherov; Mohamed Tajine (Inf. Comput., 1995)

Recognizing arithmetic straight lines and planes. - Jean Françon; Jean-Maurice Schramm; Mohamed Tajine (DGCI, 1996)

The class of linear separability method. - Mohamed Tajine; David A. Elizondo; Emile Fiesler; Jerzy Korczak 001 (ESANN, 1997)

Adapting the 2-class recursive deterministic perceptron neural network to m-classes. - Mohamed Tajine; David A. Elizondo; Emile Fiesler; Jerzy Korczak 001 (ICNN, 1997)

Growing Methods for Constructing Recursive Deterministic Perceptron Neural Networks and Knowledge Extraction. - Mohamed Tajine; David A. Elizondo (Artif. Intell., 1998)

The recursive deterministic perceptron neural network. - Mohamed Tajine; David A. Elizondo (Neural Networks, 1998)

Hausdorff Discretization and Its Comparison to Other Discretization Schemes. - Mohamed Tajine; Daniel Wagner; Christian Ronse (DGCI, 1999)

Hausdorff Sampling of Closed Sets into a Boundedly Compact Space. - Christian Ronse; Mohamed Tajine (Digital and Image Geometry, 2000)

Hausdorff Discretizations of Algebraic Sets and Diophantine Sets. - Mohamed Tajine; Christian Ronse (DGCI, 2000)

Topological Properties of Hausdorff Discretizations. - Mohamed Tajine; Christian Ronse (ISMM, 2000)

Discretization in Hausdorff Space. - Christian Ronse; Mohamed Tajine (J. Math. Imaging Vis., 2000)

Hausdorff Discretization for Cellular Distances and Its Relation to Coverand Supercover Discretizations. - Christian Ronse; Mohamed Tajine (J. Vis. Commun. Image Represent., 2001)

New methods for testing linear separability. - Mohamed Tajine; David A. Elizondo (Neurocomputing, 2002)

Topological properties of Hausdorff discretization, and comparison to other discretization schemes. - Mohamed Tajine; Christian Ronse (Theor. Comput. Sci., 2002)

On Local Definitions of Length of Digital Curves. - Mohamed Tajine; Alain Daurat (DGCI, 2003)

Tree Matching Applied to Vascular System. - Arnaud Charnoz; Vincent Agnus; Grégoire Malandain; Luc Soler; Mohamed Tajine (GbRPR, 2005)

Design of Robust Vascular Tree Matching: Validation on Liver. - Arnaud Charnoz; Vincent Agnus; Grégoire Malandain; Stéphane Nicolau; Mohamed Tajine; Luc Soler (IPMI, 2005)

Liver Registration for the Follow-Up of Hepatic Tumors. - Arnaud Charnoz; Vincent Agnus; Grégoire Malandain; Clement Forest; Mohamed Tajine; Luc Soler (MICCAI (2), 2005)

Digital Segments and Hausdorff Discretization. - Mohamed Tajine (IWCIA, 2008)

Patterns in Discretized Parabolas and Length Estimation. - Alain Daurat; Mohamed Tajine; Mahdi Zouaoui (DGCI, 2009)

About the frequencies of some patterns in digital planes. Application to area estimators. - Alain Daurat; Mohamed Tajine; Mahdi Zouaoui (Comput. Graph., 2009)

Discrete Q-Convex Sets Reconstruction from Discrete Point X-Rays. - Fatma Abdmouleh; Alain Daurat; Mohamed Tajine (IWCIA, 2011)

Convex-Set Perimeter Estimation from Its Two Projections. - Étienne Baudrier; Mohamed Tajine; Alain Daurat (IWCIA, 2011)

Patterns for multigrid equidistributed functions: Application to general parabolas and length estimation. - Mohamed Tajine; Alain Daurat (Theor. Comput. Sci., 2011)

Reconstruction of Quantitative Properties from X-Rays. - Fatma Abdmouleh; Mohamed Tajine (DGCI, 2013)

Polygonal estimation of planar convex-set perimeter from its two projections. - Étienne Baudrier; Mohamed Tajine; Alain Daurat (Discret. Appl. Math., 2013)

Angular difference measure between tomographic projections taken at unknown directions in 2D. - Minh Son Phan; Étienne Baudrier; Loïc Mazo; Mohamed Tajine (ICIP, 2014)

Estimation of angular difference between tomographic projections taken at unknown directions in 3D. - Minh Son Phan; Étienne Baudrier; Loïc Mazo; Mohamed Tajine (ICIP, 2015)

Moment-Based Angular Difference Estimation Between Two Tomographic Projections in 2D and 3D. - Minh Son Phan; Étienne Baudrier; Loïc Mazo; Mohamed Tajine (J. Math. Imaging Vis., 2017)

Local Turn-Boundedness: A Curvature Control for a Good Digitization. - Étienne Le Quentrec; Loïc Mazo; Étienne Baudrier; Mohamed Tajine (DGCI, 2019)

Correspondence between Topological and Discrete Connectivities in Hausdorff Discretization. - Christian Ronse; Loïc Mazo; Mohamed Tajine (Math. Morphol. Theory Appl., 2019)

Local Turn-Boundedness: A Curvature Control for Continuous Curves with Application to Digitization. - Étienne Le Quentrec; Loïc Mazo; Étienne Baudrier; Mohamed Tajine (J. Math. Imaging Vis., 2020)

Locally Turn-Bounded Curves Are Quasi-Regular. - Étienne Le Quentrec; Loïc Mazo; Étienne Baudrier; Mohamed Tajine (DGMM, 2021)

LTB curves with Lipschitz turn are par-regular. - Étienne Le Quentrec; Loïc Mazo; Étienne Baudrier; Mohamed Tajine (CoRR, 2021)

Monotonic Sampling of a Continuous Closed Curve with Respect to Its Gauss Digitization: Application to Length Estimation. - Étienne Le Quentrec; Loïc Mazo; Étienne Baudrier; Mohamed Tajine (J. Math. Imaging Vis., 2022)