Aleksey Nogin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2001–2021
Best venue rank
A
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | FM | Formally Verified Safety Net for Waypoint Navigation Neural Network Controllers. | Alexei Kopylov, Stefan Mitsch, Aleksey Nogin, Michael A. Warren |
| 2006 | FASE | : Designing a Scalable Build Process. | Jason Hickey, Aleksey Nogin |
| 2006 | ICFP | Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. | Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov |
| 2005 | ICFP | A computational approach to reflective meta-reasoning about languages with bindings. | Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey |
| 2003 | ICFP | Compiler implementation in a formal logical framework. | Jason Hickey, Aleksey Nogin, Adam Granicz |
| 2001 | CADE | JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants. | Stephan Schmitt, Lori Lorigo, Christoph Kreitz, Aleksey Nogin |
| 2001 | CSL | Markov's Principle for Propositional Type Theory. | Alexei Kopylov, Aleksey Nogin |