4 papers
VR-Themis: A Scalable Framework for Virtual Reality Application Clone Detection
Gengyang Xu, Hanyang Guo, Hong-Ning Dai +1
Repackaging of mobile applications (aka app cloning) not only threatens the security and privacy of mobile users but also infringes upon the copyright of the original app developer…
Combinatorics in one-based and related structures
Artem Chernikov, Sergei Starchenko
We consider some extremal combinatorial questions for bipartite graphs definable in stable one-based (and related) structures. We show that they satisfy both strong ErdÅs-Hajnal p…
Fractional Helly property and combinatorics of forking in NTP theories
Artem Chernikov, Chuyin Jiang
We investigate the class of FHP theories, i.e. theories of structures in which all definable families of sets satisfy the Fractional Helly Property (and its variants) from combinat…
On n-distality, n-triviality and hypergraph regularity in NIP theories
Artem Chernikov, Francis Westhead
We study Keisler measures in strongly n-distal NIP theories, generalizing some results of Simon and Chernikov-Starchenko for distal theories and addressing some questions of Walker…