Information and Computation

Article	Citations
Succinctness issues for LTL and safety and cosafety fragments of LTL	28
A computable and compositional semantics for hybrid systems	17
Converting nondeterministic two-way automata into small deterministic linear-time machines	16
Unambiguous injective morphisms in free groups	16
On the transformation of two-way finite automata to unambiguous finite automata	13
Hierarchical identification of nonlinear hybrid systems in a Bayesian framework	13
Special issue of SSS 2020	12
Special Issue on 13th International Conference on Security and Cryptography for Networks (SCN 2022)	10
Efficient and competitive broadcast in multi-channel radio networks	10
Combinatory categorial grammars as generators of weighted forests	9
Monomial Boolean functions with large high-order nonlinearities	9
Extending the reach of the point-to-set principle	8
Algorithmic aspects of secure domination in unit disk graphs	8
Pspace-completeness of the temporal logic of sub-intervals and suffixes	8
Towards a proof theory for quantifier macros	7
26th Workshop on Logic, Language, Information and Computation – WoLLIC 2019	7
Editorial Board	7
New cryptographic hardness for learning intersections of halfspaces over boolean cubes with membership queries	6
Lifting proofs from countable to uncountable mathematics	6
On fast pattern formation by autonomous robots	6
On the complexity of asynchronous freezing cellular automata	6
Slowly synchronizing automata with fixed alphabet size	6
Special Issue: Selected papers of the 12th International Conference on Language and Automata Theory and Applications, LATA 2018	6
A universal algorithm for Krull's theorem	6
An improved FPT algorithm for the flip distance problem	6

Automatic winning shifts	5
Selected papers from CSCML 2020, the 4th International Symposium on Cyber Security Cryptology and Machine Learning	5
Editorial Board	5
Mining CSTNUDs significant for a set of traces is polynomial	5
Geometric bounds for convergence rates of averaging algorithms	5
Editorial Board	5
Universal solutions for temporal data exchange	5
Special Issue - Selected Papers from the 26th International Symposium on Temporal Representation and Reasoning	5
An auxiliary logic on trees: On the tower-hardness of logics featuring reachability and submodel reasoning	5
Causal computational complexity of distributed processes	5
Constant-time dynamic weight approximation for minimum spanning forest	5
Improving convergence and practicality of slide-type reductions	4
On quotients of formal power series	4
Functionality of compositions of top-down tree transducers is decidable	4
Editorial Board	4
Model checking timed recursive CTL	4
Extremal synchronizing circular automata	4
Polynomial interrupt timed automata: Verification and expressiveness	4
Editorial Board	4
Dynamics of reputation in mobile agents systems and weighted timed automata	4
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past	4
Compact representation of graphs with bounded bandwidth or treedepth	4
Safe dependency atoms and possibility operators in team semantics	4
On Boolean threshold functions with minimum specification number	4
Robust, expressive, and quantitative linear temporal logics: Pick any two for free	4
Bayesian definition of random sequences with respect to conditional probabilities	3
Traceable constant-size multi-authority credentials	3
Multivariate to bivariate reduction for noncommutative polynomial factorization	3
Wheeler languages	3
On the decidability of the valuedness problem for two-way finite transducers	3
On linear languages recognized by deterministic biautomata	3
Probabilistic automata of bounded ambiguity	3
Maximal diameter of integral circulant graphs	3
Zeroing neural network based on the equation AXA = A	3
Enumeration of two dimensional palindromes	3
The ideal view on Rackoff's coverability technique	3
One-variable fragments of intermediate logics over linear frames	3
Automated deep abstractions for stochastic chemical reaction networks	3
Scooby: Improved multi-party homomorphic secret sharing based on FHE	3
Modification problems toward proper (Helly) circular-arc graphs	3
Satisfiability checking for Mission-time LTL (MLTL)	3
Nonlinear neural P systems for generating string languages	3
Editorial Board	3
Survey on mining signal temporal logic specifications	3
Rational weighted tree languages with storage	3
Entropic risk for turn-based stochastic games	3
Optimizing reachability sets in temporal graphs by delaying	3
Combining multi-target regression deep neural networks and kinetic modeling to predict relative fluxes in reaction systems	3
Comparison of algorithms for simple stochastic games	3
Parameterized problems complete for nondeterministic FPT time and logarithmic space	3

Decisiveness of stochastic systems and its application to hybrid models	3
Symbolic computation in algebra, geometry, and differential equations	3
Editorial Board	3
Learning Mealy machines with one timer	2
Load balanced distributed directories	2
r-indexing the eBWT	2
Topological mixing notions on Turing machine dynamical systems	2
Editorial Board	2
Special Issue: Selected papers of the 14th International Conference on Language and Automata Theory and Applications, LATA 2020	2
Specification and optimal reactive synthesis of run-time enforcement shields	2
On divergence-sensitive weak probabilistic bisimilarity	2
Branching interval algebra: An almost complete picture	2
Complexity of C-coloring in hereditary classes of graphs	2
Efficient pattern matching in elastic-degenerate strings	2
Completeness of string analysis for dynamic languages	2
Removing redundant refusals: Minimal complete test suites for failure trace semantics	2
Learning residual alternating automata	2
Pathwise-randomness and models of second-order arithmetic	2
Growth and irreducibility in path-incompressible trees	2
Variable-length codes independent or closed with respect to edit relations	2
On the complexity of decision problems for some classes of machines and applications	2
Preface	2
Preface to Special Issue for DCC 2020	2
The bang calculus revisited	2
Regular ω-languages with an informative right congruence	2
Efficient construction of the BWT for repetitive text using string compression	2
Abstract processes in the absence of conflicts in general place/transition systems	2
Weighted operator precedence languages	2
Automatic pre- and postconditions for partial differential equations	2
State complexity of transforming graph-walking automata to halting, returning and reversible	2
Characterizing contrasimilarity through games, modal logic, and complexity	2
Non-normal modal logics and conditional logics: Semantic analysis and proof theory	2
Online search with a hint	2
Determining temporal agreements in cross-organizational business processes	2
Dynamic branching in qualitative constraint-based reasoning via counting local models	2
QCTL model-checking with 2
Relative approximate bisimulations for fuzzy picture automata	2
Bialgebraic foundations for the operational semantics of string diagrams	2
Store-collect in the presence of continuous churn with application to snapshots and lattice agreement	2
Building a small and informative phylogenetic supertree	2
Fixed-parameter algorithms for Fair Hitting Set problems	2
Context-free timed formalisms: Robust automata and linear temporal logics	2
The complexity of subcube partition relates to the additive structure of the support	2
Eilenberg's variety theorem without Boolean operations	2
A derivational model of discontinuous parsing	2
Narrowing the speedup factor gap of partitioned EDF	2
Bideterministic weighted automata	2
Compact representations of spatial hierarchical structures with support for topological queries	2
Predictive mining of multi-temporal relations	2
Deterministic size discovery and topology recognition in radio networks with short labels	2
Integrated encryption in dynamic arithmetic compression	2
Special issue: Selected papers of the 13th International Conference on Language and Automata Theory and Applications, LATA 2019	2
Neural-like P systems with plasmids	2
Reachability games with relaxed energy constraints	2
Rule synchronization for monodirectional tissue-like P systems with channel states	2
Information gathering in ad-hoc radio networks	2
Cayley polynomial–time computable groups	2
Topologies for error-detecting variable-length codes	2
A combinatorial characterization of self-stabilizing population protocols	2
Binary and circular automata having maximal state complexity for the set of synchronizing words	2
On continued fraction randomness and normality	2
Weight-reducing Turing machines	1
Sensitivity of string compressors and repetitiveness measures	1
Parameterized verification of coverability in infinite state broadcast networks	1
Atomic cross-chain swaps with improved space, time and local time complexities	1
Secretive interaction	1
Complexity of the emptiness problem for graph-walking automata and for tilings with star subgraphs	1
On the cost of unsuccessful searches in search trees with two-way comparisons	1
Further improvements for SAT in terms of formula length	1
Exploring sparse graphs with advice	1
On prime scenarios in qualitative spatial and temporal reasoning	1
Editorial Board	1
Software science view on quantum circuit algorithms	1
Distributed computability: Relating k-immediate snapshot and x-set agreement	1
Consensus string problem for multiple regular languages	1
On the Weisfeiler-Leman dimension of fractional packing	1
The emptiness problem for valence automata over graph monoids	1
Unifying lower bounds for algebraic machines, semantically	1
Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol	1
Descriptional Complexity of Formal Systems (DCFS 2019)	1

Succinct data structure for path graphs	1
Behavioural strategies in weighted Boolean games	1
A simplicial complex model for dynamic epistemic logic to study distributed task computability	1
Slicing techniques for temporal aggregation in spanning event streams	1
Think globally, act locally: On the optimal seeding for nonsubmodular influence maximization	1
Different strokes in randomised strategies: Revisiting Kuhn's theorem under finite-memory assumptions	1
Combination of roots and boolean operations: An application to state complexity	1
Descriptional complexity of iterated uniform finite-state transducers	1
Asymptotic elimination of partially continuous aggregation functions in directed graphical models	1
Parameter synthesis of polynomial dynamical systems	1
Exorcising the phantom zone	1
On degrees of ambiguity for Büchi tree automata	1
New characterizations of exponential, elementary, and non-elementary time-bounded Turing machines	1
On the codewords of generalized Reed-Muller codes reaching the fourth weight	1
Are bundles good deals for first-order modal logic?	1
Editorial Board	1
On the mortality problem: From multiplicative matrix equations to linear recurrence sequences and beyond	1
Editorial Board	1
Approximate minimization of weighted tree automata	1
Linear-time parameterized algorithms with limited local resources	1
Being an influencer is hard: The complexity of influence maximization in temporal graphs with a fixed source	1
Efficient representation and counting of antipower factors in words	1
Polymorphic lambda calculus with context-free session types	1
Nonuniform families of polynomial-size quantum finite automata and quantum logarithmic-space computation with polynomial-size advice	1
Advice complexity of treasure hunt in geometric terrains	1
Transduction from trees to graphs through folding	1
Reachability problems in low-dimensional nondeterministic polynomial maps over integers	1
Transformation of variants of Petri nets into context-dependent fusion grammars	1
Equilibria in multi-player multi-outcome infinite sequential games	1
Operational union-complexity	1
On tightness of Tsaknakis-Spirakis descent methods for approximate Nash equilibria	1
Temporal logic with recursion	1
Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games	1
Bounded game-theoretic semantics for modal mu-calculus	1
Order-preserving pattern matching indeterminate strings	1
How does adiabatic quantum computation fit into quantum automata theory?	1
Characterising spectra of equivalences for event structures, logically	1
Special issue: Formal verification of cyber-physical systems	1
Detecting arrays for effects of multiple interacting factors	1
Asymptotics of the number of 2-threshold functions	1
Effective notions of weak convergence of measures on the real line	1
To be announced	1
Hennessy-Milner properties via topological compactness	1
On the power of finite ambiguity in Büchi complementation	1
Learning half-spaces on general infinite spaces equipped with a distance function	1
Subject-oriented spatial logic	1
Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs	1
Tasks in modular proofs of concurrent algorithms	1
Usefulness of information and decomposability of unary regular languages	1
Default logic and bounded treewidth	1
Temporal logics with language parameters	1
On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning	1
An improved approximation algorithm for the minimum common integer partition problem	1
On equations and first-order theory of one-relator monoids	1
Optimal in-place suffix sorting	1
Weighted automata and logics meet computational complexity	1
A new framework for deniable secure key exchange	1
The membership problem for subsemigroups of GL<	1
Principal abstract families of weighted tree languages	1
Attacking (EC)DSA with partially known multiples of nonces	1
Reversible pushdown transducers	1
Fast synchronization of inhomogenous random automata	1
Location automata for regular expressions with shuffle and intersection	1
A truthful near-optimal mechanism for online linear packing-covering problem in the random order model	1
Editorial Board	1
On the computational completeness of matrix simple semi-conditional grammars	1
Formal verification for event stream processing: Model checking of BeepBeep stream processing pipelines	1
Exact bounds for acyclic higher-order recursion schemes	1
Complexity thresholds in inclusion logic	1
Constant-space, constant-randomness verifiers with arbitrarily small error	1
Model checking hyperproperties for Markov decision processes	0
Deterministic algorithms for the hidden subgroup problem	0
Solving modular cubic equations with Coppersmith's method	0
Asymptotically optimal synthesis of reversible circuits	0
A new class of string transformations for compressed text indexing	0
A probabilistic calculus of cyber-physical systems	0
Trading information complexity for error II: The case of a large error and the external information complexity	0
Preface	0
Editorial Board	0
Distributed localization of wireless sensor network using communication wheel	0
Synthesis in presence of dynamic links	0
Regular matching and inclusion on compressed tree patterns with constrained context variables	0
State complexity bounds for projection, shuffle, up- and downward closure and interior on commutative regular languages	0
Neural-symbolic temporal decision trees for multivariate time series classification	0
To drive or not to drive: A logical and computational analysis of European transport regulations	0
State complexity of GF(2)-operations on unary languages	0
Structural properties of NFAs and growth rates of nondeterminism measures	0
Encoding inductive invariants as barrier certificates: Synthesis via difference-of-convex programming	0
Editorial Board	0
Nearest neighbor representations of Boolean functions	0
Perspective on complexity measures targeting read-once branching programs	0
Multi random projection inner product encryption, applications to proximity searchable encryption for the iris biometric	0
Choosing the right algorithm with hints from complexity theory	0
On parallelisms of PG(3,4) with automorphisms of order 2	0
Synchronous t-resilient consensus in arbitrary graphs	0