Bruno Barras

3 papers and 20 indexed citations i.

Bruno Barras has authored 3 papers that have received a total of 20 indexed citations. This includes 3 papers in Artificial Intelligence, 1 paper in Computer Vision and Pattern Recognition and 1 paper in Computational Theory and Mathematics. The topics of these papers are Logic, Reasoning, and Knowledge (2 papers), Logic, programming, and type systems (2 papers) and Homotopy and Cohomology in Algebraic Topology (1 paper). Bruno Barras is often cited by papers focused on Logic, Reasoning, and Knowledge (2 papers), Logic, programming, and type systems (2 papers) and Homotopy and Cohomology in Algebraic Topology (1 paper) and collaborates with scholars based in France, United States and Sweden. Bruno Barras's co-authors include Thierry Coquand, Pierre-Yves Strub, Jean-Pierre Jouannaud and Simon Huber and has published in prestigious journals such as Mathematical Structures in Computer Science and Journal of Cryptographic Engineering.