Bruno Barras - Concepedia

Author

Bruno Barras

Institut national de recherche en sciences et technologies du numérique

Also Known As

BRUNO BARRAS, Barras, Bruno, Barras, Bruno; INRIA Saclay-France, Bruno Barras

Publications

1.3K

Citations

H-Index

Concepts

All Affiliations

Institut national de recherche en sciences et technologies du numérique Centre Inria de Saclay

About

Bruno Barras is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, formal methods, and formal verification.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	4	4	105
2	Computer Engineering	2	2	44
3	Computer Science	1	1	30
4	Systems Engineering	1	1	14
5	Software Analysis	1	1	30

Bruno Barras

Publications

1.1K

Citations

H-Index

Page 1

	Year	Citations
The Coq proof assistant : reference manual, version 6.1 Bruno Barras, Samuel Boutin, Cristina Cornes, OpenGrey (Institut de l'Information Scientifique et Technique)	1997	985
Sets in Coq, Coq in Sets Bruno Barras Università degli Studi di Bologna Constructive MathematicsEngineeringAutomated ReasoningType TheoryReplacement Axiom	2010	48
Environments and the complexity of abstract machines Beniamino Accattoli, Bruno Barras EngineeringSoftware EngineeringComputational ComplexityData StructureSoftware Analysis	2017	30
Using linear codes as a fault countermeasure for nonlinear operations: application to AES and formal verification Sabine Azzi, Bruno Barras, Maria Christofi, Journal of Cryptographic Engineering Hardware SecurityFault InjectionReliability EngineeringEngineeringNonlinear Operations	2016	14
CoQMTU: A Higher-Order Type Theory with a Predicative Hierarchy of Universes Parametrized by a Decidable First-Order Theory Bruno Barras, Jean-Pierre Jouannaud, Pierre-Yves Strub, EngineeringConversion RelationAutomated ReasoningComplex Type TheoryType Theory	2011	13

Page 1