Aleksey Nogin

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 4

Top Topics

Top Venues

Proc. ACM Program. Lang.

IEEE Trans. Neural Networks Learn. Syst.

Publications

Christopher R. Serrano, Aleksey Nogin, Michael A. Warren
Assured Point Cloud Perception. ICAA (2023)
Alexei Kopylov, Stefan Mitsch, Aleksey Nogin, Michael Warren
Formally Verified Safety Net for Waypoint Navigation Neural Network Controllers. FM (2021)
Michael Roberts, Alexei Kopylov, Aleksey Nogin
Semantics and Axiomatization for Stochastic Differential Dynamic Logic. CoRR (2021)
William Mansky, Andrew W. Appel, Aleksey Nogin
A verified messaging system. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Kirill Minkovich, Corey M. Thibeault, Michael John O'Brien, Aleksey Nogin, Youngkwan Cho, Narayan Srinivasa
HRLSim: A High Performance Spiking Neural Network Simulator for GPGPU Clusters. IEEE Trans. Neural Networks Learn. Syst. 25 (2) (2014)
Kirill Minkovich, Narayan Srinivasa, Jose M. Cruz-Albrecht, Youngkwan Cho, Aleksey Nogin
Programming Time-Multiplexed Reconfigurable Hardware Using a Scalable Neuromorphic Compiler. IEEE Trans. Neural Networks Learn. Syst. 23 (6) (2012)
Maria Nogin, Aleksey Nogin
On Dynamic Topological Logic of the Real Line. J. Log. Comput. 18 (6) (2008)
Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov
Practical Reflection for Sequent Logics. Electron. Notes Theor. Comput. Sci. 174 (5) (2007)
Jason Hickey, Aleksey Nogin
Formal compiler construction in a logical framework. High. Order Symb. Comput. 19 (2-3) (2006)
Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov
Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. ICFP (2006)
Aleksey Nogin, Alexei Kopylov
Formalizing Type Operations Using the "Image" Type Constructor. Electron. Notes Theor. Comput. Sci. 165 (2006)
Jason Hickey, Aleksey Nogin
: Designing a Scalable Build Process. FASE (2006)
Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey
A computational approach to reflective meta-reasoning about languages with bindings. MERLIN (2005)
Jason Hickey, Aleksey Nogin
Extensible Hierarchical Tactic Construction in a Logical Framework. TPHOLs (2004)
Cristian Tapus, Aleksey Nogin, Jason Hickey, Jerome White
A Mechanism for Sequential Consistency in a Distributed Objects System. PDCS (2004)
Jason Hickey, Aleksey Nogin, Adam Granicz
Compiler implementation in a formal logical framework. MERLIN (2003)
Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, Xin Yu
MetaPRL - A Modular Logical Environment. TPHOLs (2003)
Aleksey Nogin
Quotient Types: A Modular Approach. TPHOLs (2002)
Aleksey Nogin, Jason Hickey
Sequent Schema for Derived Rules. TPHOLs (2002)
Alexei Kopylov, Aleksey Nogin
Markov's Principle for Propositional Type Theory. CSL (2001)
Stephan Schmitt, Lori Lorigo, Christoph Kreitz, Aleksey Nogin
JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants. IJCAR (2001)
Aleksey Nogin
Writing Constructive Proofs Yielding Efficient Extracted Programs. Electron. Notes Theor. Comput. Sci. 37 (2000)
Jason Hickey, Aleksey Nogin
Fast Tactic-Based Theorem Proving. TPHOLs (2000)