Michał Moskal

2.0k total citations
46 papers, 674 citations indexed

About

Michał Moskal is a scholar working on Computer Science Applications, Information Systems and Artificial Intelligence. According to data from OpenAlex, Michał Moskal has authored 46 papers receiving a total of 674 indexed citations (citations by other indexed papers that have themselves been cited), including 24 papers in Computer Science Applications, 17 papers in Information Systems and 13 papers in Artificial Intelligence. Recurrent topics in Michał Moskal's work include Teaching and Learning Programming (24 papers), Software Engineering Research (10 papers) and Software Testing and Debugging Techniques (10 papers). Michał Moskal is often cited by papers focused on Teaching and Learning Programming (24 papers), Software Engineering Research (10 papers) and Software Testing and Debugging Techniques (10 papers). Michał Moskal collaborates with scholars based in United States, United Kingdom and Germany. Michał Moskal's co-authors include Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Peli de Halleux, Thomas Ball, Steve Hodges, Wolfram Schulte, Joe Finney, James Devine and Stephan Tobies 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

Michał Moskal

45 papers receiving 622 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Michał Moskal United States	16	237	222	220	155	120	46	674
Peli de Halleux United States	13	145 0.6×	181 0.8×	99 0.5×	192 1.2×	70 0.6×	31	478
Daniel C. Halbert Germany	5	145 0.6×	290 1.3×	372 1.7×	217 1.4×	128 1.1×	7	866
Jeremy S. Bradbury Canada	13	86 0.4×	240 1.1×	179 0.8×	260 1.7×	128 1.1×	39	520
Andreas Stefik United States	17	411 1.7×	544 2.5×	227 1.0×	283 1.8×	72 0.6×	60	984
Robin Abraham United States	15	245 1.0×	246 1.1×	131 0.6×	789 5.1×	145 1.2×	28	1.0k
Vytautas Štuikys Lithuania	13	152 0.6×	156 0.7×	176 0.8×	95 0.6×	134 1.1×	69	513
Andrea Mocci Switzerland	17	219 0.9×	773 3.5×	289 1.3×	241 1.6×	183 1.5×	61	975
Maria Spichkova Australia	11	59 0.2×	247 1.1×	159 0.7×	107 0.7×	82 0.7×	89	577
Ciera Jaspan United States	14	127 0.5×	477 2.1×	166 0.8×	237 1.5×	131 1.1×	41	719
Paul Calder Australia	12	54 0.2×	185 0.8×	169 0.8×	85 0.5×	117 1.0×	38	680

Countries citing papers authored by Michał Moskal

Since Specialization

Citations

This map shows the geographic impact of Michał Moskal's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Michał Moskal with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Michał Moskal more than expected).

Fields of papers citing papers by Michał Moskal

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Michał Moskal. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Michał Moskal. The network helps show where Michał Moskal may publish in the future.

Co-authorship network of co-authors of Michał Moskal

This figure shows the co-authorship network connecting the top 25 collaborators of Michał Moskal. A scholar is included among the top collaborators of Michał Moskal based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Michał Moskal. Michał Moskal is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Rubegni, Elisa, Joe Finney, Steve Hodges, et al.. (2024). Meet MicroCode: a Live and Portable Programming Tool for the BBC micro:bit. 355–370. 4 indexed citations

Halleux, Peli de, et al.. (2024). Jacdac: Service-Based Prototyping of Embedded Systems. Proceedings of the ACM on Programming Languages. 8(PLDI). 692–715. 3 indexed citations

Devine, James, Steve Hodges, Thomas Ball, et al.. (2024). Plug-and-Play Physical Computing and Device Prototyping with Jacdac. GetMobile Mobile Computing and Communications. 28(2). 38–43.

Devine, James, Michał Moskal, Peli de Halleux, et al.. (2022). Plug-and-play Physical Computing with Jacdac. Proceedings of the ACM on Interactive Mobile Wearable and Ubiquitous Technologies. 6(3). 1–30. 11 indexed citations

Seyed, Teddy, James Devine, Joe Finney, et al.. (2021). Rethinking the Runway: Using Avant-Garde Fashion To Design a System for Wearables. 1–15. 17 indexed citations

Ball, Thomas, Peli de Halleux, & Michał Moskal. (2019). Static TypeScript: an implementation of a static compiler for the TypeScript language. 105–116. 13 indexed citations

Devine, James, Joe Finney, Peli de Halleux, et al.. (2018). MakeCode and CODAL: intuitive and efficient embedded systems programming for education (LCTES version). 19–30. 1 indexed citations

Devine, James, Joe Finney, Peli de Halleux, et al.. (2018). MakeCode and CODAL: intuitive and efficient embedded systems programming for education. 19–30. 20 indexed citations

Ball, Thomas, Sebastian Burckhardt, Jonathan de Halleux, et al.. (2015). Beyond Open Source: The Touch Develop Cloud-Based Integrated Development Environment. 83–93. 5 indexed citations

10.

Xiao, Xusheng, Nikolai Tillmann, Manuel Fähndrich, et al.. (2014). User-aware privacy control via extended static-information-flow analysis. Automated Software Engineering. 22(3). 333–366. 5 indexed citations

11.

Tillmann, Nikolai, Michał Moskal, Jonathan de Halleux, et al.. (2014). TouchDevelop: create rich mobile apps on touch devices (tutorial). 1–2. 1 indexed citations

12.

Ball, Thomas, Sebastian Burckhardt, Jonathan de Halleux, et al.. (2014). Beyond Open Source: The TouchDevelop Cloud-based Integrated Development and Runtime Environment. 2 indexed citations

13.

Puder, Arno, Nikolai Tillmann, & Michał Moskal. (2014). Exposing native device APIs to web apps. 18–26. 10 indexed citations

14.

Burckhardt, Sebastian, Manuel Fähndrich, Peli de Halleux, et al.. (2013). It's alive! continuous feedback in UI programming. 95–104. 44 indexed citations

15.

Kataoka, Toshiki, et al.. (2013). Calibrating Research in Program Synthesis Using 72,000 Hours of Programmer Time. 12 indexed citations

16.

Goues, Claire Le, K. Rustan M. Leino, & Michał Moskal. (2011). The boogie verification debugger. International Conference on Software Engineering. 407–414. 14 indexed citations

17.

Böhme, Sascha, Michał Moskal, Wolfram Schulte, & Burkhart Wolff. (2009). HOL-Boogie—An Interactive Prover-Backend for the Verifying C Compiler. Journal of Automated Reasoning. 44(1-2). 111–144. 14 indexed citations

18.

Cohen, Ernie, Michał Moskal, Stephan Tobies, & Wolfram Schulte. (2009). A Precise Yet Efficient Memory Model For C. Electronic Notes in Theoretical Computer Science. 254. 85–103. 33 indexed citations

19.

Moskal, Michał. (2009). Programming with triggers. 20–29. 17 indexed citations

20.

Janota, Mikoláš, Radu Grigore, & Michał Moskal. (2007). Reachability analysis for annotated code. 23–30. 10 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact