Aleksey Y. Nogin, Ph.D.
Affiliations: | 2002 | Cornell University, Ithaca, NY, United States |
Google:
"Aleksey Nogin"Parents
Sign in to add mentor| Robert L. Constable | grad student | 2002 | Cornell | |
| (Theory and implementation of an efficient tactic-based logical framework.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Minkovich K, Srinivasa N, Cruz-Albrecht JM, et al. (2012) Programming time-multiplexed reconfigurable hardware using a scalable neuromorphic compiler. Ieee Transactions On Neural Networks and Learning Systems. 23: 889-901 |
| Nogin M, Nogin A. (2008) On Dynamic Topological Logic of the Real Line Journal of Logic and Computation. 18: 1029-1045 |
| Nogin A, Kopylov A. (2006) Formalizing Type Operations Using the “Image” Type Constructor Electronic Notes in Theoretical Computer Science. 165: 121-132 |
| Nogin A. (2000) Writing Constructive Proofs Yielding Efficient Extracted Programs Electronic Notes in Theoretical Computer Science. 37: 1-17 |