Armando Solar-Lezama - Publications, H-index & Citations

Armando Solar-Lezama

massachusetts institute of technology (mit)

44H指数

229论文数

7.7K被引数

收录论文 10

发表时间

Formal Methods in System Design

IF0.8

2026-05-12

OAAI

Galicia-Mendoza, Fernando A.; Rosenblueth, David A.; Solar-Lezama, Armando

JOURNAL OF AFFECTIVE DISORDERS

IF4.9

2024-06-01

PREAI

Greenberg, Jennifer L.; Weingarden, Hilary; Hoeppner, Susanne S.; Berger-Gutierrez, RebeccaM.; Klare, Dalton; Snorrason, Ivar; Costilla-Reyes, Omar; Talbot, Morgan; Daniel, Katharine E.; Vanderkruik, Rachel C.; Solar-Lezama, Armando; Harrison, Oliver; Wilhelm, Sabine

GENOME BIOLOGY

IF9.4

2024-01-16

OAAI

Gupta, Kavi; Yang, Chenxi; Mccue, Kayla; Bastani, Osbert; Sharp, Phillip A.; Burge, Christopher B.; Solar-Lezama, Armando

PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES

IF3.7

2023-06-05

OAAI

Ellis, Kevin; Wong, Lionel; Nye, Maxwell; Sable-Meyer, Mathias; Cary, Luc; Anaya Pozo, Lore; Hewitt, Luke; Solar-Lezama, Armando; Tenenbaum, Joshua B.

NATURE COMMUNICATIONS

IF15.7

2022-08-30

OAAI

Ellis, Kevin; Albright, Adam; Solar-Lezama, Armando; Tenenbaum, Joshua B.; O'Donnell, Timothy J.

ACM TRANSACTIONS ON GRAPHICS

IF9.5

2021-07-19

OAAI

Willis, Karl D. D.; Pu, Yewen; Luo, Jieliang; Chu, Hang; Du, Tao; Lambourne, Joseph G.; Solar-Lezama, Armando; Matusik, Wojciech

FOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES

IF0.5