Sabine Glesner

30 papers and 139 indexed citations i.

Sabine Glesner has authored 30 papers that have received a total of 139 indexed citations. This includes 21 papers in Computational Theory and Mathematics, 17 papers in Artificial Intelligence and 12 papers in Software. The topics of these papers are Formal Methods in Verification (21 papers), Logic, programming, and type systems (11 papers) and Software Testing and Debugging Techniques (10 papers). Sabine Glesner is often cited by papers focused on Formal Methods in Verification (21 papers), Logic, programming, and type systems (11 papers) and Software Testing and Debugging Techniques (10 papers) and collaborates with scholars based in Germany, United States and France. Sabine Glesner's co-authors include Jan Olaf Blech, Paula Herber, Johannes Leitner, Bernhard Rumpe⋆ and Alfred Winter and has published in prestigious journals such as Journal of Systems and Software, ACM Transactions on Programming Languages and Systems and Science of Computer Programming.