Alexander Degtyarev
About
Alexander Degtyarev has authored 36 papers that have received a total of 127 indexed citations.
This includes 13 papers in Artificial Intelligence, 9 papers in Computational Theory and Mathematics and 7 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (11 papers), Logic, Reasoning, and Knowledge (8 papers) and Formal Methods in Verification (6 papers). Alexander Degtyarev is often cited by papers focused on Logic, programming, and type systems (11 papers), Logic, Reasoning, and Knowledge (8 papers) and Formal Methods in Verification (6 papers) and collaborates with scholars based in Russia, United Kingdom and Sweden. Alexander Degtyarev's co-authors include Michael Fisher, Андрей Воронков, Boris Konev, N G Basov and В. А. Долгих and has published in prestigious journals such as Ocean Engineering, Theoretical Computer Science and Information and Computation
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Martin Drahanský are co-authored with Top fields papers by Emmanuel Filiot are about Top fields papers by Carlos G. C. Mielke are about Top authors papers by Shahram Gilaninia are co-authored with Top journals papers by Oscar Broneer are published in Top fields papers by Nelly Condori-Fernández are about Top fields papers by Eloísa Riva are about Top fields papers by Alexander Tsesis are about