Marieke Huisman
About
Marieke Huisman has authored 49 papers that have received a total of 203 indexed citations.
This includes 31 papers in Artificial Intelligence, 25 papers in Computational Theory and Mathematics and 14 papers in Software. The topics of these papers are Logic, programming, and type systems (26 papers), Formal Methods in Verification (24 papers) and Software Testing and Debugging Techniques (11 papers). Marieke Huisman is often cited by papers focused on Logic, programming, and type systems (26 papers), Formal Methods in Verification (24 papers) and Software Testing and Debugging Techniques (11 papers) and collaborates with scholars based in The Netherlands, Germany and Sweden. Marieke Huisman's co-authors include Bart Jacobs, Stefan Blom, Rosemary Monahan, Joachim van den Berg and Dirk Beyer and has published in prestigious journals such as Applied Sciences, Theoretical Computer Science and Lecture notes in computer science
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Lalla Saâdia Chadli Top countries impacted by papers by Mirelle Finkler Top journals papers by Saiyidah Mahtarı are published in Top fields papers by Naoyuki Tokuda are about Top fields papers by Seiya Abe are about Top authors papers by Mihir P. Rupani are co-authored with Top countries impacted by papers by Ekkehard Krätzel