State Spaces of Convolutional Codes
Designs, Codes and Cryptography
Classification of temporal patterns in dynamic biological networks
Neural Computation
On two-sided infinite fixed points of morphisms
Theoretical Computer Science
Compact factors of countable state Markov shifts
Theoretical Computer Science
Estimation of the Entropy of Dynamic System
Automation and Remote Control
Determinization of transducers over finite and infinite words
Theoretical Computer Science
On a Lemma of Gromov and the entropy of a graph
European Journal of Combinatorics
Chaotic subshifts and related languages applications to one-dimensional cellular automata
Fundamenta Informaticae - Special issue on cellular automata
Emergent neural computational architectures based on neuroscience
Capacity Bounds for the 3-Dimensional (0, 1) Runlength Limited Channel
AAECC-13 Proceedings of the 13th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Determinization of Transducers over Infinite Words
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
On the Many Faces of Block Codes
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
On the Enumerative Sequences of Regular Languages on k Symbols
STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
A Package for the Implementation of Block Codes as Finite Automata
CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata
Emergent Neural Computational Architectures Based on Neuroscience - Towards Neuroscience-Inspired Computing
A Note on Synchronized Automata and Road Coloring Problem
DLT '01 Revised Papers from the 5th International Conference on Developments in Language Theory
On Two-Sided Infinite Fixed Points of Morphisms
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
MFCS '01 Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science
Information granulation in automated modeling
Granular computing
Theoretical Computer Science - Mathematical foundations of computer science
On viewing block codes as finite automata
Theoretical Computer Science
Cellular automata and strongly irreducible shifts of finite type
Theoretical Computer Science
Asymptotic orbits of primitive substitutions
Theoretical Computer Science
Some characterizations for the wrapped butterfly
Analysis, combinatorics and computing
Number conserving cellular automata II: dynamics
Theoretical Computer Science
Note: combinatorial constructions associated to the dynamics of one-sided cellular automata
Theoretical Computer Science
Intelligent data analysis
On structural properties of eta-expansions of identity
Information Processing Letters
On the generating sequences of regular languages on k symbols
Journal of the ACM (JACM)
On the entropy of regular languages
Theoretical Computer Science - WORDS
Growth-sensitivity of context-free languages
Theoretical Computer Science - WORDS
Computing forbidden words of regular languages
Fundamenta Informaticae - Special issue on computing patterns in strings
Symbolic dynamic analysis of complex systems for anomaly detection
Signal Processing
Involution codes: with application to DNA coded languages
Natural Computing: an international journal
The complexity of Fibonacci-like kneading sequences
Theoretical Computer Science
Theoretical Computer Science - The art of theory
Estimating Entropy Rates with Bayesian Confidence Intervals
Neural Computation
A hierarchy of shift equivalent sofic shifts
Theoretical Computer Science - Mathematical foundations of computer science 2004
De Bruijn sequences and De Bruijn graphs for a general language
Information Processing Letters
Combinatorial properties of smooth infinite words
Theoretical Computer Science
Codes, unambiguous automata and sofic systems
Theoretical Computer Science - In honour of Professor Christian Choffrut on the occasion of his 60th birthday
The origins of combinatorics on words
European Journal of Combinatorics
One Head Machines from a symbolic approach
Theoretical Computer Science
Characteristic polynomials of ramified uniform covering digraphs
European Journal of Combinatorics
About frequencies of letters in generalized automatic sequences
Theoretical Computer Science
Coding with variable block maps
Theoretical Computer Science
Fitting hidden Markov models to psychological data
Scientific Programming - Hidden Markov Models
Defect particle kinematics in one-dimensional cellular automata
Theoretical Computer Science
Pattern identification in dynamical systems via symbolic time series analysis
Pattern Recognition
Assessment Of Coupling And Cohesion For Component-Based Software By Using Shannon Languages
Journal of Integrated Design & Process Science
Elman Backpropagation as Reinforcement for Simple Recurrent Networks
Neural Computation
Cobham–Semenov theorem and Nd-subshifts
Theoretical Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
The theory of trackability with applications to sensor networks
ACM Transactions on Sensor Networks (TOSN)
Spectral Domain Boundaries in Cellular Automata
Fundamenta Informaticae - Special issue on DLT'04
Theoretical Computer Science
Coding of two-dimensional constraints of finite type by substitutions
Journal of Automata, Languages and Combinatorics
Computability Theoretic Properties of the Entropy of Gap Shifts
Fundamenta Informaticae
When–and how–can a cellular automaton be rewritten as a lattice gas?
Theoretical Computer Science
Computational complexity of dynamical systems: The case of cellular automata
Information and Computation
Sofic Trace Subshift of a Cellular Automaton
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Two-by-Two Substitution Systems and the Undecidability of the Domino Problem
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems
MPC '08 Proceedings of the 9th international conference on Mathematics of Program Construction
On Complexity of Two Dimensional Languages Generated by Transducers
CIAA '08 Proceedings of the 13th international conference on Implementation and Applications of Automata
Induced Subshifts and Cellular Automata
Language and Automata Theory and Applications
On Finite-time Computability Preserving Conversions
Electronic Notes in Theoretical Computer Science (ENTCS)
Algorithmic Approach to Devaney Chaos in Shift Spaces
Fundamenta Informaticae
Applications of Page Ranking in P Systems
Membrane Computing
Framed Versus Unframed Two-Dimensional Languages
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
Theoretical Computer Science
Decidability of Conjugacy of Tree-Shifts of Finite Type
ICALP '09 Proceedings of the 36th International Colloquium on Automata, Languages and Programming: Part I
Sand automata as cellular automata
Theoretical Computer Science
Volume and Entropy of Regular Timed Languages: Discretization Approach
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Volume and Entropy of Regular Timed Languages: Analytic Approach
FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
Completing codes in a sofic shift
Theoretical Computer Science
Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall
Computational Logic in Multi-Agent Systems
Finite state automata representing two-dimensional subshifts
Theoretical Computer Science
Information and Computation
On the directional dynamics of additive cellular automata
Theoretical Computer Science
Theoretical Computer Science
Capacity bounds for two-dimensional asymmetric M-ary (0, k) and (d,∞) runlength-limited channels
IEEE Transactions on Communications
Large memory capacity in chaotic artificial neural networks: a view of the anti-integrable limit
IEEE Transactions on Neural Networks
On Pattern Density and Sliding Block Code Behavior for the Besicovitch and Weyl Pseudo-distances
SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science
The zeta function of a periodic-finite-type shift
ISIT'09 Proceedings of the 2009 IEEE international conference on Symposium on Information Theory - Volume 3
ISIT'09 Proceedings of the 2009 IEEE international conference on Symposium on Information Theory - Volume 3
Data-driven estimation of multiple fault parameters in permanent magnet synchronous motors
ACC'09 Proceedings of the 2009 conference on American Control Conference
Behavior recognition in mobile robots using symbolic dynamic filtering and language measure
ACC'09 Proceedings of the 2009 conference on American Control Conference
ACC'09 Proceedings of the 2009 conference on American Control Conference
Underwater mine detection using symbolic pattern analysis of sidescan sonar images
ACC'09 Proceedings of the 2009 conference on American Control Conference
De Bruijn sequences and De Bruijn graphs for a general language
Information Processing Letters
On the undecidability of the limit behavior of Cellular Automata
Theoretical Computer Science
Modelling programmed frameshifting with frameshift machines
Natural Computing: an international journal
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems
Computation of symbolic dynamics for one-dimensional maps
Journal of Computational and Applied Mathematics
Theoretical Computer Science
On-line odometers for two-sided symbolic dynamical systems
DLT'02 Proceedings of the 6th international conference on Developments in language theory
CIAA'02 Proceedings of the 7th international conference on Implementation and application of automata
automata: a hybrid system for computational automata theory
CIAA'02 Proceedings of the 7th international conference on Implementation and application of automata
A search algorithm for the maximal attractor of a cellular automaton
STACS'07 Proceedings of the 24th annual conference on Theoretical aspects of computer science
Finite state automata representing two-dimensional subshifts
CIAA'07 Proceedings of the 12th international conference on Implementation and application of automata
Decision version of the road coloring problem is NP-complete
FCT'09 Proceedings of the 17th international conference on Fundamentals of computation theory
Improved lower bounds on capacities of symmetric 2D constraints using Rayleigh quotients
IEEE Transactions on Information Theory
Computation in Sofic Quantum Dynamical Systems
Natural Computing: an international journal
Transducer generated arrays of robotic nano-arms
Natural Computing: an international journal
Theoretical Computer Science
Numeration systems: a link between number theory and formal language theory
DLT'10 Proceedings of the 14th international conference on Developments in language theory
DLT'10 Proceedings of the 14th international conference on Developments in language theory
Automata with extremal minimality conditions
DLT'10 Proceedings of the 14th international conference on Developments in language theory
Algorithms and theory of computation handbook
Analysis of the joint spectral radius via lyapunov functions on path-complete graphs
Proceedings of the 14th international conference on Hybrid systems: computation and control
Encoding the fine-structured mechanism of action potential dynamics with qualitative motifs
Journal of Computational Neuroscience
Discrete Applied Mathematics
Topological properties of forbidding-enforcing systems
Journal of Automata, Languages and Combinatorics
Generalized Besicovitch and Weyl spaces: Topology, patterns, and sliding block codes
Theoretical Computer Science
Directional dynamics along arbitrary curves in cellular automata
Theoretical Computer Science
Bulking II: Classifications of cellular automata
Theoretical Computer Science
Bulking I: An abstract theory of bulking
Theoretical Computer Science
TAMC'11 Proceedings of the 8th annual conference on Theory and applications of models of computation
Improving the classification accuracy of streaming data using SAX similarity features
Pattern Recognition Letters
Parallel addition in non-standard numeration systems
Theoretical Computer Science
Regular splicing languages must have a constant
DLT'11 Proceedings of the 15th international conference on Developments in language theory
Polyominoes simulating arbitrary-neighborhood zippers and tilings
Theoretical Computer Science
Redundancy of minimal weight expansions in Pisot bases
Theoretical Computer Science
Can classical epistemic states be entangled?
QI'11 Proceedings of the 5th international conference on Quantum interaction
Conjugacy and equivalence of weighted automata and functional transducers
CSR'06 Proceedings of the First international computer science conference on Theory and Applications
Complete codes in a sofic shift
STACS'06 Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science
On the equivalence of Z-automata
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
DNA codes and their properties
DNA'06 Proceedings of the 12th international conference on DNA Computing
LATIN'10 Proceedings of the 9th Latin American conference on Theoretical Informatics
On beta-shifts having arithmetical languages
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
Subshifts behavior of cellular automata. topological properties and related languages
MCU'04 Proceedings of the 4th international conference on Machines, Computations, and Universality
Minimal de bruijn sequence in a language with forbidden substrings
WG'04 Proceedings of the 30th international conference on Graph-Theoretic Concepts in Computer Science
Sofic and almost of finite type tree-shifts
CSR'10 Proceedings of the 5th international conference on Computer Science: theory and Applications
Right-Sequential functions on infinite words
CSR'10 Proceedings of the 5th international conference on Computer Science: theory and Applications
Vector space formulation of probabilistic finite state automata
Journal of Computer and System Sciences
Extremal minimality conditions on automata
Theoretical Computer Science
Computational complexity of rule distributions of non-uniform cellular automata
LATA'12 Proceedings of the 6th international conference on Language and Automata Theory and Applications
On stable and unstable limit sets of finite families of cellular automata
LATA'12 Proceedings of the 6th international conference on Language and Automata Theory and Applications
Deciding regularity of hairpin completions of regular languages in polynomial time
Information and Computation
Approximate Verification of the Symbolic Dynamics of Markov Chains
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Infinite Traces and Symbolic Dynamics - the Minimal Shift Case
Fundamenta Informaticae
Geometry and dynamics of the besicovitch and weyl spaces
DLT'12 Proceedings of the 16th international conference on Developments in Language Theory
A generalization of girod's bidirectional decoding method to codes with a finite deciphering delay
DLT'12 Proceedings of the 16th international conference on Developments in Language Theory
An algorithm for road coloring
Journal of Discrete Algorithms
Computability Theoretic Properties of the Entropy of Gap Shifts
Fundamenta Informaticae
The Chain Relation in Sofic Subshifts
Fundamenta Informaticae
Algorithmic Approach to Devaney Chaos in Shift Spaces
Fundamenta Informaticae
Spectral Domain Boundaries in Cellular Automata
Fundamenta Informaticae - Special issue on DLT'04
On immortal configurations in turing machines
CiE'12 Proceedings of the 8th Turing Centenary conference on Computability in Europe: how the world computes
On shift spaces with algebraic structure
CiE'12 Proceedings of the 8th Turing Centenary conference on Computability in Europe: how the world computes
Finite state transducers for modular möbius number systems
MFCS'12 Proceedings of the 37th international conference on Mathematical Foundations of Computer Science
Computing forbidden words of regular languages
Fundamenta Informaticae - Computing Patterns in Strings
Chaotic Subshifts and Related Languages Applications to one-dimensional Cellular Automata
Fundamenta Informaticae - Cellular Automata
Adaptive pattern classification for symbolic dynamic systems
Signal Processing
Theoretical Computer Science
Geometric Representations for Minimalist Grammars
Journal of Logic, Language and Information
Computation in sofic quantum dynamical systems
UC'07 Proceedings of the 6th international conference on Unconventional Computation
Cellular automata on regular rooted trees
CIAA'12 Proceedings of the 17th international conference on Implementation and Application of Automata
Toward a timed theory of channel coding
FORMATS'12 Proceedings of the 10th international conference on Formal Modeling and Analysis of Timed Systems
Natural Computing: an international journal
Subshifts as models for MSO logic
Information and Computation
Symbolic dynamics of Boolean control networks
Automatica (Journal of IFAC)
Resolving Extensions of Finitely Presented Systems
Acta Applicandae Mathematicae: an international survey journal on applying mathematics and mathematical applications
Path Methods for Strong Shift Equivalence of Positive Matrices
Acta Applicandae Mathematicae: an international survey journal on applying mathematics and mathematical applications
Independence entropy of Z^d-shift spaces
Acta Applicandae Mathematicae: an international survey journal on applying mathematics and mathematical applications
Bi-resolving Graph Homomorphisms and Extensions of Bi-closing codes
Acta Applicandae Mathematicae: an international survey journal on applying mathematics and mathematical applications
A Notion of Synchronization of Symbolic Dynamics and a Class of C*-Algebras
Acta Applicandae Mathematicae: an international survey journal on applying mathematics and mathematical applications
Mixing Shifts of Finite Type with Non-Elementary Surjective Dimension Representations
Acta Applicandae Mathematicae: an international survey journal on applying mathematics and mathematical applications
Simulation of Effective Subshifts by Two-dimensional Subshifts of Finite Type
Acta Applicandae Mathematicae: an international survey journal on applying mathematics and mathematical applications
Acta Applicandae Mathematicae: an international survey journal on applying mathematics and mathematical applications
The Work of Kim and Roush in Symbolic Dynamics
Acta Applicandae Mathematicae: an international survey journal on applying mathematics and mathematical applications
A maximal entropy stochastic process for a timed automaton,
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part II
The learning problem of multi-layer neural networks
Neural Networks
Spectral gap in timed automata
FORMATS'13 Proceedings of the 11th international conference on Formal Modeling and Analysis of Timed Systems
Cellular automata between sofic tree shifts
Theoretical Computer Science
Local rule distributions, language complexity and non-uniform cellular automata
Theoretical Computer Science
Turing degrees of multidimensional SFTs
Theoretical Computer Science
Theory of Computing Systems
Theory of Computing Systems
Project dynamics and emergent complexity
Computational & Mathematical Organization Theory
Hi-index | 0.10 |