Aleksey Nogin
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and Knowledge, Parallel Computing and Optimization Techniques, Distributed systems and fault tolerance
Most-Cited Works
- → HRLSim: A High Performance Spiking Neural Network Simulator for GPGPU Clusters(2014)57 cited
- → MetaPRL – A Modular Logical Environment(2003)50 cited
- → JProver: Integrating Connection-Based Theorem Proving into Interactive Proof Assistants(2001)36 cited
- → Quotient Types: A Modular Approach(2002)27 cited
- → Programming Time-Multiplexed Reconfigurable Hardware Using a Scalable Neuromorphic Compiler(2012)26 cited
- → A verified messaging system(2017)23 cited
- → Fast Tactic-Based Theorem Proving(2000)17 cited
- → Markov’s Principle for Propositional Type Theory(2001)16 cited
- → Formal compiler construction in a logical framework(2006)15 cited
- → Formalizing Type Operations Using the “Image” Type Constructor(2006)14 cited