Michael R. Hansen
About
Michael R. Hansen has authored 23 papers that have received a total of 209 indexed citations.
This includes 11 papers in Computational Theory and Mathematics, 10 papers in Artificial Intelligence and 8 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (10 papers), Real-Time Systems Scheduling (6 papers) and Logic, Reasoning, and Knowledge (4 papers). Michael R. Hansen is often cited by papers focused on Formal Methods in Verification (10 papers), Real-Time Systems Scheduling (6 papers) and Logic, Reasoning, and Knowledge (4 papers) and collaborates with scholars based in Denmark, United States and Spain. Michael R. Hansen's co-authors include Zhou Chaochen, Jan Madsen, Hans Rischel, Chaochen Zhou and Greg Mowry and has published in prestigious journals such as IEEE Transactions on Magnetics, Theoretical Computer Science and Mechanism and Machine Theory.
In The Last Decade
side by side view
Countries citing papers authored by Michael R. Hansen
Since SpecializationCitations
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Justin Tang Breakdown of academic impact, for papers by Fulvio Mazzamuto Breakdown of academic impact, for papers by Cláudia Brito Breakdown of academic impact, for papers by Claudia V. Angelelli Breakdown of academic impact, for papers by Ji-Young Oh Breakdown of academic impact, for papers by Cláudia Umbelino Breakdown of academic impact, for papers by G. A. Blair Breakdown of academic impact, for papers by Dan Lämkull