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
Faster repetition-aware compressed suffix trees based on Block Trees. 104749 - Kazuya Tsuruta, Dominik Köppl
c-trie++: A dynamic trie tailored for fast prefix searches. 104794 - Uwe Baier, Thomas Büchler
Edge minimization in de Bruijn graphs. 104795
- Loïc Hélouët
Reachability games with relaxed energy constraints. 104806 - Daniel Neider
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
Optimal in-place suffix sorting. 104818
- Viorel Preoteasa, Iulia Dragomir
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
Randomness and uniform distribution modulo one. 104857
- Léo Robert, Daiki Miyahara
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
A practical succinct dynamic graph representation. 104862
- Kalpana Mahalingam, Anuran Maity
Counting (Watson-Crick) palindromes in Watson-Crick conjugates. 104863 - Wei Chen
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
A new framework for deniable secure key exchange. 104866
- Shahin Kamali
Compact representation of graphs with bounded bandwidth or treedepth. 104867
- Hagit Attiya
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
Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata. 104871 - Yongming 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
A discrete and continuous study of the Max-Chain-Formation problem. 104877
- Péter Hajnal
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
Automatic winning shifts. 104883 - Golnaz Badkobeh
Linear construction of a left Lyndon tree. 104884 - Julia Eisentraut
Value iteration for simple stochastic games: Stopping criterion and learning algorithm. 104886
- Paolo Baldan
Characterising spectra of equivalences for event structures, logically. 104887
- Argyrios Deligkas
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
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
Posets with interfaces as a model for concurrency. 104914
- Rodrigo Torres-Avilés
Topological mixing notions on Turing machine dynamical systems. 104915 - Grant Schoenebeck
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.
last updated on 2024-12-16 22:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: