Andres Nötzli

8 papers and 122 indexed citations i.

About

Andres Nötzli has authored 8 papers that have received a total of 122 indexed citations. This includes 3 papers in Artificial Intelligence, 3 papers in Computer Networks and Communications and 3 papers in Computational Theory and Mathematics. The topics of these papers are Parallel Computing and Optimization Techniques (3 papers), Software Testing and Debugging Techniques (2 papers) and Formal Methods in Verification (2 papers). Andres Nötzli is often cited by papers focused on Parallel Computing and Optimization Techniques (3 papers), Software Testing and Debugging Techniques (2 papers) and Formal Methods in Verification (2 papers) and collaborates with scholars based in United States, Israel and Switzerland. Andres Nötzli's co-authors include Christoph Koch, Mathias Preiner, Gereon Kremer, Andrew Lamb and Deian Stefan and has published in prestigious journals such as Communications of the ACM, ACM Transactions on Database Systems and ACM SIGPLAN Notices

In The Last Decade

Rankless by CCL
2025