Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Long-Term Corrosion Behavior of Cr Diffusion Coatings on Ferritic-Martensitic Superheater Tube Material X20CrMoV12-1 under Conditions Mimicking Biomass (Co-)firing

T. Meißner, B. Grégoire, X. Montero, E. Miller, J. Maier, and M. Galetz. Energy & fuels, 34 (9): 10989-11002 (2020)
DOI: 10.1021/acs.energyfuels.0c01474

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Benjamin Rothaupt

Dr. phil. Benjamin Holfelder University of Stuttgart

Benjamin Bursik University of Stuttgart

Benjamin Kaiser University of Stuttgart

Dr. Benjamin Aberle University of Stuttgart

Other publications of authors with the same name

Certified Synthesis of Efficient Batch Verifiers.J. Akinyele, G. Barthe, B. Grégoire, B. Schmidt, and P. Strub. CSF, page 153-165. IEEE Computer Society, (2014)Proving Expected Sensitivity of Probabilistic Programs.G. Barthe, T. Espitau, B. Grégoire, J. Hsu, and P. Strub. CoRR, (2017)Formal Verification of a Constant-Time Preserving C Compiler.G. Barthe, S. Blazy, B. Grégoire, R. Hutin, V. Laporte, D. Pichardie, and A. Trieu. IACR Cryptology ePrint Archive, (2019)Masking the GLP Lattice-Based Signature Scheme at Any Order.G. Barthe, S. Belaïd, T. Espitau, P. Fouque, B. Grégoire, M. Rossi, and M. Tibouchi. EUROCRYPT (2), volume 10821 of Lecture Notes in Computer Science, page 354-384. Springer, (2018)Verified Proofs of Higher-Order Masking.G. Barthe, S. Belaïd, F. Dupressoir, P. Fouque, B. Grégoire, and P. Strub. EUROCRYPT (1), volume 9056 of Lecture Notes in Computer Science, page 457-485. Springer, (2015)Programming Language Techniques for Cryptographic Proofs.G. Barthe, B. Grégoire, and S. Béguelin. ITP, volume 6172 of Lecture Notes in Computer Science, page 115-130. Springer, (2010)A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses.M. Armand, G. Faure, B. Grégoire, C. Keller, L. Théry, and B. Werner. CPP, volume 7086 of Lecture Notes in Computer Science, page 135-150. Springer, (2011)EasyCrypt: A Tutorial.G. Barthe, F. Dupressoir, B. Grégoire, C. Kunz, B. Schmidt, and P. Strub. FOSAD, volume 8604 of Lecture Notes in Computer Science, page 146-166. Springer, (2013)On the Role of Type Decorations in the Calculus of Inductive Constructions.B. Barras, and B. Grégoire. CSL, volume 3634 of Lecture Notes in Computer Science, page 151-166. Springer, (2005)Type-Based Termination with Sized Products.G. Barthe, B. Grégoire, and C. Riba. CSL, volume 5213 of Lecture Notes in Computer Science, page 493-507. Springer, (2008)

PUMA

Disambiguation of "Grégoire, Benjamin"