Johan Gunnarsson
About
Johan Gunnarsson has authored 4 papers that have received a total of 26 indexed citations.
This includes 3 papers in Computational Theory and Mathematics, 2 papers in Hardware and Architecture and 1 paper in Cognitive Neuroscience. The topics of these papers are Formal Methods in Verification (2 papers), Modeling and Simulation Systems (2 papers) and Embedded Systems Design Techniques (1 paper). Johan Gunnarsson is often cited by papers focused on Formal Methods in Verification (2 papers), Modeling and Simulation Systems (2 papers) and Embedded Systems Design Techniques (1 paper) and collaborates with scholars based in Sweden. Johan Gunnarsson's co-authors include Mary Rudner, Vadim Engelson, Thomas Karlsson, Jerker Rönnberg and Peter Fritzson and has published in prestigious journals such as Neuropsychologia
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by M. W. Phipps are about Top countries impacted by papers by Paulo Reis Top journals papers by Haining Wang are published in Top fields papers by D. Baumeister are about Top fields papers by F. Vescelus are about Top countries impacted by papers by Thomas Nadeau Top authors papers by Melissa Wan are co-authored with Top journals papers by Nardi Sunardi are published in