Amazigh Amrane

According to our database, Amazigh Amrane authored at least 12 papers between 2019 and 2025.

Collaborative distances:

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

2025

Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata.

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

CoRR, May, 2025

Active Learning Techniques for Pomset Recognizers.

Adrien Pommellet, Amazigh Amrane, Edgar Delaporte

CoRR, January, 2025

Higher-Dimensional Automata: Extension to Infinite Tracks.

Luc Passemard, Amazigh Amrane, Uli Fahrenberg

Proceedings of the 10th International Conference on Formal Structures for Computation and Deduction, 2025

Petri Nets and Higher-Dimensional Automata.

Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Loïc Hélouët, Philipp Schlehuber-Caissier

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

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

Equational Theories of Scattered and Countable Series-Parallel Posets.

Amazigh Amrane, Nicolas Bedon

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

2019

Logic and Rational Languages of Scattered and Countable Series-Parallel Posets.

Amazigh Amrane, Nicolas Bedon

Proceedings of the Language and Automata Theory and Applications, 2019