Alexei Kopylov
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and Knowledge, Advanced Graph Neural Networks, Complex Network Analysis Techniques
Most-Cited Works
- → MetaPRL – A Modular Logical Environment(2003)50 cited
- → Dependent intersection: a new way of defining records in type theory(2003)46 cited
- Type theoretical foundations for data structures, classes, and objects(2004)
- → Markov’s Principle for Propositional Type Theory(2001)16 cited
- → Formalizing Type Operations Using the “Image” Type Constructor(2006)14 cited
- → A computational approach to reflective meta-reasoning about languages with bindings(2005)14 cited
- → Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection(2006)11 cited
- → Filtering Strategies for Inexact Subgraph Matching on Noisy Multiplex Networks(2019)9 cited
- → CANON: Complex Analytics of Network of Networks for Modeling Adversarial Activities(2020)6 cited
- → Formally Verified Safety Net for Waypoint Navigation Neural Network Controllers(2021)4 cited