ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
37
publications
Top publications
29
views
Most viewed
0
reviews
Latest reviews
0
follows
Top followed users
0
followers
Follow
0
edited collections
All edited
0
followed collections
All followed
Publications
37
On Strong Normalization of the Calculus of Constructions with Type-Based Termination
Authors:
Benjamin Grégoire
,
Jorge Luis Sacchini
Proving uniformity and independence by self-composition and coupling
Authors:
Gilles Barthe
,
Thomas Espitau
,
Benjamin Grégoire
…
Scale Formation and Degradation of Diffusion Coatings Deposited on 9% Cr Steel in Molten Solar Salt
Authors:
Ceyhun Oskay
,
Tobias M. Meißner
,
Carmen Dobler
…
All publications
Record
: found
Orcid
: not found
Profile
: not found
Benjamin Grégoire
Actions
Follow
New message
Share
Twitter
Sina Weibo
Facebook
Email
Statistics