Concepedia

Aleksey Nogin

AN

Statistics

Publications

7

Citations

160

H-Index

7

Active since

2005

Affiliations

California Institute of Technology(Current)

HRL Laboratories (United States)

Aleksey Nogin is an author at California Institute of Technology specializing in computing, computer science, and formal methods.

Publications per year

2005–2017

7

Publications

7

HRLSim: A High Performance Spiking Neural Network Simulator for GPGPU Clusters

Kirill Minkovich, Corey M. Thibeault, Michael John O'Brien et al. · IEEE Transactions on Neural Networks and Learning Systems · 2014 · 57 citations

Computing, Computer Engineering, High-performance Computing +17

Programming Time-Multiplexed Reconfigurable Hardware Using a Scalable Neuromorphic Compiler

Kirill Minkovich, N. Srinivasa, Jose Cruz-Albrecht et al. · IEEE Transactions on Neural Networks and Learning Systems · 2012 · 26 citations

Engineering, Computer Engineering, Computer Science +16

A verified messaging system

William Mansky, Andrew W. Appel, Aleksey Nogin · Proceedings of the ACM on Programming Languages · 2017 · 23 citations · Full text

Computing, Computer Engineering, Computer Science +17

Formal compiler construction in a logical framework

Jason Hickey, Aleksey Nogin · LISP and Symbolic Computation · 2006 · 15 citations

Computing, Computer Science, Computer Systems +14

Formalizing Type Operations Using the “Image” Type Constructor

Aleksey Nogin, Alexei Kopylov · Electronic Notes in Theoretical Computer Science · 2006 · 14 citations · Full text

Computing, Computer Science, Formal Methods +16

1–5 of 7