Martin Weiglhofer

7 papers and 97 indexed citations i.

Martin Weiglhofer has authored 7 papers that have received a total of 97 indexed citations. This includes 5 papers in Computational Theory and Mathematics, 5 papers in Software and 2 papers in Hardware and Architecture. The topics of these papers are Software Testing and Debugging Techniques (5 papers), Formal Methods in Verification (5 papers) and Software Reliability and Analysis Research (3 papers). Martin Weiglhofer is often cited by papers focused on Software Testing and Debugging Techniques (5 papers), Formal Methods in Verification (5 papers) and Software Reliability and Analysis Research (3 papers) and collaborates with scholars based in Austria, Switzerland and Israel. Martin Weiglhofer's co-authors include Bernhard K. Aichernig, Franz Wotawa, Nir Piterman, Barbara Jobstmann and Amir Pnueli and has published in prestigious journals such as Information and Software Technology and Electronic Notes in Theoretical Computer Science.