Yazar
Cook, Matthew. editor.
Format:
Electronic Resources
Alıntı:
; emergent properties; formal language processing; symbolic dynamics; models of parallelism and distributed
Yazar
Beckmann, Arnold. editor.
Format:
Electronic Resources
Alıntı:
dynamics, are organized for the first time in the conference series. In addition to this new developments
View Other Search Results
Yazar
Hofman, Piotrek. editor.
Format:
Electronic Resources
Alıntı:
languages; codes; efficient text algorithms; symbolic dynamics; decision problems; relationships to
Yazar
Dediu, Adrian-Horia. editor.
Format:
Electronic Resources
Alıntı:
algorithms; symbolic dynamics; term rewriting; transducers; trees, tree languages and tree automata; weighted
Yazar
Dediu, Adrian-Horia. editor.
Format:
Electronic Resources
Alıntı:
computational biology and bioinformatics; string processing algorithms; symbolic dynamics; term rewriting
Yazar
Chaves, Madalena. editor.
Format:
Electronic Resources
Alıntı:
-- Combinatorial dynamics for regulatory networks -- Reactive models for biological regulatory networks -- Temporal
Yazar
Brlek, Srečko. editor.
Format:
Electronic Resources
Alıntı:
languages -- Codes; efficient text algorithms -- Symbolic dynamics; decision problems -- Relationships to
Yazar
Dediu, Adrian-Horia. editor.
Format:
Electronic Resources
Alıntı:
dynamics; term rewriting; transducers; trees, tree languages and tree automata; weighted automata.
Yazar
Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601
Format:
Electronic Resources
Alıntı:
model repair for probabilistic systems, runtime verification, model checking, cardiac dynamics
Yazar
Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699
Format:
Electronic Resources
Alıntı:
submissions. The topics of the conference include deal with dynamical, topological, ergodic and algebraic
Yazar
Mazzara, Manuel. editor.
Format:
Electronic Resources
Alıntı:
-- Maximally-Polyvariant Partial Evaluation in Polynomial Time -- Dynamics Security Policies and Process Opacity for Timed
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
-- Safety and Fault-Tolerant Systems -- Digital Bifurcation Analysis of TCP Dynamics -- Verifying Safety of
Arama Sonuçlarını Sınırlandır
Daraltılmış: