Concepedia

Maurice Margenstern

MM

Statistics

Publications

42

Citations

1.1K

H-Index

19

Active since

1996

Affiliations

Département d'Informatique(Current)

Centre National de la Recherche Scientifique

Universidad de Sevilla

Université Paris-Est Créteil

Université de Lorraine

Maurice Margenstern is an author at Département d'Informatique specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsDiscrete MathematicsGeometryPattern FormationComputer EngineeringComputational ComplexityAutomated ReasoningFormal Verification

Publications per year

1996–2020

42

Publications

42

Frontier between decidability and undecidability: a survey

Maurice Margenstern · Theoretical Computer Science · 2000 · 78 citations

Decision Procedure, Engineering, Automated Reasoning +8

Context-free insertion–deletion systems

Maurice Margenstern, Gheorghe Pǎun, Yurii Rogozhin et al. · Theoretical Computer Science · 2004 · 76 citations

Engineering, Formal Methods, Data Deduplication +4

New Tools for Cellular Automata in the Hyperbolic Plane

Maurice Margenstern · TUGraz OPEN Library (Graz University of Technology) · 2020 · 58 citations · Full text

Pattern Formation, Cellular Automata, Automaton Network +2

NP problems are tractable in the space of cellular automata in the hyperbolic plane

Maurice Margenstern, Kenichi Morita · Theoretical Computer Science · 2001 · 54 citations

Mathematical Programming, Computational Complexity Theory, Np Problems +12

Using grossone to count the number of elements of infinite sets and the connection with bijections

Maurice Margenstern · P-Adic Numbers Ultrametric Analysis and Applications · 2011 · 51 citations

1–5 of 42