Bruno Barras
About
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.
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by J. Letts are about Top journals papers by C. Royon are published in Top journals papers by Thomas Massie are published in Top fields papers by Dimitris Dikeos are about Top authors papers by D. K. Shone are co-authored with Top authors papers by Robert Tyler are co-authored with Top fields papers by Amalia Martínez de la Gándara are about Top fields papers by A. M. Wang are about