


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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.