Michael Marcotty

8 papers and 153 indexed citations i.

About

Michael Marcotty has authored 8 papers that have received a total of 153 indexed citations. This includes 4 papers in Artificial Intelligence, 4 papers in Information Systems and 3 papers in Software. The topics of these papers are Logic, programming, and type systems (3 papers), Software Engineering Research (3 papers) and Software Testing and Debugging Techniques (2 papers). Michael Marcotty is often cited by papers focused on Logic, programming, and type systems (3 papers), Software Engineering Research (3 papers) and Software Testing and Debugging Techniques (2 papers) and collaborates with scholars based in United States and United Kingdom. Michael Marcotty's co-authors include James L. Elshoff, Henry Ledgard, Gregor von Bochmann, David Beech and John C. Dill and has published in prestigious journals such as Communications of the ACM, ACM Computing Surveys and IEEE Transactions on Software Engineering

In The Last Decade

Rankless by CCL
2025