Markov's Principle for Propositional Type Theory. - Alexei Kopylov; Aleksey Nogin (CSL, 2001)

Dependent Intersection: A New Way of Defining Records in Type Theory. - Alexei Kopylov (LICS, 2003)

MetaPRL - A Modular Logical Environment. - 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; et al. (TPHOLs, 2003)

Type Theoretical Foundations for Data Structures, Classes, and Objects. - Alexei Kopylov (2004)

A computational approach to reflective meta-reasoning about languages with bindings. - Aleksey Nogin; Alexei Kopylov; Xin Yu; Jason Hickey (MERLIN, 2005)

Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. - Jason Hickey; Aleksey Nogin; Xin Yu; Alexei Kopylov (ICFP, 2006)

Practical Reflection for Sequent Logics. - Jason Hickey; Aleksey Nogin; Xin Yu; Alexei Kopylov (LFMTP@FLoC, 2006)

Formalizing Type Operations Using the "Image" Type Constructor. - Aleksey Nogin; Alexei Kopylov (WoLLIC, 2006)

Filtering Strategies for Inexact Subgraph Matching on Noisy Multiplex Networks. - Alexei Kopylov; Jiejun Xu (IEEE BigData, 2019)

Semantic Guided Filtering Strategy for Best-effort Subgraph Matching in Knowledge Graphs. - Alexei Kopylov; Jiejun Xu; Kang-Yu Ni; Shane Roach; Tsai-Ching Lu (IEEE BigData, 2020)

CANON: Complex Analytics of Network of Networks for Modeling Adversarial Activities. - Shane Roach; Connie Ni; Alexei Kopylov; Tsai-Ching Lu; Jiejun Xu; Si Zhang; Boxin Du; Dawei Zhou 003; Jun Wu 019; Lihui Liu; Yuchen Yan; Jingrui He; et al. (IEEE BigData, 2020)

Characterizing Disease Spreading via Visibility Graph Embedding. - Kang-Yu Ni; Jiejun Xu; Shane Roach; Tsai-Ching Lu; Alexei Kopylov (IEEE BigData, 2021)

Formally Verified Safety Net for Waypoint Navigation Neural Network Controllers. - Alexei Kopylov; Stefan Mitsch; Aleksey Nogin; Michael A. Warren (FM, 2021)

Semantics and Axiomatization for Stochastic Differential Dynamic Logic. - Michael Roberts; Alexei Kopylov; Aleksey Nogin (CoRR, 2021)

Self-Satisfied: An end-to-end framework for SAT generation and prediction. - Christopher R. Serrano; Jonathan Gallagher; Kenji Yamada; Alexei Kopylov; Michael A. Warren (CoRR, 2024)