Concepedia

Bruno Martin

BM

9

Publications

216

Citations

9

H-Index

1994

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Université Côte d'Azur

École Normale Supérieure de Lyon

Laboratoire d'Informatique, Signaux et Systèmes de Sophia Antipolis

Bruno Martin is an author at Centre National de la Recherche Scientifique specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsHardware SecurityFormal VerificationComputer EngineeringPhotonicsCryptographyVerificationData Security

Publications per year

1994–2022

9

Publications

9

A universal cellular automaton in quasi-linear time and its S—m—n form

Bruno Martin · Theoretical Computer Science · 1994 · 46 citations

S—m—n Form, Discrete Dynamical System, Automaton Network +4

Cryptol: high assurance, retargetable crypto development and validation

Jeff Lewis, Bruno Martin · 2004 · 43 citations

Cryptographic Primitive, Engineering, Information Security +21

Ultra-compact microdisk resonator filters on SOI substrate

Alain Morand, Bruno Martin, Kien Phan Huy et al. · Optics Express · 2006 · 38 citations · Full text

Engineering, Micro-optical Component, Optical Properties +17

A GROUP INTERPRETATION OF PARTICLES GENERATED BY ONE-DIMENSIONAL CELLULAR AUTOMATON, WOLFRAM'S RULE 54

Bruno Martin · International Journal of Modern Physics C · 2000 · 21 citations

Emergent Phenomenon, Geometric Group Theory, Pattern Formation +12

Sixteen-channel wavelength selector monolithically integrated on InP

R. Mestric, C. Porcheron, Bruno Martin et al. · 2002 · 19 citations

Photonics, Electrical Engineering, Optical Materials +15

Rows per page

1–5 of 9