Niklaus Wirth

111 papers and 5.1k indexed citations i.

Niklaus Wirth has authored 111 papers that have received a total of 5.1k indexed citations. This includes 27 papers in Artificial Intelligence, 24 papers in Computational Theory and Mathematics and 24 papers in Hardware and Architecture. The topics of these papers are Parallel Computing and Optimization Techniques (19 papers), Logic, programming, and type systems (19 papers) and Formal Methods in Verification (14 papers). Niklaus Wirth is often cited by papers focused on Parallel Computing and Optimization Techniques (19 papers), Logic, programming, and type systems (19 papers) and Formal Methods in Verification (14 papers) and collaborates with scholars based in Switzerland, United States and Germany. Niklaus Wirth's co-authors include C Moler, D Luckham, W Brauer, D Barstow and Hansen Gries and has published in prestigious journals such as Communications of the ACM, Mathematics of Computation and ACM Computing Surveys