Alexei Kopylov

15 papers A* 1A 1B 2C 1Journal 2Unranked 7

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Self-Satisfied: An end-to-end framework for SAT generation and prediction. CoRR Christopher R. Serrano, Jonathan Gallagher, Kenji Yamada, Alexei Kopylov, Michael A. Warren
2021	—	`conf`	Characterizing Disease Spreading via Visibility Graph Embedding. IEEE BigData Kang-Yu Ni, Jiejun Xu, Shane Roach, Tsai-Ching Lu, Alexei Kopylov
2021	B	`conf`	Formally Verified Safety Net for Waypoint Navigation Neural Network Controllers. FM Alexei Kopylov, Stefan Mitsch, Aleksey Nogin, Michael A. Warren
2021	J	`jnl`	Semantics and Axiomatization for Stochastic Differential Dynamic Logic. CoRR Michael Roberts, Alexei Kopylov, Aleksey Nogin
2020	—	`conf`	CANON: Complex Analytics of Network of Networks for Modeling Adversarial Activities. IEEE BigData 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
2020	—	`conf`	Semantic Guided Filtering Strategy for Best-effort Subgraph Matching in Knowledge Graphs. IEEE BigData Alexei Kopylov, Jiejun Xu, Kang-Yu Ni, Shane Roach, Tsai-Ching Lu
2019	—	`conf`	Filtering Strategies for Inexact Subgraph Matching on Noisy Multiplex Networks. IEEE BigData Alexei Kopylov, Jiejun Xu
2006	C	`conf`	Formalizing Type Operations Using the "Image" Type Constructor. WoLLIC Aleksey Nogin, Alexei Kopylov
2006	A	`conf`	Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. ICFP Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov
2006	—	`conf`	Practical Reflection for Sequent Logics. LFMTP@FLoC Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov
2005	—	`conf`	A computational approach to reflective meta-reasoning about languages with bindings. MERLIN Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey
2004	—	`—`	Type Theoretical Foundations for Data Structures, Classes, and Objects. Alexei Kopylov
2003	A*	`conf`	Dependent Intersection: A New Way of Defining Records in Type Theory. LICS Alexei Kopylov
2003	—	`conf`	MetaPRL - A Modular Logical Environment. TPHOLs 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
2001	B	`conf`	Markov's Principle for Propositional Type Theory. CSL Alexei Kopylov, Aleksey Nogin