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 Kunyang Liu are about Top journals papers by Haorong Wu are published in Top authors papers by Huei‐Ling Huang are co-authored with Top authors papers by Ayyappa Chaturvedula are co-authored with Top fields papers by Sandra Balbino are about Top authors papers by Mart Saarna are co-authored with Top journals papers by Eduardo Shiguero Sakaguti are published in Top countries impacted by papers by Mengqing Wang