Information and Computation

Article	Citations
Cell-like P systems with evolutional symport/antiport rules and membrane creation	46
Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle	19
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination	18
Rule synchronization for tissue P systems	15
Revisiting Deutsch-Jozsa algorithm	14
A probabilistic calculus of cyber-physical systems	12
Neural-like P systems with plasmids	12
Computational fuzzy extractors	12
A theory of monitors	11
Wheeler languages	11
Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary results	10
A simplicial complex model for dynamic epistemic logic to study distributed task computability	9
PPLite: Zero-overhead encoding of NNC polyhedra	9
What's decidable about weighted automata?	9
An efficient eCK secure identity based Two Party Authenticated Key Agreement scheme with security against active adversaries	8
Bounding the dimension of points on a line	8
Reversibility of computations in graph-walking automata	8
The computational power of monodirectional tissue P systems with symport rules	8
SMT-based satisfiability of first-order LTL with event freezing functions and metric operators	8
Arrow update synthesis	7
Polymorphic lambda calculus with context-free session types	7
A parametric framework for reversible π-calculi	7
On enumerating algorithms of novel multiple leaf-distance granular regular α-subtrees of trees	6
Model checking interval temporal logics with regular expressions	6
Learning families of algebraic structures from informant	6

An algebraic geometric approach to Nivat's conjecture	6
Survey on mining signal temporal logic specifications	6
Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way	6
Improved parallel construction of wavelet trees and rank/select structures	6
Reachability of scope-bounded multistack pushdown systems	5
The complexity of the asynchronous prediction of the majority automata	5
Integrated encryption in dynamic arithmetic compression	5
Minimum fill-in: Inapproximability and almost tight lower bounds	5
Presynthesis of bounded choice-free or fork-attribution nets	5
Information leakage due to operative errors in card-based protocols	5
Variable-length codes independent or closed with respect to edit relations	5
Allocating contiguous blocks of indivisible chores fairly	5
Optimal in-place suffix sorting	5
Non-normal modal logics and conditional logics: Semantic analysis and proof theory	5
Distributional formal semantics	4
On the universal steganography of optimal rate	4
Efficient pattern matching in elastic-degenerate strings	4
Comparison of algorithms for simple stochastic games	4
A novel learning algorithm for Büchi automata based on family of DFAs and classification trees	4
Hitting forbidden induced subgraphs on bounded treewidth graphs	4
Posets with interfaces as a model for concurrency	4
Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol	4
Regular ω-languages with an informative right congruence	4
Automated deep abstractions for stochastic chemical reaction networks	4
Fast mixing via polymers for random graphs with unbounded degree	4
Maximum sensitivity to update schedules of elementary cellular automata over infinite configurations	4
Ring exploration with myopic luminous robots	4
Sensitivity of string compressors and repetitiveness measures	4
Rule synchronization for monodirectional tissue-like P systems with channel states	4
Determining temporal agreements in cross-organizational business processes	4
A universal algorithm for Krull's theorem	4
The link-calculus for open multiparty interactions	4
Value iteration for simple stochastic games: Stopping criterion and learning algorithm	4
Beyond #CSP: A dichotomy for counting weighted Eulerian orientations with ARS	3
Polylog depth, highness and lowness for E	3
Weighted propositional configuration logics: A specification language for architectures with quantitative features	3
Multi-server verifiable delegation of computations: Unconditional security and practical efficiency	3
Descriptional complexity of iterated uniform finite-state transducers	3
On equations and first-order theory of one-relator monoids	3
Finite-state strategies in delay games	3
Lifting proofs from countable to uncountable mathematics	3
Fast scalable construction of ([compressed] static | minimal perfect hash) functions	3
Model checking hyperproperties for Markov decision processes	3
Fixing monotone Boolean networks asynchronously	3
Formal languages over GF(2)	3
Advice complexity of treasure hunt in geometric terrains	3
Constant-space, constant-randomness verifiers with arbitrarily small error	3
The emptiness problem for valence automata over graph monoids	3
On the complexity of the stability problem of binary freezing totalistic cellular automata	3
Combining multi-target regression deep neural networks and kinetic modeling to predict relative fluxes in reaction systems	3

Clairvoyant state machine replication	3
Efficient enumeration of three-state two-dimensional number-conserving cellular automata	3
Nondeterministic right one-way jumping finite automata	3
c-trie++: A dynamic trie tailored for fast prefix searches	3
Nonuniform families of polynomial-size quantum finite automata and quantum logarithmic-space computation with polynomial-size advice	3
To be announced	3
Learning Mealy machines with one timer	3
An improved FPT algorithm for the flip distance problem	3
A new foundation for finitary corecursion and iterative algebras	3
Faster repetition-aware compressed suffix trees based on Block Trees	2
On the cost of unsuccessful searches in search trees with two-way comparisons	2
Constant delay traversal of grammar-compressed graphs with bounded rank	2
Binary and circular automata having maximal state complexity for the set of synchronizing words	2
Complexity of automatic sequences	2
Behavioural strategies in weighted Boolean games	2
Team equivalences for finite-state machines with silent moves	2
Completeness of string analysis for dynamic languages	2
Geometric bounds for convergence rates of averaging algorithms	2
Static and dynamic property-preserving updates	2
Online recognition of dictionary with one gap	2
Complexity analysis of a unifying algorithm for model checking interval temporal logic	2
Finite-word hyperlanguages	2
New characterizations of primitive permutation groups with applications to synchronizing automata	2
Pomset bisimulation and unfolding for reset Petri nets	2
Slowly synchronizing automata with fixed alphabet size	2
Event-based functional decomposition	2
Distributed localization of wireless sensor network using communication wheel	2
Robust, expressive, and quantitative linear temporal logics: Pick any two for free	2
Think globally, act locally: On the optimal seeding for nonsubmodular influence maximization	2
Beyond the worst-case analysis of random priority: Smoothed and average-case approximation ratios in mechanism design	2
Efficient construction of the BWT for repetitive text using string compression	2
Preservation of normality by transducers	2
State complexity of transforming graph-walking automata to halting, returning and reversible	2
Structural properties of NFAs and growth rates of nondeterminism measures	2
Turing-completeness of asynchronous non-camouflage cellular automata	2
A structured view on weighted counting with relations to counting, quantum computation and applications	2
Algorithmic aspects of secure domination in unit disk graphs	2
Satisfiability checking for Mission-time LTL (MLTL)	2
On the conjugacy problem of cellular automata	2
Safe dependency atoms and possibility operators in team semantics	2
On the complexity of approximately matching a string to a directed graph	2
Query complexity of generalized Simon's problem	2
Beyond PCSP(1-in-3,NAE)	2
Game-theoretic semantics for ATL+ with applications to model checking	2
On the transformation of two-way finite automata to unambiguous finite automata	2
Location automata for regular expressions with shuffle and intersection	2
The complexity of regex crosswords	2
Asymptotics of the number of 2-threshold functions	2
Randomness and uniform distribution modulo one	2
Specification and optimal reactive synthesis of run-time enforcement shields	2
Fairness and communication-based semantics for session-typed languages	2
Operational union-complexity	2
Streaming k-mismatch with error correcting and applications	2
Store-collect in the presence of continuous churn with application to snapshots and lattice agreement	2
Optimizing reachability sets in temporal graphs by delaying	2
Logical vs. behavioural specifications	2
On fast pattern formation by autonomous robots	2
Elementary, finite and linear vN-regular cellular automata	2
Exploiting social influence to control elections based on positional scoring rules	2
Uniform van Lambalgen's theorem fails for computable randomness	2
Timed hyperproperties	2
On finite-index indexed grammars and their restrictions	2
Dynamics of reputation in mobile agents systems and weighted timed automata	2
Combination of roots and boolean operations: An application to state complexity	2
Biased differential distinguisher – Cryptanalysis of reduced-round SKINNY	1
Distributed computability: Relating k-immediate snapshot and x-set agreement	1
Bisimulation metrics and norms for real-weighted automata	1
Learnability and positive equivalence relations	1
Consensus string problem for multiple regular languages	1
Time-bounded termination analysis for probabilistic programs with delays	1
Simple and fast approximate counting and leader election in populations	1
Eilenberg's variety theorem without Boolean operations	1
A compressed dynamic self-index for highly repetitive text collections	1
Context-sensitive fusion grammars and fusion grammars with forbidden context are universal	1
On continued fraction randomness and normality	1
An extended coding theorem with application to quantum complexities	1
Weighted parsing for grammar-based language models over multioperator monoids	1
Transformation of variants of Petri nets into context-dependent fusion grammars	1
A new class of string transformations for compressed text indexing	1
Bounded complete domains and their logical form	1

Nonlinear neural P systems for generating string languages	1
On tightness of Tsaknakis-Spirakis descent methods for approximate Nash equilibria	1
McCarthy-Kleene fuzzy automata and MSO logics	1
To drive or not to drive: A logical and computational analysis of European transport regulations	1
Temporal logics with language parameters	1
On linear languages recognized by deterministic biautomata	1
A practical succinct dynamic graph representation	1
Reachability problems in low-dimensional nondeterministic polynomial maps over integers	1
Polynomial interrupt timed automata: Verification and expressiveness	1
The Caucal hierarchy: Interpretations in the (W)MSO+U logic	1
Parameter synthesis of polynomial dynamical systems	1
Complexity thresholds in inclusion logic	1
Extremal synchronizing circular automata	1
The refinement calculus of reactive systems	1
Higher order monotonicity and submodularity of influence in social networks: From local to global	1
On the mortality problem: From multiplicative matrix equations to linear recurrence sequences and beyond	1
Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata	1
Recent developments in theory and tool support for hybrid systems verification with HyPro	1
On the Weisfeiler-Leman dimension of fractional packing	1
Counting (Watson-Crick) palindromes in Watson-Crick conjugates	1
Regular transducer expressions for regular transformations	1
On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning	1
Logic for ω-pushdown automata	1
Advice hierarchies among finite automata	1
Granularity of wagers in games and the possibility of saving	1
Detecting useless transitions in pushdown automata	1
Principal abstract families of weighted tree languages	1
Narrowing the speedup factor gap of partitioned EDF	1
A periodicity lemma for partial words	1
Distributability of mobile ambients	1
Cayley polynomial–time computable groups	1
Syntactic stochastic processes: Definitions, models, and related inference problems	1
Context-free timed formalisms: Robust automata and linear temporal logics	1
Non-closure under complementation for unambiguous linear grammars	1
Linear-time parameterized algorithms with limited local resources	1
Dynamic branching in qualitative constraint-based reasoning via counting local models	1
Multi random projection inner product encryption, applications to proximity searchable encryption for the iris biometric	1
Usefulness of information and decomposability of unary regular languages	1
Traceable constant-size multi-authority credentials	1
Computational completeness of sequential spiking neural P systems with inhibitory rules	1
Efficient representation and counting of antipower factors in words	1
Approximate minimization of weighted tree automata	1
On the termination of dynamics in sequential games	1
A self-stabilizing Hashed Patricia Trie	1
Default logic and bounded treewidth	1
Equilibria in multi-player multi-outcome infinite sequential games	1
Enumeration of two dimensional palindromes	1
Fast polynomial inversion for post quantum QC-MDPC cryptography	1
On the spread of influence in graphs	1
On the computational completeness of matrix simple semi-conditional grammars	1
On hardest languages for one-dimensional cellular automata	1
Costs and rewards in priced timed automata	1
Slicing techniques for temporal aggregation in spanning event streams	1
On the existence of weak subgame perfect equilibria	1
Abstract processes and conflicts in place/transition systems	1
Load balanced distributed directories	1
Regular matching and inclusion on compressed tree patterns with constrained context variables	1
Language models for some extensions of the Lambek calculus	1
HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems	1
A decidable and expressive fragment of Many-Sorted First-Order Linear Temporal Logic	1
Parameterized complexity of stable roommates with ties and incomplete lists through the lens of graph parameters	1
Branching interval algebra: An almost complete picture	1
Learners based on transducers	1
Incentive ratio: A game theoretical analysis of market equilibria	1
Probabilistic automata of bounded ambiguity	1
Exploring sparse graphs with advice	1
A derivational model of discontinuous parsing	1
Search by a metamorphic robotic system in a finite 2D square Grid	1
Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs	1
Converting nondeterministic two-way automata into small deterministic linear-time machines	1
Noisy beeping networks	1
Effective notions of weak convergence of measures on the real line	1
Compact representation of graphs with bounded bandwidth or treedepth	1
Geometrically closed positive varieties of languages	1
Asymptotic elimination of partially continuous aggregation functions in directed graphical models	1
Exorcising the phantom zone	1
Weighted models for higher-order computation	1
LTL falsification in infinite-state systems	1
Hennessy-Milner properties via topological compactness	1
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past	1
LZRR: LZ77 parsing with right reference	1