Andres Nötzli

8 papers and 124 indexed citations i.

Andres Nötzli has authored 8 papers that have received a total of 124 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), Formal Methods in Verification (2 papers) and Logic, programming, and type systems (2 papers). Andres Nötzli is often cited by papers focused on Parallel Computing and Optimization Techniques (3 papers), Formal Methods in Verification (2 papers) and Logic, programming, and type systems (2 papers) and collaborates with scholars based in United States, Israel and Switzerland. Andres Nötzli's co-authors include Christoph Koch, Junkil Park, Andrew Lamb, Dawson Engler and Yanif Ahmad and has published in prestigious journals such as Communications of the ACM, ACM Transactions on Database Systems and ACM SIGPLAN Notices.