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, programming, and type systems (2 papers), Logic, Reasoning, and Knowledge (2 papers) and Computability, Logic, AI Algorithms (1 paper). Bruno Barras is often cited by papers focused on Logic, programming, and type systems (2 papers), Logic, Reasoning, and Knowledge (2 papers) and Computability, Logic, AI Algorithms (1 paper) and collaborates with scholars based in France, Sweden and United States. Bruno Barras's co-authors include Pierre-Yves Strub, Jean-Pierre Jouannaud, Simon Huber and Thierry Coquand and has published in prestigious journals such as Mathematical Structures in Computer Science and Journal of Cryptographic Engineering.