István Majzik
About
István Majzik has authored 27 papers that have received a total of 312 indexed citations.
This includes 20 papers in Computational Theory and Mathematics, 15 papers in Software and 9 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (16 papers), Petri Nets in System Modeling (9 papers) and Model-Driven Software Engineering Techniques (8 papers). István Majzik is often cited by papers focused on Formal Methods in Verification (16 papers), Petri Nets in System Modeling (9 papers) and Model-Driven Software Engineering Techniques (8 papers) and collaborates with scholars based in Hungary, Italy and Switzerland. István Majzik's co-authors include Andrea Bondavalli, András Pataricza, Dániel Varró, Iván Mura and Diego Latella and has published in prestigious journals such as Automatica, Reliability Engineering & System Safety and IEEE Transactions on Mobile Computing
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Chengfu Chu are about Top fields papers by Albert J. Pedroza are about Top journals papers by Y. N. Seetharam are published in Top countries impacted by papers by Elie Alam Top countries impacted by papers by Ashley R. Field Top journals papers by Seher Karaman Erkul are published in Top fields papers by Alvin F. Gardner are about Top authors papers by Khum N. Paudayal are co-authored with