Michaël Rusinowitch
About
Michaël Rusinowitch has authored 53 papers that have received a total of 444 indexed citations.
This includes 40 papers in Artificial Intelligence, 27 papers in Computer Networks and Communications and 21 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (18 papers), Formal Methods in Verification (13 papers) and Advanced Authentication Protocols Security (13 papers). Michaël Rusinowitch is often cited by papers focused on Logic, programming, and type systems (18 papers), Formal Methods in Verification (13 papers) and Advanced Authentication Protocols Security (13 papers) and collaborates with scholars based in France, United States and Germany. Michaël Rusinowitch's co-authors include Yannick Chevalier, Mathieu Turuani, Adel Bouhoula, Abdessamad Imine and Paliath Narendran and has published in prestigious journals such as Journal of the ACM, Future Generation Computer Systems and Journal of Computer and System Sciences.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Rodrigo Medeiros de Souza Breakdown of academic impact, for papers by Ahmed Essadki Breakdown of academic impact, for papers by B. Cwalina Breakdown of academic impact, for papers by Guangyu Xu Breakdown of academic impact, for papers by Masatoshi Motoi Breakdown of academic impact, for papers by S. R. Bawa Breakdown of academic impact, for papers by Angelo Pasini Breakdown of academic impact, for papers by Chih‐Ming Lin