Alexei Iliasov
About
Alexei Iliasov has authored 28 papers that have received a total of 67 indexed citations.
This includes 14 papers in Software, 9 papers in Artificial Intelligence and 9 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (9 papers), Advanced Software Engineering Methodologies (8 papers) and Software Reliability and Analysis Research (7 papers). Alexei Iliasov is often cited by papers focused on Formal Methods in Verification (9 papers), Advanced Software Engineering Methodologies (8 papers) and Software Reliability and Analysis Research (7 papers) and collaborates with scholars based in United Kingdom, Finland and Lithuania. Alexei Iliasov's co-authors include Alexander Romanovsky, Alex Yakovlev, Linas Laibinis, Elena Troubitsynå and Fei Xia and has published in prestigious journals such as IEEE Transactions on Computers, IEEE Transactions on Reliability and IEEE Transactions on Dependable and Secure Computing
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Nuruddin Nuruddin Top countries impacted by papers by Michel Amandry Top authors papers by M. Gricia are co-authored with Top journals papers by Lalit Jain are published in Top countries impacted by papers by B Desveaux Top fields papers by Wilfried von Bredow are about Top authors papers by Ali Jaan are co-authored with Top journals papers by Hubert H. Humphrey are published in