Michał Moskal
About
Michał Moskal has authored 17 papers that have received a total of 125 indexed citations.
This includes 7 papers in Artificial Intelligence, 7 papers in Computer Science Applications and 5 papers in Computational Theory and Mathematics. The topics of these papers are Teaching and Learning Programming (7 papers), Formal Methods in Verification (5 papers) and Logic, programming, and type systems (5 papers). Michał Moskal is often cited by papers focused on Teaching and Learning Programming (7 papers), Formal Methods in Verification (5 papers) and Logic, programming, and type systems (5 papers) and collaborates with scholars based in United States, United Kingdom and China. Michał Moskal's co-authors include Peli de Halleux, Joe Finney, Thomas Ball, Steve Hodges and James Devine and has published in prestigious journals such as Communications of the ACM, ACM SIGPLAN Notices and Proceedings of the ACM on Interactive Mobile Wearable and Ubiquitous Technologies
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Alenka Šauperl Top authors papers by Nuno C. Marques are co-authored with Top journals papers by Alan Sked are published in Top journals papers by Róbert Pálovics are published in Top authors papers by Noëlle Carbonell are co-authored with Top journals papers by J. Imrek are published in Top journals papers by Thomas J. Noer are published in Top authors papers by Tianyu Zhang are co-authored with