B. A. Trakhtenbrot

11 papers and 157 indexed citations i.

B. A. Trakhtenbrot has authored 11 papers that have received a total of 157 indexed citations. This includes 11 papers in Computational Theory and Mathematics, 7 papers in Artificial Intelligence and 2 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (6 papers), Petri Nets in System Modeling (5 papers) and semigroups and automata theory (4 papers). B. A. Trakhtenbrot is often cited by papers focused on Formal Methods in Verification (6 papers), Petri Nets in System Modeling (5 papers) and semigroups and automata theory (4 papers) and collaborates with scholars based in Israel, United Kingdom and Poland. B. A. Trakhtenbrot's co-authors include Alexander Rabinovich, Antoni Mazurkiewicz and Martin Davis and has published in prestigious journals such as Mathematics of Computation, Theoretical Computer Science and Algebra and Logic.