12
Publications
456
Citations
10
H-Index
2008
Active since
Cyrus Omar is an author at Carnegie Mellon University specializing in engineering, computer science, and automated reasoning.
Top concepts
EngineeringComputer ScienceSoftware DesignAutomated ReasoningSoftware EngineeringFormal MethodsProgram AnalysisSoftware TestingSoftware AnalysisNeuroscience
Publications per year
2008–2024
12
12
Neural Correlation Is Stimulus Modulated by Feedforward Inhibitory Circuitry
Jason W. Middleton, Cyrus Omar, Brent Doiron et al. · Journal of Neuroscience · 2012 · 94 citations · Full text
Cyrus Omar, YoungSeok Yoon, Thomas D. LaToza et al. · 2012 · 89 citations
Artificial Intelligence, Software Maintenance, Engineering +18
Cyrus Omar, YoungSeok Yoon, Thomas D. LaToza et al. · International Conference on Software Engineering · 2012 · 69 citations
Artificial Intelligence, Software Maintenance, Engineering +18
Hazelnut: a bidirectionally typed structure editor calculus
Cyrus Omar, Ian Voysey, Michael Hilton et al. · 2016 · 39 citations · Full text
Rows per page
1–5 of 12