Nina Amla

2 papers and 17 indexed citations i.

Nina Amla has authored 2 papers that have received a total of 17 indexed citations. This includes 1 paper in Artificial Intelligence, 1 paper in Computational Theory and Mathematics and 1 paper in Hardware and Architecture. The topics of these papers are Embedded Systems Design Techniques (1 paper), Formal Methods in Verification (1 paper) and Logic, programming, and type systems (1 paper). Nina Amla is often cited by papers focused on Embedded Systems Design Techniques (1 paper), Formal Methods in Verification (1 paper) and Logic, programming, and type systems (1 paper) and collaborates with scholars based in United States. Nina Amla's co-authors include Michael L. Littman, Manish Parashar, Alan Mishchenko, Niklas Eén and Dilma Da Silva and has published in prestigious journals such as Communications of the ACM