Val Breazu-Tannen
About
Val Breazu-Tannen has authored 9 papers that have received a total of 207 indexed citations.
This includes 8 papers in Artificial Intelligence, 5 papers in Computational Theory and Mathematics and 3 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (8 papers), Logic, Reasoning, and Knowledge (6 papers) and Formal Methods in Verification (4 papers). Val Breazu-Tannen is often cited by papers focused on Logic, programming, and type systems (8 papers), Logic, Reasoning, and Knowledge (6 papers) and Formal Methods in Verification (4 papers) and collaborates with scholars based in United States and France. Val Breazu-Tannen's co-authors include Peter Buneman, Atsushi Ohori, Jean Gallier, Thierry Coquand and Albert R. Meyer and has published in prestigious journals such as Theoretical Computer Science, ACM SIGMOD Record and Information and Computation
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by B. Ned Calonge are co-authored with Top fields papers by Kyle S. Yau are about Top authors papers by Alexis A. Aronowitz are co-authored with Top fields papers by J-H Dalle are about Top authors papers by Férielle Louillet are co-authored with Top journals papers by N. M. Bressler are published in Top journals papers by G. Phanendra Babu are published in Top authors papers by Dominique Januel are co-authored with