Raph Levien

6 papers and 162 indexed citations i.

Raph Levien has authored 6 papers that have received a total of 162 indexed citations. This includes 4 papers in Artificial Intelligence, 3 papers in Computer Networks and Communications and 2 papers in Hardware and Architecture. The topics of these papers are Security and Verification in Computing (2 papers), Logic, programming, and type systems (2 papers) and Parallel Computing and Optimization Techniques (2 papers). Raph Levien is often cited by papers focused on Security and Verification in Computing (2 papers), Logic, programming, and type systems (2 papers) and Parallel Computing and Optimization Techniques (2 papers) and collaborates with scholars based in United States. Raph Levien's co-authors include Alex Aiken, Manuel Fähndrich and Carlo H. Séquin and has published in prestigious journals such as ACM SIGPLAN Notices and Computer-Aided Design and Applications