Source: 38th International Symposium on Theoretical Aspects of Computer Science (STACS 2021)STACS 2021https://hal.science/hal-03409588STACS 2021, Mar 2021, Saarbrücken, Germany.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

On Computability of Data Word Functions Defined by Transducers

Authors : Exibard, Léo; Filiot, Emmanuel; Reynier, Pierre-Alain ...

Subjects: [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]; [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]Dublin; Ireland

Source: Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Sequentialization and Procedural Complexity in Automata Networks

Authors : Bridoux, Florian;

Subjects: intrinsic simulation; parallel update schedule; sequential update schedulesLiverpool; France

Source: MFCS2018 ; https://hal.science/hal-01718527 ; MFCS2018, Aug 2018, Liverpool, France

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

On the Translation of Automata to Linear Temporal Logic

Authors : Boker, Udi; Lehtinen, Karoliina; Sickert, Salomon ...

Subjects: [INFO]Computer Science [cs]Munich; Germany

Source: Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022 ; FOSSACS ; https://hal.science/hal-03849354 ; FOSSACS, Apr 2022, Munich, Germany. pp.140-160,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Dissertation/ Thesis

On automata networks dynamics : an approach based on computational complexity theory ; Sur la dynamique des réseaux d'automates: une approche basée sur la théorie de la complexité informatique

Authors : Ríos Wilson, Martín;

Subjects: automata networks; discrete dynamical systems; computational complexity

Source: https://theses.hal.science/tel-03264167 ; Dynamical Systems [math.DS]. Aix-Marseille Université et LIS- CANA, 2021. English. ⟨NNT : ⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Dissertation/ Thesis

Automatic Synthesis of Systems with Data ; Synthèse Automatique de Systèmes avec Données

Authors : Exibard, Léo;

Subjects: Register Automata; Register Transducers; Reactive Synthesis

Source: https://hal.science/tel-03409602 ; Formal Languages and Automata Theory [cs.FL]. Aix Marseille Université (AMU); Université libre de Bruxelles (ULB), 2021. English. ⟨NNT : 2020AIXM0001⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Report

Intrinsic Universality in Automata Networks III: On Symmetry versus Asynchrony

Authors : Ríos Wilson, Martín; Theyssier, Guillaume;

Subjects: automata networks; asynchronous updates; intrinsic universality

Source: https://hal.science/hal-03225820 ; 2023.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Synthesis of Data Word Transducers

Authors : Exibard, Léo; Filiot, Emmanuel; Reynier, Pierre-Alain ...

Subjects: Register Automata; Synthesis; Data words

Source: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.science/hal-03409577 ; Logical Methods in Computer Science, 2021, ⟨10.23638/LMCS-17(1:22)2021⟩

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي