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 Jimmy M. Ramirez are about Top journals papers by U. Schnoor are published in Top journals papers by L. Belova are published in Top authors papers by Peter Keegan are co-authored with Top fields papers by S. Akkoyun are about Top fields papers by Jillian Cassidy are about Top journals papers by Hans-Peter Weskott are published in Top countries impacted by papers by Debora Cerdan