{"@attributes":{"name":"Alexei Kopylov","pid":"06\/588","n":"15"},"person":{"@attributes":{"key":"homepages\/06\/588","mdate":"2009-06-09"},"author":"Alexei Kopylov"},"r":[{"article":{"@attributes":{"publtype":"informal","key":"journals\/corr\/abs-2410-14888","mdate":"2024-11-27"},"author":["Christopher R. Serrano","Jonathan Gallagher","Kenji Yamada","Alexei Kopylov","Michael A. Warren"],"title":"Self-Satisfied: An end-to-end framework for SAT generation and prediction.","year":"2024","volume":"abs\/2410.14888","journal":"CoRR","ee":"https:\/\/doi.org\/10.48550\/arXiv.2410.14888","url":"db\/journals\/corr\/corr2410.html#abs-2410-14888","stream":"streams\/journals\/corr"}},{"inproceedings":{"@attributes":{"key":"conf\/bigdataconf\/NiXRLK21","mdate":"2022-01-18"},"author":["Kang-Yu Ni","Jiejun Xu","Shane Roach","Tsai-Ching Lu","Alexei Kopylov"],"title":"Characterizing Disease Spreading via Visibility Graph Embedding.","pages":"2656-2661","year":"2021","booktitle":"IEEE BigData","ee":"https:\/\/doi.org\/10.1109\/BigData52589.2021.9671810","crossref":"conf\/bigdataconf\/2021","url":"db\/conf\/bigdataconf\/bigdataconf2021.html#NiXRLK21"}},{"inproceedings":{"@attributes":{"key":"conf\/fm\/KopylovMNW21","mdate":"2023-08-22"},"author":["Alexei Kopylov","Stefan Mitsch","Aleksey Nogin","Michael A. Warren"],"title":"Formally Verified Safety Net for Waypoint Navigation Neural Network Controllers.","pages":"122-141","year":"2021","booktitle":"FM","ee":"https:\/\/doi.org\/10.1007\/978-3-030-90870-6_7","crossref":"conf\/fm\/2021","url":"db\/conf\/fm\/fm2021.html#KopylovMNW21"}},{"article":{"@attributes":{"publtype":"informal","key":"journals\/corr\/abs-2102-09667","mdate":"2021-10-14"},"author":["Michael Roberts","Alexei Kopylov","Aleksey Nogin"],"title":"Semantics and Axiomatization for Stochastic Differential Dynamic Logic.","year":"2021","volume":"abs\/2102.09667","journal":"CoRR","ee":"https:\/\/arxiv.org\/abs\/2102.09667","url":"db\/journals\/corr\/corr2102.html#abs-2102-09667"}},{"inproceedings":{"@attributes":{"key":"conf\/bigdataconf\/RoachNKLXZDZWLY20","mdate":"2022-11-17"},"author":["Shane Roach","Connie Ni","Alexei Kopylov","Tsai-Ching Lu","Jiejun Xu","Si Zhang","Boxin Du","Dawei Zhou 0003","Jun Wu 0019","Lihui Liu","Yuchen Yan","Jingrui He","Hanghang Tong"],"title":"CANON: Complex Analytics of Network of Networks for Modeling Adversarial Activities.","pages":"1634-1643","year":"2020","booktitle":"IEEE BigData","ee":"https:\/\/doi.org\/10.1109\/BigData50022.2020.9378258","crossref":"conf\/bigdataconf\/2020","url":"db\/conf\/bigdataconf\/bigdataconf2020.html#RoachNKLXZDZWLY20"}},{"inproceedings":{"@attributes":{"key":"conf\/bigdataconf\/KopylovXNRL20","mdate":"2021-04-08"},"author":["Alexei Kopylov","Jiejun Xu","Kang-Yu Ni","Shane Roach","Tsai-Ching Lu"],"title":"Semantic Guided Filtering Strategy for Best-effort Subgraph Matching in Knowledge Graphs.","pages":"2539-2545","year":"2020","booktitle":"IEEE BigData","ee":"https:\/\/doi.org\/10.1109\/BigData50022.2020.9378003","crossref":"conf\/bigdataconf\/2020","url":"db\/conf\/bigdataconf\/bigdataconf2020.html#KopylovXNRL20"}},{"inproceedings":{"@attributes":{"key":"conf\/bigdataconf\/KopylovX19","mdate":"2021-03-31"},"author":["Alexei Kopylov","Jiejun Xu"],"title":"Filtering Strategies for Inexact Subgraph Matching on Noisy Multiplex Networks.","pages":"4906-4912","year":"2019","booktitle":"IEEE BigData","ee":"https:\/\/doi.org\/10.1109\/BigData47090.2019.9006047","crossref":"conf\/bigdataconf\/2019","url":"db\/conf\/bigdataconf\/bigdataconf2019.html#KopylovX19"}},{"inproceedings":{"@attributes":{"key":"conf\/icfp\/HickeyNYK06","mdate":"2025-12-01"},"author":["Jason Hickey","Aleksey Nogin","Xin Yu 0013","Alexei Kopylov"],"title":"Mechanized meta-reasoning using a hybrid HOAS\/de bruijn representation and reflection.","pages":"172-183","year":"2006","crossref":"conf\/icfp\/2006","booktitle":"ICFP","ee":["https:\/\/doi.org\/10.1145\/1159803.1159826","https:\/\/doi.org\/10.1145\/1160074.1159826"],"url":"db\/conf\/icfp\/icfp2006.html#HickeyNYK06"}},{"inproceedings":{"@attributes":{"key":"journals\/entcs\/HickeyNYK07","mdate":"2025-12-01"},"author":["Jason Hickey","Aleksey Nogin","Xin Yu 0013","Alexei Kopylov"],"title":"Practical Reflection for Sequent Logics.","pages":"79-94","year":"2006","crossref":"conf\/lfmtp\/2006","booktitle":"LFMTP@FLoC","ee":"https:\/\/doi.org\/10.1016\/j.entcs.2007.01.019","url":"db\/conf\/lfmtp\/lfmtp2006.html#HickeyNYK07"}},{"inproceedings":{"@attributes":{"key":"journals\/entcs\/NoginK06","mdate":"2023-11-06"},"author":["Aleksey Nogin","Alexei Kopylov"],"title":"Formalizing Type Operations Using the \"Image\" Type Constructor.","pages":"121-132","year":"2006","crossref":"conf\/wollic\/2006","booktitle":"WoLLIC","ee":"https:\/\/doi.org\/10.1016\/j.entcs.2006.05.041","url":"db\/journals\/entcs\/entcs165.html#NoginK06"}},{"inproceedings":{"@attributes":{"key":"conf\/icfp\/NoginKYH05","mdate":"2025-12-01"},"author":["Aleksey Nogin","Alexei Kopylov","Xin Yu 0013","Jason Hickey"],"title":"A computational approach to reflective meta-reasoning about languages with bindings.","pages":"2-12","year":"2005","booktitle":"MERLIN","ee":"https:\/\/doi.org\/10.1145\/1088454.1088456","crossref":"conf\/icfp\/2005merlin","url":"db\/conf\/icfp\/merlin2005.html#NoginKYH05"}},{"phdthesis":{"@attributes":{"key":"phd\/us\/Kopylov04","mdate":"2022-04-01"},"author":"Alexei Kopylov","title":"Type Theoretical Foundations for Data Structures, Classes, and Objects.","school":"Cornell University, USA","year":"2004"}},{"inproceedings":{"@attributes":{"key":"conf\/lics\/Kopylov03","mdate":"2023-03-24"},"author":"Alexei Kopylov","title":"Dependent Intersection: A New Way of Defining Records in Type Theory.","pages":"86-95","year":"2003","crossref":"conf\/lics\/2003","booktitle":"LICS","ee":["https:\/\/doi.org\/10.1109\/LICS.2003.1210048","https:\/\/doi.ieeecomputersociety.org\/10.1109\/LICS.2003.1210048"],"url":"db\/conf\/lics\/lics2003.html#Kopylov03"}},{"inproceedings":{"@attributes":{"key":"conf\/tphol\/HickeyNCABBEGKKKLSWY03","mdate":"2025-12-01"},"author":["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 0013"],"title":"MetaPRL - A Modular Logical Environment.","pages":"287-303","ee":"https:\/\/doi.org\/10.1007\/10930755_19","year":"2003","crossref":"conf\/tphol\/2003","booktitle":"TPHOLs","url":"db\/conf\/tphol\/tphol2003.html#HickeyNCABBEGKKKLSWY03"}},{"inproceedings":{"@attributes":{"key":"conf\/csl\/KopylovN01","mdate":"2021-10-14"},"author":["Alexei Kopylov","Aleksey Nogin"],"title":"Markov's Principle for Propositional Type Theory.","pages":"570-584","year":"2001","crossref":"conf\/csl\/2001","booktitle":"CSL","ee":"https:\/\/doi.org\/10.1007\/3-540-44802-0_40","url":"db\/conf\/csl\/csl2001.html#KopylovN01"}}],"coauthors":{"@attributes":{"n":"33","nc":"2"},"co":[{"@attributes":{"c":"0"},"na":"Brian E. Aydemir"},{"@attributes":{"c":"0"},"na":"Eli Barzilay"},{"@attributes":{"c":"0"},"na":"Yegor Bryukhov"},{"@attributes":{"c":"0"},"na":"Robert L. Constable"},{"@attributes":{"c":"1"},"na":"Boxin Du"},{"@attributes":{"c":"0"},"na":"Richard Eaton"},{"@attributes":{"c":"0"},"na":"Jonathan Gallagher"},{"@attributes":{"c":"0"},"na":"Adam Granicz"},{"@attributes":{"c":"1"},"na":"Jingrui He"},{"@attributes":{"c":"0"},"na":"Jason Hickey"},{"@attributes":{"c":"0"},"na":"Christoph Kreitz"},{"@attributes":{"c":"0","n":"2"},"na":["Vladimir N. Krupski","Vladimir Krupski"]},{"@attributes":{"c":"1"},"na":"Lihui Liu"},{"@attributes":{"c":"0"},"na":"Lori Lorigo"},{"@attributes":{"c":"1"},"na":"Tsai-Ching Lu"},{"@attributes":{"c":"0"},"na":"Stefan Mitsch"},{"@attributes":{"c":"1"},"na":"Connie Ni"},{"@attributes":{"c":"1"},"na":"Kang-Yu Ni"},{"@attributes":{"c":"0"},"na":"Aleksey Nogin"},{"@attributes":{"c":"1"},"na":"Shane Roach"},{"@attributes":{"c":"0"},"na":"Michael Roberts"},{"@attributes":{"c":"0"},"na":"Stephan Schmitt"},{"@attributes":{"c":"0","n":"2"},"na":["Chris R. Serrano","Christopher R. Serrano"]},{"@attributes":{"c":"1"},"na":"Hanghang Tong"},{"@attributes":{"c":"0"},"na":"Michael A. Warren"},{"@attributes":{"c":"0"},"na":"Carl Witty"},{"@attributes":{"c":"1"},"na":"Jun Wu 0019"},{"@attributes":{"c":"1"},"na":"Jiejun Xu"},{"@attributes":{"c":"0"},"na":"Kenji Yamada"},{"@attributes":{"c":"1"},"na":"Yuchen Yan"},{"@attributes":{"c":"0"},"na":"Xin Yu 0013"},{"@attributes":{"c":"1"},"na":"Si Zhang"},{"@attributes":{"c":"1"},"na":"Dawei Zhou 0003"}]}}