Alexei Kopylov

According to our database, Alexei Kopylov authored at least 14 papers between 2001 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Semantics and Axiomatization for Stochastic Differential Dynamic Logic.

Michael Roberts, Alexei Kopylov, Aleksey Nogin

CoRR, 2021

Formally Verified Safety Net for Waypoint Navigation Neural Network Controllers.

Alexei Kopylov, Stefan Mitsch, Aleksey Nogin, Michael A. Warren

Proceedings of the Formal Methods - 24th International Symposium, 2021

Characterizing Disease Spreading via Visibility Graph Embedding.

Kang-Yu Ni, Jiejun Xu, Shane Roach, Tsai-Ching Lu, Alexei Kopylov

Proceedings of the 2021 IEEE International Conference on Big Data (Big Data), 2021

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, Jun Wu, Lihui Liu, Yuchen Yan, Jingrui He, Hanghang Tong

Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020

Semantic Guided Filtering Strategy for Best-effort Subgraph Matching in Knowledge Graphs.

Alexei Kopylov, Jiejun Xu, Kang-Yu Ni, Shane Roach, Tsai-Ching Lu

Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020

2019

Filtering Strategies for Inexact Subgraph Matching on Noisy Multiplex Networks.

Alexei Kopylov, Jiejun Xu

Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

2006

Formalizing Type Operations Using the "Image" Type Constructor.

Aleksey Nogin, Alexei Kopylov

Proceedings of the 13th Workshop on Logic, Language, Information and Computation, 2006

Practical Reflection for Sequent Logics.

Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov

Proceedings of the First International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2006

Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection.

Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

2005

A computational approach to reflective meta-reasoning about languages with bindings.

Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2005

2004

Type Theoretical Foundations for Data Structures, Classes, and Objects.

Alexei Kopylov

PhD thesis, 2004

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, Stephan Schmitt, Carl Witty, Xin Yu

Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003

Dependent Intersection: A New Way of Defining Records in Type Theory.

Alexei Kopylov

Proceedings of the 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 2003

2001

Markov's Principle for Propositional Type Theory.

Alexei Kopylov, Aleksey Nogin

Proceedings of the Computer Science Logic, 15th International Workshop, 2001