Alexei Kopylov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2001–2021
Best venue rank
A*
Where they publish
Papers
5 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 | 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 | LICS | Dependent Intersection: A New Way of Defining Records in Type Theory. | Alexei Kopylov |
| 2001 | CSL | Markov's Principle for Propositional Type Theory. | Alexei Kopylov, Aleksey Nogin |