Amazigh Amrane

According to our database, Amazigh Amrane authored at least 8 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Logic and Languages of Higher-Dimensional Automata.

Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Marie Fortin

Proceedings of the Developments in Language Theory - 28th International Conference, 2024

Languages of Higher-Dimensional Timed Automata.

Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024

Presenting Interval Pomsets with Interfaces.

Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski

Proceedings of the Relational and Algebraic Methods in Computer Science, 2024

2023

Developments in Higher-Dimensional Automata Theory.

Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski

CoRR, 2023

Closure and Decision Properties for Higher-Dimensional Automata.

Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

2020

Posets série-parallèles transfinis : automates, logiques et théories équationnelles. (Series-parallel posets : automata, logic and equational theories).

Amazigh Amrane

PhD thesis, 2020

Logic and rational languages of scattered and countable series-parallel posets.

Amazigh Amrane, Nicolas Bedon

Theor. Comput. Sci., 2020

Equational Theories of Scattered and Countable Series-Parallel Posets.

Amazigh Amrane, Nicolas Bedon

Proceedings of the Developments in Language Theory - 24th International Conference, 2020