Search results
From MaRDI portal
- Galton-Watson branching process 2002-01-04 Paper Minimal points of a supercritical branching walk on the lattice N r 0 and many-type Galton-Watson branching processes...10 bytes (16 words) - 09:44, 24 September 2023
- Paper Iteration of maps by an automaton 1994-04-04 Paper https://portal.mardi4nfdi.de/entity/Q4281871 1994-03-10 Paper Branching Processes That Grow Faster...10 bytes (16 words) - 12:18, 8 December 2023
- 2010-10-04 Paper TOTALLY ASYMMETRIC EXCLUSION PROCESSES ON LATTICES WITH A BRANCHING POINT 2010-04-08 Paper Phase separation in a bidirectional two-lane asymmetric...10 bytes (14 words) - 10:22, 9 December 2023
- Matching between a Context-Free Grammar and a Finite-State Automaton 2013-08-07 Paper Cellular Automaton Based Motion Planning Algorithms for Mobile Sensor Networks...10 bytes (16 words) - 20:30, 9 December 2023
- Modalities for model checking: Branching time logic strikes back 1987-01-01 Paper Uniform inevitability is tree automaton ineffable 1987-01-01 Paper Automatic...10 bytes (17 words) - 02:23, 9 December 2023
- Publication Date of Publication Type Annihilating branching Brownian motion 2024-10-30 Paper Random walks on regular trees can not...10 bytes (13 words) - 03:15, 25 September 2023
- 2024-01-17 Paper Hydrodynamic limit of N-branching Markov processes 2023-11-21 Paper A probabilistic cellular automaton that admits no successful basic i.i...10 bytes (13 words) - 00:43, 11 December 2023
- 2015-12-23 Paper Positive speed for high-degree automaton groups 2014-06-19 Paper Amenability of linear-activity automaton groups 2013-05-21 Paper Giant components...10 bytes (13 words) - 09:26, 25 September 2023
- period of a periodic solution generated by a one-dimensional cellular automaton 2021-11-26 Paper Polluted bootstrap percolation in three dimensions 2021-11-04...10 bytes (14 words) - 22:41, 24 September 2023
- de/entity/Q4621144 2019-02-08 Paper Open maps in concrete categories and branching bisimulation for prefix orders 2016-12-16 Paper Topological Aspects of...10 bytes (18 words) - 22:52, 11 December 2023
- autonomous data language 2024-09-13 Paper A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice 2024-03-14...10 bytes (17 words) - 11:17, 8 December 2023
- 2012-10-24 Paper Model Checking Stochastic Branching Processes 2012-09-25 Paper Stabilization of branching queueing networks 2012-08-23 Paper On the Complexity...10 bytes (13 words) - 11:40, 28 January 2024
- Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking 2013-08-05 Paper Branching Processes of General Petri Nets 2013-04-18 Paper...10 bytes (13 words) - 09:01, 6 October 2023
- Paper Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating...10 bytes (13 words) - 08:06, 25 September 2023
- Process as a Pushdown Automaton 2008-11-25 Paper Calculating with Automata 2008-06-19 Paper A Complete Axiomatisation of Branching Bisimulation for Probabilistic...10 bytes (19 words) - 07:40, 9 December 2023
- cellular automata 2013-02-19 Paper The one-dimensional exactly 1 cellular automaton: replication, periodicity, and chaos from finite seeds 2011-02-17 Paper...10 bytes (14 words) - 09:53, 6 October 2023
- networks 2022-03-17 Paper Double Jump Phase Transition in a Soliton Cellular Automaton 2022-01-18 Paper How far do activated random walkers spread from a single...10 bytes (13 words) - 11:53, 7 October 2023
- new 2021-06-14 Paper A New Hierarchy for Automaton Semigroups 2021-04-19 Paper Algorithmic aspects of branched coverings. II/V: Sphere bisets and decidability...10 bytes (13 words) - 09:44, 7 October 2023
- neurons with short term synaptic facilitation 2020-02-26 Paper Non local branching Brownian motions with annihilation and free boundary problems 2019-08-06...10 bytes (14 words) - 11:04, 9 December 2023
- A \(5k\)-vertex kernel for \(P_2\)-packing 2022-03-23 Paper A refined branching algorithm for the maximum satisfiability problem 2022-03-22 Paper Improved...10 bytes (15 words) - 09:00, 6 October 2023
