default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation and Computation, Volume 281
Volume 281, December 2021
- Francesco Carravetta, Langford B. White:
Syntactic stochastic processes: Definitions, models, and related inference problems. 104667 - Sanjay Jain
, Frank Stephan, Thomas Zeugmann:
On the amount of nonconstructivity in learning formal languages from text. 104668 - Florent Becker, Pedro Montealegre, Ivan Rapaport, Ioan Todinca:
The role of randomness in the broadcast congested clique model. 104669
- Jorge A. Pérez, Simone Tini:
Preface to Special Issue: EXPRESS/SOS 2018. 104670
- Yong Li, Yu-Fang Chen, Lijun Zhang, Depeng Liu:
A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. 104678 - Bosheng Song, Linqiang Pan:
Rule synchronization for tissue P systems. 104685 - Tomislav Petrovic:
A universal pair of 1/2-betting strategies. 104703 - Adrian Francalanza:
A theory of monitors. 104704 - Andrzej Pelc, Ram Narayan Yadav:
Advice complexity of treasure hunt in geometric terrains. 104705 - Rob van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann:
Abstract processes and conflicts in place/transition systems. 104706 - Marek Chrobak, Mordecai J. Golin, J. Ian Munro, Neal E. Young:
On the cost of unsuccessful searches in search trees with two-way comparisons. 104707 - Qilong Feng, Shaohua Li, Xiangzhong Meng, Jianxin Wang:
An improved FPT algorithm for the flip distance problem. 104708 - Paul C. Bell, Igor Potapov, Pavel Semukhin:
On the mortality problem: From multiplicative matrix equations to linear recurrence sequences and beyond. 104736 - Felix Höhne, Rob van Stee:
Allocating contiguous blocks of indivisible chores fairly. 104739 - Liang Feng Zhang:
Multi-server verifiable delegation of computations: Unconditional security and practical efficiency. 104740 - Francesco Cellinese, Gianlorenzo D'Angelo, Gianpiero Monaco, Yllka Velaj:
Generalized budgeted submodular set function maximization. 104741 - Elena Zamaraeva, Jovisa D. Zunic:
Asymptotics of the number of 2-threshold functions. 104742 - Xingwu Liu, Xin Han, Liang Zhao, Zhishan Guo:
Narrowing the speedup factor gap of partitioned EDF. 104743 - Albert Garreta, Robert D. Gray:
On equations and first-order theory of one-relator monoids. 104745 - Jack H. Lutz, Elvira Mayordomo:
Computing absolutely normal numbers in nearly linear time. 104746 - Alexander Rabinovich, Doron Tiferet:
On degrees of ambiguity for Büchi tree automata. 104750 - Bosheng Song, Shengye Huang, Xiangxiang Zeng:
The computational power of monodirectional tissue P systems with symport rules. 104751 - Eric Goles, Diego Maldonado, Pedro Montealegre, Martín Ríos-Wilson:
On the complexity of asynchronous freezing cellular automata. 104764
- Frederic Dörband:
Kleene and Büchi theorems for weighted forest languages over M-monoids. 104765
- Francis George C. Cabarle, Xiangxiang Zeng, Niall Murphy, Tao Song, Alfonso Rodríguez-Patón, Xiangrong Liu:
Neural-like P systems with plasmids. 104766 - Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi:
Bialgebraic foundations for the operational semantics of string diagrams. 104767 - Marek Chrobak, Kevin P. Costello, Leszek Gasieniec:
Information gathering in ad-hoc radio networks. 104769 - Paolo Baldan, Andrea Corradini, Fabio Gadducci:
Concurrent semantics for fusions: Weak prime domains and connected event structures. 104770 - Ning Ding, Dawu Gu:
New cryptographic hardness for learning intersections of halfspaces over boolean cubes with membership queries. 104771 - Lane A. Hemaspaandra, David E. Narváez:
The opacity of backbones. 104772
- Guido Sciavicco, Matteo Zavatteri, Tiziano Villa:
Mining CSTNUDs significant for a set of traces is polynomial. 104773
- Richard Mörbitz, Heiko Vogler:
Weighted parsing for grammar-based language models over multioperator monoids. 104774
- Guohui Lin, Weitian Tong:
An improved approximation algorithm for the minimum common integer partition problem. 104784 - Sang-Ki Ko, Reino Niskanen, Igor Potapov:
Reachability problems in low-dimensional nondeterministic polynomial maps over integers. 104785 - Tingting Bao, Nan Zhou, Hong Peng, Qian Yang, Jun Wang:
Computational completeness of sequential spiking neural P systems with inhibitory rules. 104786
- Michael Sioutis, Diedrich Wolter:
Dynamic branching in qualitative constraint-based reasoning via counting local models. 104787
- Denis Repin, Tatjana Petrov:
Automated deep abstractions for stochastic chemical reaction networks. 104788
- Nan Zhou, Qian Yang, Hong Peng, Jun Wang, Xiaohui Luo:
Nonlinear neural P systems for generating string languages. 104789 - Zekun Ye, Yunqi Huang, Lvzhou Li, Yuyi Wang:
Query complexity of generalized Simon's problem. 104790 - Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni:
Completeness of string analysis for dynamic languages. 104791
- Marco Franceschetti, Johann Eder:
Determining temporal agreements in cross-organizational business processes. 104792 - Zehui Cheng, Phokion G. Kolaitis:
Universal solutions for temporal data exchange. 104793
- Orr Dunkelman, Senyang Huang, Eran Lambooij, Stav Perle:
Biased differential distinguisher - Cryptanalysis of reduced-round SKINNY. 104796
- Alexander A. Rubtsov, Mikhail N. Vyalyi:
On computational complexity of set automata. 104797
- Lucrezia Patruno, Francesco Craighero, Davide Maspero, Alex Graudenzi, Chiara Damiani:
Combining multi-target regression deep neural networks and kinetic modeling to predict relative fluxes in reaction systems. 104798
- Nir Drucker, Shay Gueron, Dusan Kostic:
Fast polynomial inversion for post quantum QC-MDPC cryptography. 104799
- Florian Bruse, Martin Lange:
Temporal logic with recursion. 104804
- Monika Henzinger, Pan Peng:
Constant-time dynamic weight approximation for minimum spanning forest. 104805
- Aurélie Suzanne, Guillaume Raschia, José Martinez, Damien Tassetti:
Slicing techniques for temporal aggregation in spanning event streams. 104807
- Ahad N. Zehmakan:
On the spread of influence in graphs. 104808
- Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani:
Branching interval algebra: An almost complete picture. 104809
- Jürgen Dassow:
Some remarks on the orbit of closure-involution operations on languages. 104811 - Ignasi Sau, Uéverton dos Santos Souza:
Hitting forbidden induced subgraphs on bounded treewidth graphs. 104812 - Bruno Guillon, Martin Kutrib, Andreas Malcher, Luca Prigioniero:
Reversible pushdown transducers. 104813
- Luisa Herrmann:
Linear weighted tree automata with storage and inverse linear tree homomorphisms. 104816
- Yong He, Xueping Chen, Gang Li, Shiyuan Sun:
Extremal synchronizing circular automata. 104817 - Jarno Alanko, Giovanna D'Agostino, Alberto Policriti, Nicola Prezza:
Wheeler languages. 104820
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-10-31 20:04 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:
