Concepedia

Danièle Beauquier

DB

15

Publications

504

Citations

12

H-Index

1985

Active since

Affiliations

Université Paris Cité(Current)

Université Paris-Est Créteil

Sorbonne Université

University of Insubria

Danièle Beauquier is an author at Université Paris Cité specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceFormal VerificationVerificationDiscrete MathematicsLanguageLinguisticsComputational Linguistics

Publications per year

1985–2013

15

Publications

15

On translating one polyomino to tile the plane

Danièle Beauquier, Maurice Nivat · Discrete & Computational Geometry · 1991 · 111 citations · Full text

Geometric Modeling, Discrete Geometry, Geometric Algorithm +4

On probabilistic timed automata

Danièle Beauquier · Theoretical Computer Science · 2003 · 85 citations

Logical Automaton, Engineering, Automated Reasoning +6

Tiling figures of the plane with two bars

Danièle Beauquier, Maurice Nivat, Éric Rémila et al. · Computational Geometry · 1995 · 58 citations

Geometric Modeling, Discrete Geometry, Engineering +6

Languages and scanners

Danièle Beauquier, Jean-Éric Pin · Theoretical Computer Science · 1991 · 55 citations

Applied Linguistics, Language Documentation, Multilingualism +6

Polyomino tilings, cellular automata and codicity

Philippe Aigrain, Danièle Beauquier · Theoretical Computer Science · 1995 · 33 citations

Combinatorics On Word, Pattern Formation, Cellular Automaton +3

Rows per page

1–5 of 15