Alvaro Miyazawa
About
Alvaro Miyazawa has authored 14 papers that have received a total of 105 indexed citations.
This includes 9 papers in Computational Theory and Mathematics, 9 papers in Software and 7 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (9 papers), Model-Driven Software Engineering Techniques (9 papers) and Advanced Software Engineering Methodologies (6 papers). Alvaro Miyazawa is often cited by papers focused on Formal Methods in Verification (9 papers), Model-Driven Software Engineering Techniques (9 papers) and Advanced Software Engineering Methodologies (6 papers) and collaborates with scholars based in United Kingdom, Brazil and China. Alvaro Miyazawa's co-authors include Ana Cavalcanti, Jon Timmis, Jim Woodcock and Augusto Sampaio and has published in prestigious journals such as Robotics and Autonomous Systems, Autonomous Robots and Science of Computer Programming
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Ranjan K. Roy are about Top countries impacted by papers by Hanqing Guo Top authors papers by Nikolai Khaltaev are co-authored with Top journals papers by D. Shanahan are published in Top journals papers by Sean Aas are published in Top fields papers by Carlo Flore are about Top authors papers by Sarah Neuhaus are co-authored with Top authors papers by Paige Weber are co-authored with