Cyrus Omar - Concepedia

Author

Cyrus Omar

Carnegie Mellon University ORCID

Also Known As

Cyrus Omar, Omar, Cyrus

Publications

622

Citations

H-Index

Concepts

All Affiliations

Carnegie Mellon University Arizona State University University of Michigan University of Illinois Urbana-Champaign University of Chicago

About

Cyrus Omar is an author at Carnegie Mellon University specializing in engineering, computer science, and automated reasoning.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	7	7	263
2	Social Sciences	3	3	69
3	Cognitive Science	2	2	58
4	Health Sciences	1	1	48
5	Management	1	1	33

Cyrus Omar

Publications

456

Citations

H-Index

Page 1

	Year	Citations
Neural Correlation Is Stimulus Modulated by Feedforward Inhibitory Circuitry Jason W. Middleton, Cyrus Omar, Brent Doiron, Journal of Neuroscience	2012	94
Active code completion Cyrus Omar, YoungSeok Yoon, Thomas D. LaToza, Artificial IntelligenceSoftware MaintenanceEngineeringVisual Programming LanguageSoftware Engineering	2012	89
Active code completion Cyrus Omar, YoungSeok Yoon, Thomas D. LaToza, International Conference on Software Engineering Artificial IntelligenceSoftware MaintenanceEngineeringVisual Programming LanguageSoftware Engineering	2012	69
A Feedback Information-Theoretic Approach to the Design of Brain–Computer Interfaces Cyrus Omar, Abdullah Akce, M. J. Johnson, International Journal of Human-Computer Interaction Feedback Information TheoryMotor ControlSocial SciencesBrain-inspired SensorsBrain–computer Interfaces	2010	48
Hazelnut: a bidirectionally typed structure editor calculus Cyrus Omar, Ian Voysey, Michael Hilton, SyntaxEngineeringVisual Programming LanguageTree StructureMalformed Program Text	2016	39
Collaborative infrastructure for test-driven scientific model validation Cyrus Omar, Jonathan Aldrich, Richard C. Gerkin Software MaintenanceEngineeringProject ManagementVerificationSoftware Engineering	2014	33
Filling typed holes with live GUIs Cyrus Omar, David A. Moon, Andrew Blinn,	2021	30
Toward Semantic Foundations for Program Editors Cyrus Omar, Ian Voysey, Michael Hilton, arXiv (Cornell University) EngineeringSemantic TechnologySimple Formal CalculiOntology VersioningSoftware Engineering	2017	12
NeuronUnit: A package for data-driven validation of neuron models using SciUnit Richard C. Gerkin, Justas Birgiolas, Russell J Jarvis, EngineeringMachine LearningNeurogenomicsVerificationNeuron Model Validation	2019	11
Total Type Error Localization and Recovery with Holes Eric Zhao, Raef Maroof, A Ambedkar Dukkipati, Proceedings of the ACM on Programming Languages	2024	11

Page 1