John Håkansson
About
John Håkansson has authored 5 papers that have received a total of 128 indexed citations.
This includes 5 papers in Computational Theory and Mathematics, 3 papers in Artificial Intelligence and 3 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (5 papers), Real-Time Systems Scheduling (3 papers) and Advanced Software Engineering Methodologies (2 papers). John Håkansson is often cited by papers focused on Formal Methods in Verification (5 papers), Real-Time Systems Scheduling (3 papers) and Advanced Software Engineering Methodologies (2 papers) and collaborates with scholars based in Sweden, Denmark and The Netherlands. John Håkansson's co-authors include Gerd Behrmann, A. David, Kim G. Larsen and Jan Carlson and has published in prestigious journals such as Journal of Systems and Software, International Journal on Software Tools for Technology Transfer and Electronic Notes in Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by J. W. Vinson are about Top fields papers by Xiqiang Hong are about Top fields papers by A. T. Lonseth are about Top journals papers by Gunnar Hillerström are published in Top authors papers by Nikolaos Parisis are co-authored with Top fields papers by Paulraj Ponniah are about Top countries impacted by papers by Matt Travers Top fields papers by Simona Ciceri are about