( en | de | ru )

 

Disambiguation of "Kopylov, Alexei"

Author of the publication

copydeleteadd this publication to your clipboard
Characterizing Disease Spreading via Visibility Graph Embedding.

, , , , and . IEEE BigData, page 2656-2661. IEEE, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Alexei Gratchev

Alexei Savtchkov

Alexei Strelchenko

Alexei Lazoutine

Alexei Dörre

 

Other publications of authors with the same name

Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection., , , and . ICFP, page 172-183. ACM, (2006)Filtering Strategies for Inexact Subgraph Matching on Noisy Multiplex Networks., and . IEEE BigData, page 4906-4912. IEEE, (2019)Practical Reflection for Sequent Logics., , , and . LFMTP@FLoC, volume 174 of Electronic Notes in Theoretical Computer Science, page 79-94. Elsevier, (2006)A computational approach to reflective meta-reasoning about languages with bindings., , , and . MERLIN, page 2-12. ACM, (2005)Formalizing Type Operations Using the "Image" Type Constructor., and . WoLLIC, volume 165 of Electronic Notes in Theoretical Computer Science, page 121-132. Elsevier, (2006)Markov's Principle for Propositional Type Theory., and . CSL, volume 2142 of Lecture Notes in Computer Science, page 570-584. Springer, (2001)MetaPRL - A Modular Logical Environment., , , , , , , , , and 5 other author(s). TPHOLs, volume 2758 of Lecture Notes in Computer Science, page 287-303. Springer, (2003)CANON: Complex Analytics of Network of Networks for Modeling Adversarial Activities., , , , , , , , , and 3 other author(s). IEEE BigData, page 1634-1643. IEEE, (2020)Semantic Guided Filtering Strategy for Best-effort Subgraph Matching in Knowledge Graphs., , , , and . IEEE BigData, page 2539-2545. IEEE, (2020)Type Theoretical Foundations for Data Structures, Classes, and Objects.. Cornell University, USA, (2004)