Information and Computation

Article	Citations
Cell-like P systems with evolutional symport/antiport rules and membrane creation	50
Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle	28
Rule synchronization for tissue P systems	16
Revisiting Deutsch-Jozsa algorithm	16
Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary results	16
Neural-like P systems with plasmids	16
Survey on mining signal temporal logic specifications	14
Wheeler languages	13
Computational fuzzy extractors	13
A probabilistic calculus of cyber-physical systems	13
PPLite: Zero-overhead encoding of NNC polyhedra	12
A theory of monitors	12
The computational power of monodirectional tissue P systems with symport rules	10
A simplicial complex model for dynamic epistemic logic to study distributed task computability	10
An efficient eCK secure identity based Two Party Authenticated Key Agreement scheme with security against active adversaries	10
Arrow update synthesis	9
Learning families of algebraic structures from informant	9
Polymorphic lambda calculus with context-free session types	9
What's decidable about weighted automata?	9
Bounding the dimension of points on a line	8
Comparison of algorithms for simple stochastic games	8
Value iteration for simple stochastic games: Stopping criterion and learning algorithm	8
Reversibility of computations in graph-walking automata	8
Integrated encryption in dynamic arithmetic compression	8
Nondeterministic right one-way jumping finite automata	7

A parametric framework for reversible π-calculi	7
Posets with interfaces as a model for concurrency	7
Information leakage due to operative errors in card-based protocols	7
Rule synchronization for monodirectional tissue-like P systems with channel states	6
Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way	6
Sensitivity of string compressors and repetitiveness measures	6
On enumerating algorithms of novel multiple leaf-distance granular regular α-subtrees of trees	6
Efficient pattern matching in elastic-degenerate strings	6
Allocating contiguous blocks of indivisible chores fairly	6
Optimal in-place suffix sorting	6
A novel learning algorithm for Büchi automata based on family of DFAs and classification trees	5
Hitting forbidden induced subgraphs on bounded treewidth graphs	5
To be announced	5
A universal algorithm for Krull's theorem	5
Reachability of scope-bounded multistack pushdown systems	5
Nonuniform families of polynomial-size quantum finite automata and quantum logarithmic-space computation with polynomial-size advice	5
Variable-length codes independent or closed with respect to edit relations	5
Automated deep abstractions for stochastic chemical reaction networks	5
Computational completeness of sequential spiking neural P systems with inhibitory rules	5
Beyond PCSP(1-in-3,NAE)	5
Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs	5
Non-normal modal logics and conditional logics: Semantic analysis and proof theory	5
Multi-server verifiable delegation of computations: Unconditional security and practical efficiency	4
Deterministic quantum search with adjustable parameters: Implementations and applications	4
The emptiness problem for valence automata over graph monoids	4
Regular ω-languages with an informative right congruence	4
Combining multi-target regression deep neural networks and kinetic modeling to predict relative fluxes in reaction systems	4
Fast mixing via polymers for random graphs with unbounded degree	4
Ring exploration with myopic luminous robots	4
Descriptional complexity of iterated uniform finite-state transducers	4
Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol	4
Determining temporal agreements in cross-organizational business processes	4
Robust, expressive, and quantitative linear temporal logics: Pick any two for free	4
Distributional formal semantics	4
Formal languages over GF(2)	4
On equations and first-order theory of one-relator monoids	4
On the universal steganography of optimal rate	4
Learning Mealy machines with one timer	4
The link-calculus for open multiparty interactions	4
On the complexity of approximately matching a string to a directed graph	3
The complexity of regex crosswords	3
Exploiting social influence to control elections based on positional scoring rules	3
Clairvoyant state machine replication	3
On finite-index indexed grammars and their restrictions	3
Model checking hyperproperties for Markov decision processes	3
Query complexity of generalized Simon's problem	3
Advice complexity of treasure hunt in geometric terrains	3
On the Weisfeiler-Leman dimension of fractional packing	3
Probabilistic automata of bounded ambiguity	3
Lifting proofs from countable to uncountable mathematics	3

Complexity analysis of a unifying algorithm for model checking interval temporal logic	3
Complexity of automatic sequences	3
Noisy beeping networks	3
Team equivalences for finite-state machines with silent moves	3
Distributability of mobile ambients	3
Weighted propositional configuration logics: A specification language for architectures with quantitative features	3
Constant-space, constant-randomness verifiers with arbitrarily small error	3
Branching interval algebra: An almost complete picture	3
One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past	3
Dynamics of reputation in mobile agents systems and weighted timed automata	3
Distributed localization of wireless sensor network using communication wheel	3
LTL falsification in infinite-state systems	3
Structural properties of NFAs and growth rates of nondeterminism measures	3
Timed hyperproperties	3
Beyond #CSP: A dichotomy for counting weighted Eulerian orientations with ARS	3
c-trie++: A dynamic trie tailored for fast prefix searches	3
On the cost of unsuccessful searches in search trees with two-way comparisons	3
Location automata for regular expressions with shuffle and intersection	3
Efficient construction of the BWT for repetitive text using string compression	3
An improved FPT algorithm for the flip distance problem	3
Pomset bisimulation and unfolding for reset Petri nets	2
Safe dependency atoms and possibility operators in team semantics	2
Principal abstract families of weighted tree languages	2
Weighted models for higher-order computation	2
Exploring sparse graphs with advice	2
Preservation of normality by transducers	2
Approximate minimization of weighted tree automata	2
Static and dynamic property-preserving updates	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
The membership problem for subsemigroups of GL<	2
Bisimulation metrics and norms for real-weighted automata	2
Behavioural strategies in weighted Boolean games	2
Completeness of string analysis for dynamic languages	2
On the spread of influence in graphs	2
The bang calculus revisited	2
The refinement calculus of reactive systems	2
Traceable constant-size multi-authority credentials	2
Approximating the directed path partition problem	2
Slowly synchronizing automata with fixed alphabet size	2
Finite-word hyperlanguages	2
Constructions of several special classes of cubic bent functions outside the completed Maiorana-McFarland class	2
On the transformation of two-way finite automata to unambiguous finite automata	2
Linear-time parameterized algorithms with limited local resources	2
The ideal view on Rackoff's coverability technique	2
On the mortality problem: From multiplicative matrix equations to linear recurrence sequences and beyond	2
A structured view on weighted counting with relations to counting, quantum computation and applications	2
Asymptotics of the number of 2-threshold functions	2
On the existence of weak subgame perfect equilibria	2
Exorcising the phantom zone	2
Fairness and communication-based semantics for session-typed languages	2
Dynamic branching in qualitative constraint-based reasoning via counting local models	2
Store-collect in the presence of continuous churn with application to snapshots and lattice agreement	2
Nearest neighbor representations of Boolean functions	2
State complexity of transforming graph-walking automata to halting, returning and reversible	2
To drive or not to drive: A logical and computational analysis of European transport regulations	2
Satisfiability checking for Mission-time LTL (MLTL)	2
Bounded complete domains and their logical form	2
Algorithmic aspects of secure domination in unit disk graphs	2
New characterizations of primitive permutation groups with applications to synchronizing automata	2
On fast pattern formation by autonomous robots	2
Game-theoretic semantics for ATL+ with applications to model checking	2
A strengthened eCK secure identity based authenticated key agreement protocol based on the standard CDH assumption	2
Geometric bounds for convergence rates of averaging algorithms	2
Reachability problems in low-dimensional nondeterministic polynomial maps over integers	2
Optimizing reachability sets in temporal graphs by delaying	2
Default logic and bounded treewidth	2
Faster repetition-aware compressed suffix trees based on Block Trees	2
Combination of roots and boolean operations: An application to state complexity	2
Randomness and uniform distribution modulo one	2
Complexity thresholds in inclusion logic	2
Counting (Watson-Crick) palindromes in Watson-Crick conjugates	2
Operational union-complexity	2
Specification and optimal reactive synthesis of run-time enforcement shields	2
A robust class of linear recurrence sequences	2
Binary and circular automata having maximal state complexity for the set of synchronizing words	2
Non-closure under complementation for unambiguous linear grammars	2
On linear languages recognized by deterministic biautomata	2
Recent developments in theory and tool support for hybrid systems verification with HyPro	2
Online recognition of dictionary with one gap	2

Language models for some extensions of the Lambek calculus

2