/
User Settings
C

Christophe Alias

Claim or correct this author profile

Claim this profile or suggest corrections to the name, affiliation, bio, photo, or paper titles. Approved changes appear as verified CitedEvidence overlays.

20

Papers

42

Citations

2

h-index

2

i10-index

Christophe Alias is an academic researcher. The author has contributed to research in topics: Parallel Computing and Optimization Techniques & Logic, programming, and type systems & Formal Methods in Verification. The author has an h-index of 2, co-authored 17 publications.

Research Topics

Parallel Computing and Optimization TechniquesLogic, programming, and type systemsFormal Methods in VerificationEmbedded Systems Design TechniquesComputational Geometry and Mesh Generation

Papers by this author

works

Research topics

topics

Chat about Author

Papers

Chat

Click to start Chat