On time and space decomposition of complex structures
Communications of the ACM
Communicating sequential processes
Communicating sequential processes
Fairness
Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Computability
Information Processing Letters
Algorithmic information theory
Algorithmic information theory
Journal of Symbolic Computation
Integer and combinatorial optimization
Integer and combinatorial optimization
Complex Systems
The number of fixed points of the majority rule
Discrete Mathematics
Fractals everywhere
Journal of Combinatorial Theory Series A
A simple approach to specifying concurrent systems
Communications of the ACM
Predicate calculus and program semantics
Predicate calculus and program semantics
win and sin: predicate transformers for concurrency
ACM Transactions on Programming Languages and Systems (TOPLAS)
Probabilistic self-stabilization
Information Processing Letters
The algebraic basis of mathematical morphology. I. dilations and erosions
Computer Vision, Graphics, and Image Processing
A compositional proof system on a category of labelled transition systems
Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Computation at the edge of chaos: phase transitions and emergent computation
CNLS '89 Proceedings of the ninth annual international conference of the Center for Nonlinear Studies on Self-organizing, Collective, and Cooperative Phenomena in Natural and Artificial Computing Networks on Emergent computation
Neural and automata networks: dynamical behavior and applications
Neural and automata networks: dynamical behavior and applications
Information Processing Letters
Boolean derivatives on cellular automata
Physica D
Criticality in cellular automata
Physica D
Classifying circular cellular automata
Physica D
Algorithm theories and design tactics
Science of Computer Programming
Fractal image compression
Handbook of theoretical computer science (vol. B)
Cellular automata: theory and experiment
Cellular automata: theory and experiment
The algebraic basis of mathematical morphology
CVGIP: Image Understanding
Stochastic Automata Network of Modeling Parallel Systems
IEEE Transactions on Software Engineering
Information randomness & incompleteness: papers on algorithmic information theory (2nd ed.)
Information randomness & incompleteness: papers on algorithmic information theory (2nd ed.)
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
On a paper of Agur, Fraenkel and Klein
Discrete Mathematics
On topological characterization of behavioural properties
Topology and category theory in computer science
Genetic programming: on the programming of computers by means of natural selection
Genetic programming: on the programming of computers by means of natural selection
Probabilistic non-determinism
On Devaney's definition of chaos
American Mathematical Monthly
ACM Computing Surveys (CSUR)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specification and proof in real-time CSP
Specification and proof in real-time CSP
An introduction to Kolmogorov complexity and its applications
An introduction to Kolmogorov complexity and its applications
Constructing specification morphisms
Journal of Symbolic Computation - Special issue on automatic programming
Additive cellular automata and algebraic series
Theoretical Computer Science
Handbook of logic in computer science (vol. 1): background: mathematical structures
Handbook of logic in computer science (vol. 1): background: mathematical structures
Discrete-time versus continuous-time models of neural networks
Journal of Computer and System Sciences
On randomization in sequential and distributed algorithms
ACM Computing Surveys (CSUR)
Efficient construction of catastrophic patterns for VLSI reconfigurable arrays
Integration, the VLSI Journal
An explanatory presentation of composition rules for assumption-commitment specifications
Information Processing Letters
Reasoning about probabilistic parallel programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Analog computation via neural networks
Theoretical Computer Science
Genetic programming II: automatic discovery of reusable programs
Genetic programming II: automatic discovery of reusable programs
Canonical positions for the factors in paperfolding sequences
Theoretical Computer Science
Lyapunov operators to study the convergence of extremal automata
Theoretical Computer Science
Elections in anonymous networks
Information and Computation
The calculi of emergence: computation, dynamics and induction
Proceedings of the NATO advanced research workshop and EGS topical workshop on Chaotic advection, tracer dynamics and turbulent dispersion
Regular unimodal systems and factors of finite automata
Selected papers of the workshop on Continuous algorithms and complexity
The r-majority vote action on 0-1 sequences
Discrete Mathematics
Parametrization for stationary patterns of the r-majority operators on 0-1 sequences
Discrete Mathematics
Emergent colonization and graph partitioning
SAB94 Proceedings of the third international conference on Simulation of adaptive behavior : from animals to animats 3: from animals to animats 3
An algebraic construction of predicate transformers
Science of Computer Programming - Special issue on mathematics of program construction
Theory and Applications of Cellular Automata in Cryptography
IEEE Transactions on Computers
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
Information Processing Letters - Special issue on the calculational method
Property preserving abstractions for the verification of concurrent systems
Formal Methods in System Design - Special issue on computer-aided verification (based on CAV'92 workshop)
Characterization of periodic attractors in neural ring networks
Neural Networks
Predicate transformers for reasoning about concurrent computation
Science of Computer Programming
Invariants, composition, and substitution
Acta Informatica
Understanding nonlinear dynamics
Understanding nonlinear dynamics
Dynamical systems, measures, and fractals via domain theory
Information and Computation
Pattern growth in elementary cellular automata
Theoretical Computer Science
On the modularity of termination of term rewriting systems
Theoretical Computer Science
Models of massive parallelism: analysis of cellular automata and neural networks
Models of massive parallelism: analysis of cellular automata and neural networks
Global analysis of self-similarity features of cellular automata: selected examples
Proceedings of the conference on Chaos, order and patterns : aspects of nonlinearity---the "Gran Finale": aspects of nonlinearity---the "Gran Finale"
Handbook of logic in computer science (vol. 4): semantic modelling
Handbook of logic in computer science (vol. 4): semantic modelling
Abstract interpretation: a semantics-based tool for program analysis
Handbook of logic in computer science (vol. 4)
Discrete computation in the continuum
Discrete computation in the continuum
Probabilistic predicate transformers
ACM Transactions on Programming Languages and Systems (TOPLAS)
An introduction to symbolic dynamics and coding
An introduction to symbolic dynamics and coding
On testing for catastrophic faults in reconfigurable arrays with arbitrary link redundancy
Integration, the VLSI Journal
Recursion theory on the reals and continuous-time computation
Theoretical Computer Science - Special issue on real numbers and computers
Modeling nature: cellular automata simulations with Mathematica
Modeling nature: cellular automata simulations with Mathematica
Abstract verification of structured dynamical systems
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Information Processing Letters
Simple proof techniques for property preservation via simulation
Information Processing Letters
On topological dynamics of Turing machines
Theoretical Computer Science
Physica D
Cellular automata in fuzzy backgrounds
Physica D
CA-like error propagation in fuzzy CA
Parallel Computing - Special issue: cellular automata
Simple Computation-Universal Cellular Spaces
Journal of the ACM (JACM)
Some Properties of Predicate Transformers
Journal of the ACM (JACM)
Self-stabilizing systems in spite of distributed control
Communications of the ACM
Evolution of Parallel Cellular Machines: The Cellular Programming Approach
Evolution of Parallel Cellular Machines: The Cellular Programming Approach
Information and Randomness: An Algorithmic Perspective
Information and Randomness: An Algorithmic Perspective
Dynamic, Genetic, and Chaotic Programming: The Sixth-Generation
Dynamic, Genetic, and Chaotic Programming: The Sixth-Generation
The Universal Turing Machine: A Half-Century Survey
The Universal Turing Machine: A Half-Century Survey
Communication and Concurrency
Neural Networks: A Comprehensive Foundation
Neural Networks: A Comprehensive Foundation
A Discipline of Programming
The Book of Traces
Decade of Concurrency: Reflections and Perspectives
Decade of Concurrency: Reflections and Perspectives
"Sometime" is sometimes "not never": on the temporal logic of programs
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the Refinement Calculus
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Algorithmic Language and Program Development
Algorithmic Language and Program Development
IEEE Transactions on Computers
Analysis of One-Dimensional Linear Hybrid Cellular Automata over GF(q)
IEEE Transactions on Computers
Mean Field Theory of the Edge of Chaos
Proceedings of the Third European Conference on Advances in Artificial Life
Elements of a Theory of Simulation
Proceedings of the Third European Conference on Advances in Artificial Life
A Comparison of Finite and Cellular Automata
MFCS '94 Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science 1994
Relating Multifunctions and Predicate Transformers through Closure Operators
TACS '94 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Invariance and Contraction by Infinite Iterations of Relations
Research Directions in High-Level Parallel Programming Languages
On some Relations between Dynamical Systems and Transition Systems
ICALP '94 Proceedings of the 21st International Colloquium on Automata, Languages and Programming
Computability Properties of Low-dimensional Dynamical Systems
STACS '93 Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science
STACS '94 Proceedings of the 11th Annual Symposium on Theoretical Aspects of Computer Science
On Ergodic Linear Cellular Automata over Zm
STACS '97 Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science
Hybrid Systems and Quantum Automata: Preliminary Announcement
Hybrid Systems II
A Relational Model for Non-Deterministic Programs and Predicate Transformers
Proceedings of the Fourth 'Colloque International sur la Programmation' on International Symposium on Programming
Analysis of Dynamical Systems Using Predicate Transformers - Attraction and Composition
Proceedings on Analysis of Dynamical and Cognitive Systems, Advanced Course
Simplicity Criteria for Dynamical Systems
Proceedings on Analysis of Dynamical and Cognitive Systems, Advanced Course
Mathematics of Program Construction Applied to Analog Neural Networks
Proceedings of the International Conference on Mathematics of Program Construction, 375th Anniversary of the Groningen University
Topological Chaos for Elementary Cellular Automata
CIAC '97 Proceedings of the Third Italian Conference on Algorithms and Complexity
The Triumph and Tribulation of System Stabilization
WDAG '95 Proceedings of the 9th International Workshop on Distributed Algorithms
Image Analysis and Mathematical Morphology
Image Analysis and Mathematical Morphology
Theory of Self-Reproducing Automata
Theory of Self-Reproducing Automata
Chaos as a source of complexity and diversity in evolution
Artificial Life
Hi-index | 0.00 |