| 104695 | -- | 0 | Keisuke Doi, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita. Search by a metamorphic robotic system in a finite 2D square Grid |
| 104696 | -- | 0 | Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani. An efficient approach to achieve compositionality using optimized multi-version object based transactional systems |
| 104697 | -- | 0 | Till Knollmann, Christian Scheideler. A self-stabilizing Hashed Patricia Trie |
| 104698 | -- | 0 | Othon Michail, Paul G. Spirakis, Michail Theofilatos. Simple and fast approximate counting and leader election in populations |
| 104699 | -- | 0 | Ramachandran Vaidyanathan, Gokarna Sharma, Jerry L. Trahan. On fast pattern formation by autonomous robots |
| 104700 | -- | 0 | Shishir Rai, Gokarna Sharma, Costas Busch, Maurice Herlihy. Load balanced distributed directories |
| 104701 | -- | 0 | Rida A. Bazzi, Maurice Herlihy. Clairvoyant state machine replication |
| 104702 | -- | 0 | Fukuhito Ooshita, Sébastien Tixeuil. Ring exploration with myopic luminous robots |
| 104749 | -- | 0 | Manuel Cáceres, Gonzalo Navarro. Faster repetition-aware compressed suffix trees based on Block Trees |
| 104794 | -- | 0 | Kazuya Tsuruta, Dominik Köppl, Shunsuke Kanda, Yuto Nakashima, Shunsuke Inenaga, Hideo Bannai, Masayuki Takeda. c-trie++: A dynamic trie tailored for fast prefix searches |
| 104795 | -- | 0 | Uwe Baier, Thomas Büchler, Enno Ohlebusch, Pascal Weber 0001. Edge minimization in de Bruijn graphs |
| 104806 | -- | 0 | Loïc Hélouët, Nicolas Markey, Ritam Raha. Reachability games with relaxed energy constraints |
| 104810 | -- | 0 | Daniel Neider, Alexander Weinert, Martin Zimmermann 0002. Robust, expressive, and quantitative linear temporal logics: Pick any two for free |
| 104815 | -- | 0 | Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal. x-set agreement |
| 104818 | -- | 0 | Zhize Li, Jian Li, Hongwei Huo. Optimal in-place suffix sorting |
| 104819 | -- | 0 | Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis. The refinement calculus of reactive systems |
| 104828 | -- | 0 | Chris Heunen, Aleks Kissinger. The CBH characterisation theorem beyond algebraic quantum theory |
| 104829 | -- | 0 | Shaan Mathur, Rafail Ostrovsky. A combinatorial characterization of self-stabilizing population protocols |
| 104857 | -- | 0 | Verónica Becher, Serge Grigorieff. Randomness and uniform distribution modulo one |
| 104858 | -- | 0 | Léo Robert, Daiki Miyahara, Pascal Lafourcade 0001, Luc Libralesso, Takaaki Mizuki. Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle |
| 104859 | -- | 0 | Takaaki Nishimoto, Yasuo Tabei. LZRR: LZ77 parsing with right reference |
| 104860 | -- | 0 | Michele Boreale. Automatic pre- and postconditions for partial differential equations |
| 104862 | -- | 0 | Miguel E. Coimbra, Joana Hrotkó, Alexandre P. Francisco, Luís M. S. Russo, Guillermo de Bernardo, Susana Ladra, Gonzalo Navarro. A practical succinct dynamic graph representation |
| 104863 | -- | 0 | Kalpana Mahalingam, Anuran Maity, Palak Pandoh. Counting (Watson-Crick) palindromes in Watson-Crick conjugates |
| 104864 | -- | 0 | Wei Chen, Qiang Li, Xiaohan Shan, Xiaoming Sun, Jialin Zhang 0001. Higher order monotonicity and submodularity of influence in social networks: From local to global |
| 104865 | -- | 0 | Paritosh K. Pandya, Amol Wakankar. Specification and optimal reactive synthesis of run-time enforcement shields |
| 104866 | -- | 0 | Shaoquan Jiang, Yeow Meng Chee, San Ling, Huaxiong Wang, Chaoping Xing. A new framework for deniable secure key exchange |
| 104867 | -- | 0 | Shahin Kamali. Compact representation of graphs with bounded bandwidth or treedepth |
| 104869 | -- | 0 | Hagit Attiya, Sweta Kumari, Archit Somani, Jennifer L. Welch. Store-collect in the presence of continuous churn with application to snapshots and lattice agreement |
| 104870 | -- | 0 | Di-De Yen, Hsu-Chun Yen. On the decidability of the valuedness problem for two-way finite transducers |
| 104871 | -- | 0 | Manfred Droste, Sven Dziadek, Werner Kuich. ω-pushdown automata |
| 104874 | -- | 0 | Yongming Li, Qian Wang, Sanjiang Li. On quotients of formal power series |
| 104875 | -- | 0 | Ning Chen, Xiaotie Deng, Bo Tang, Hongyang R. Zhang, Jie Zhang. Incentive ratio: A game theoretical analysis of market equilibria |
| 104876 | -- | 0 | Satyadev Nandakumar, Prateek Vishnoi. On continued fraction randomness and normality |
| 104877 | -- | 0 | Jannik Castenow, Peter Kling, Till Knollmann, Friedhelm Meyer auf der Heide. A discrete and continuous study of the Max-Chain-Formation problem |
| 104879 | -- | 0 | Péter Hajnal, Zhihao Liu, György Turán. Nearest neighbor representations of Boolean functions |
| 104880 | -- | 0 | Travis Gagie. Preface to Special Issue for DCC 2020 |
| 104881 | -- | 0 | Shlomi Dolev, Matan Liber. Towards self-stabilizing blockchain, reconstructing totally erased blockchain |
| 104883 | -- | 0 | Jarkko Peltomäki, Ville Salo. Automatic winning shifts |
| 104884 | -- | 0 | Golnaz Badkobeh, Maxime Crochemore. Linear construction of a left Lyndon tree |
| 104886 | -- | 0 | Julia Eisentraut, Edon Kelmendi, Jan Kretínský, Maximilian Weininger. Value iteration for simple stochastic games: Stopping criterion and learning algorithm |
| 104887 | -- | 0 | Paolo Baldan, Daniele Gorla, Tommaso Padoan, Ivano Salvo. Characterising spectra of equivalences for event structures, logically |
| 104890 | -- | 0 | Argyrios Deligkas, Igor Potapov. Optimizing reachability sets in temporal graphs by delaying |
| 104892 | -- | 0 | Ryan Kavanagh. Fairness and communication-based semantics for session-typed languages |
| 104894 | -- | 0 | Andreas Galanis, Leslie Ann Goldberg, James Stewart. Fast mixing via polymers for random graphs with unbounded degree |
| 104895 | -- | 0 | Yanyan Li, Bosheng Song, Xiangxiang Zeng. Rule synchronization for monodirectional tissue-like P systems with channel states |
| 104909 | -- | 0 | Bernadette Charron-Bost. Geometric bounds for convergence rates of averaging algorithms |
| 104910 | -- | 0 | Takaaki Mizuki, Yuichi Komano. Information leakage due to operative errors in card-based protocols |
| 104911 | -- | 0 | Alessio Mansutti. An auxiliary logic on trees: On the tower-hardness of logics featuring reachability and submodel reasoning |
| 104914 | -- | 0 | Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski. Posets with interfaces as a model for concurrency |
| 104915 | -- | 0 | Rodrigo Torres-Avilés. Topological mixing notions on Turing machine dynamical systems |
| 104919 | -- | 0 | Grant Schoenebeck, Biaoshuai Tao, Fang-Yi Yu. Think globally, act locally: On the optimal seeding for nonsubmodular influence maximization |
| 104920 | -- | 0 | Xiaotie Deng, Yansong Gao, Jie Zhang 0008. Beyond the worst-case analysis of random priority: Smoothed and average-case approximation ratios in mechanism design |
| 104921 | -- | 0 | B. V. Raghavendra Rao, Jayalal Sarma. Isomorphism testing of read-once functions and polynomials |
| 104927 | -- | 0 | Vladimir Kolesnikov. Selected papers from CSCML 2020, the 4th International Symposium on Cyber Security Cryptology and Machine Learning |