Information and Computation

Article	Citations
Editorial Board	28
26th Workshop on Logic, Language, Information and Computation – WoLLIC 2019	24
Slowly synchronizing automata with fixed alphabet size	17
Special Issue: Selected papers of the 12th International Conference on Language and Automata Theory and Applications, LATA 2018	16
Zeroing neural network based on the equation AXA = A	15
Nondeterminism and the clique problem	13
On Boolean threshold functions with minimum specification number	13
Constant-time dynamic weight approximation for minimum spanning forest	13
On quotients of formal power series	12
Parameterized problems complete for nondeterministic FPT time and logarithmic space	12
Scooby: Improved multi-party homomorphic secret sharing based on FHE	12
On the decidability of the valuedness problem for two-way finite transducers	12
A computable and compositional semantics for hybrid systems	10
Extending the reach of the point-to-set principle	10
Survey on mining signal temporal logic specifications	10
Satisfiability checking for Mission-time LTL (MLTL)	10
Weighted automata and logics meet computational complexity	9
Geometric bounds for convergence rates of averaging algorithms	9
Editorial Board	8
On the complexity of decision problems for some classes of machines and applications	8
Store-collect in the presence of continuous churn with application to snapshots and lattice agreement	8
r-indexing the eBWT	8
The membership problem for subsemigroups of GL<	7
Preface	7
Completeness of string analysis for dynamic languages	7

Determining temporal agreements in cross-organizational business processes	7
Automatic pre- and postconditions for partial differential equations	6
Descriptional Complexity of Formal Systems (DCFS 2019)	6
Complexity thresholds in inclusion logic	6
Effective notions of weak convergence of measures on the real line	6
Topological mixing notions on Turing machine dynamical systems	6
Narrowing the speedup factor gap of partitioned EDF	6
Asymptotics of the number of 2-threshold functions	6
Eilenberg's variety theorem without Boolean operations	6
Slicing techniques for temporal aggregation in spanning event streams	6
Nonuniform families of polynomial-size quantum finite automata and quantum logarithmic-space computation with polynomial-size advice	5
Reversible pushdown transducers	5
Syntactic stochastic processes: Definitions, models, and related inference problems	5
Atomic cross-chain swaps with improved space, time and local time complexities	5
Are bundles good deals for first-order modal logic?	5
Default logic and bounded treewidth	5
Secretive interaction	5
Finite-word hyperlanguages	5
Context-sensitive fusion grammars and fusion grammars with forbidden context are universal	5
A new framework for deniable secure key exchange	5
On the mortality problem: From multiplicative matrix equations to linear recurrence sequences and beyond	5
Being an influencer is hard: The complexity of influence maximization in temporal graphs with a fixed source	5
Approximating the directed path partition problem	5
On the amount of nonconstructivity in learning formal languages from text	5
Modelling mutual exclusion in a process algebra with time-outs	4
On regular trees defined from unfoldings and coverings	4
A probabilistic calculus of cyber-physical systems	4
Multi random projection inner product encryption, applications to proximity searchable encryption for the iris biometric	4
Editorial Board	4
Pushdown and Lempel-Ziv depth	4
Weighted propositional configuration logics: A specification language for architectures with quantitative features	4
The computational properties of P systems with mutative membrane structures	4
Isomorphism testing of read-once functions and polynomials	4
On the computational power of energy-constrained mobile robots	4
A faster algorithm for converting simple temporal networks with uncertainty into dispatchable form	4
Complexity of manipulation and bribery in premise-based judgment aggregation with simple formulas	4
On enumerating algorithms of novel multiple leaf-distance granular regular α-subtrees of trees	4
Constructing and indexing the bijective and extended Burrows–Wheeler transform	4
Biased differential distinguisher – Cryptanalysis of reduced-round SKINNY	4
State complexity bounds for projection, shuffle, up- and downward closure and interior on commutative regular languages	4
Complexity of automatic sequences	4
On computational complexity of set automata	4
Editorial Board	4
Query complexity of generalized Simon's problem	4
Multi-server verifiable delegation of computations: Unconditional security and practical efficiency	4
On the data persistency of replicated erasure codes in distributed storage systems	4
Solving mean-payoff games via quasi dominions	3
Model checking timed recursive CTL	3
Building a small and informative phylogenetic supertree	3
On linear languages recognized by deterministic biautomata	3

A derivational model of discontinuous parsing	3
Editorial Board	3
Load balanced distributed directories	3
A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces	3
On continued fraction randomness and normality	3
Fairness and communication-based semantics for session-typed languages	3
Unambiguous injective morphisms in free groups	3
Towards a proof theory for quantifier macros	3
Editorial Board	3
Editorial Board	3
Robust, expressive, and quantitative linear temporal logics: Pick any two for free	3
What's decidable about weighted automata?	3
Binary and circular automata having maximal state complexity for the set of synchronizing words	3
Randomness and uniform distribution modulo one	3
Topologies for error-detecting variable-length codes	3
Blazing a trail via matrix multiplications: A faster algorithm for non-shortest induced paths	3
Optimizing reachability sets in temporal graphs by delaying	3
A parallel algorithm for counting parse trees	3
Monomial Boolean functions with large high-order nonlinearities	3
The geometry of reachability in continuous vector addition systems with states	3
Projection theorems using effective dimension	3
Succinctness issues for LTL and safety and cosafety fragments of LTL	3
Preface to “Computation over Compressed Data” at DCC 2022	3
Rational weighted tree languages with storage	3
Structural properties of NFAs and growth rates of nondeterminism measures	3
Compact representations of spatial hierarchical structures with support for topological queries	3
Constrained existence problem for weak subgame perfect equilibria with ω-regular Boolean objectives	3
Probabilistic input-driven pushdown automata	3
Synchronizing deterministic push-down automata can be really hard	3
Universal solutions for temporal data exchange	3
Efficient and competitive broadcast in multi-channel radio networks	3
Neural-like P systems with plasmids	2
Beyond PCSP(1-in-3,NAE)	2
Generalising the maximum independent set algorithm via Boolean networks	2
A decidable and expressive fragment of Many-Sorted First-Order Linear Temporal Logic	2
Chained time lock puzzle with small puzzle size	2
The generalized constrained longest common subsequence in the run-length encoded format	2
Special issue: Formal verification of cyber-physical systems	2
Computing maximal palindromes in non-standard matching models	2
Editorial Board	2
Computing absolutely normal numbers in nearly linear time	2
Transduction from trees to graphs through folding	2
Randomness below complete theories of arithmetic	2
Bialgebraic foundations for the operational semantics of string diagrams	2
The tail-recursive fragment of timed recursive CTL	2
QCTL model-checking with 2
Incentive ratio: A game theoretical analysis of market equilibria	2
Information gathering in ad-hoc radio networks	2
Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way	2
Weighted operator precedence languages	2
Usefulness of information and decomposability of unary regular languages	2
Parameterized complexity of stable roommates with ties and incomplete lists through the lens of graph parameters	2
Total (restrained) domination in unit disk graphs	2
Hennessy-Milner properties via topological compactness	2
To drive or not to drive: A logical and computational analysis of European transport regulations	2
Characterising spectra of equivalences for event structures, logically	2
Achieving sequenced SQL with log-segmented timestamps	2
A simplicial complex model for dynamic epistemic logic to study distributed task computability	2
Noisy beeping networks	2
Formal verification for event stream processing: Model checking of BeepBeep stream processing pipelines	2
A self-stabilizing Hashed Patricia Trie	2
Exorcising the phantom zone	2
Intensional Kleene and Rice theorems for abstract program semantics	2
Efficient pattern matching in elastic-degenerate strings	2
Learnability and positive equivalence relations	2
Reachability games with relaxed energy constraints	2
Cayley polynomial–time computable groups	2
Deterministic quantum search with adjustable parameters: Implementations and applications	2
Model checking hyperproperties for Markov decision processes	2
Formal languages over GF(2)	2
Optimal in-place suffix sorting	2
Measuring the expressive power of practical regular expressions by classical stacking automata models	2
Order-preserving pattern matching indeterminate strings	2
Exploiting social influence to control elections based on positional scoring rules	2
Editorial Board	2
A periodicity lemma for partial words	2
New characterizations of exponential, elementary, and non-elementary time-bounded Turing machines	2
Timed network games	2
Efficient construction of the BWT for repetitive text using string compression	2
Exchange of indivisible goods under matroid constraints	2

The complexity of subcube partition relates to the additive structure of the support	2
Abstract processes and conflicts in place/transition systems	2