![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Information 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.