Concepedia

Author

Benjamin Pousse

XLIM

Also Known As

Benjamin Pousse, Pousse, Benjamin

14

Publications

126

Citations

4

H-Index

5

Concepts

All Affiliations

XLIM
BP

About

Benjamin Pousse is an author at XLIM specializing in engineering, automated reasoning, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

19

2

Computer Science

1

1

19

3

Automated Reasoning

1

1

19

4

Formal Methods

1

1

19

5

Formal Verification

1

1

19

Benjamin Pousse

×

1

Publications

19

Citations

1

H-Index

YearCitations

A matrix approach for FCSR automata

Franc̨ois Arnault, Thierry Pierre Berger, Benjamin Pousse

Cryptography and Communications

2011

19

Page 1