Armando Solar-Lezama

86 papers and 1.7k indexed citations i.

Armando Solar-Lezama has authored 86 papers that have received a total of 1.7k indexed citations. This includes 50 papers in Artificial Intelligence, 36 papers in Information Systems and 23 papers in Software. The topics of these papers are Software Engineering Research (30 papers), Logic, programming, and type systems (22 papers) and Software Testing and Debugging Techniques (21 papers). Armando Solar-Lezama is often cited by papers focused on Software Engineering Research (30 papers), Logic, programming, and type systems (22 papers) and Software Testing and Debugging Techniques (21 papers) and collaborates with scholars based in United States, France and Israel. Armando Solar-Lezama's co-authors include Samuel Madden, Rishabh Singh, Joshua B. Tenenbaum, Alvin Cheung and Rastislav Bodík and has published in prestigious journals such as Nature Communications, Communications of the ACM and Genome biology.