( en | de | ru )

 

Disambiguation of "Nogin, Aleksey"

Author of the publication

copydeleteadd this publication to your clipboard
JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants.

, , , and . IJCAR, volume 2083 of Lecture Notes in Computer Science, page 421-426. Springer, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Aleksey Adonin

Aleksey Min

Aleksey Martyniouk

Aleksey Buzmakov

 

Other publications of authors with the same name

Programming Time-Multiplexed Reconfigurable Hardware Using a Scalable Neuromorphic Compiler., , , , and . IEEE Trans. Neural Networks Learn. Syst., 23 (6): 889-901 (2012)Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection., , , and . ICFP, page 172-183. ACM, (2006)Formally Verified Safety Net for Waypoint Navigation Neural Network Controllers., , , and . FM, volume 13047 of Lecture Notes in Computer Science, page 122-141. Springer, (2021)HRLSim: A High Performance Spiking Neural Network Simulator for GPGPU Clusters., , , , , and . IEEE Trans. Neural Networks Learn. Syst., 25 (2): 316-331 (2014)Assured Point Cloud Perception., , and . ICAA, page 119-128. IEEE, (2023)Sequent Schema for Derived Rules., and . TPHOLs, volume 2410 of Lecture Notes in Computer Science, page 281-297. Springer, (2002)MetaPRL - A Modular Logical Environment., , , , , , , , , and 5 other author(s). TPHOLs, volume 2758 of Lecture Notes in Computer Science, page 287-303. Springer, (2003)JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants., , , and . IJCAR, volume 2083 of Lecture Notes in Computer Science, page 421-426. Springer, (2001): Designing a Scalable Build Process., and . FASE, volume 3922 of Lecture Notes in Computer Science, page 63-78. Springer, (2006)A verified messaging system., , and . Proc. ACM Program. Lang., 1 (OOPSLA): 87:1-87:28 (2017)