Get started
Author

Amazigh Amrane

Observed names: AMRANE, AMAZIGH, Amrane Amazigh, Amrane, Amazigh
ORCID: 0009-0008-7577-6715
Observed ORCID: 0009-0008-7577-6715
OpenAlex ID: A5048822801
Closure and Decision Properties for Higher-Dimensional Automata
2023 · Amazigh Amrane, Hugo Bazille, et al. · Lecture notes in computer science · 8
PDF
Languages of Higher-Dimensional Timed Automata
2024 · Amazigh Amrane, Hugo Bazille, et al. · Lecture notes in computer science · 6
Logic and Languages of Higher-Dimensional Automata
2024 · Amazigh Amrane, Hugo Bazille, et al. · Lecture notes in computer science · 5
PDF
Presenting Interval Pomsets with Interfaces
2024 · Amazigh Amrane, Hugo Bazille, et al. · Lecture notes in computer science · 3
PDF
Petri Nets and Higher-Dimensional Automata
2025 · Amazigh Amrane, Hugo Bazille, et al. · Lecture notes in computer science · 2
PDF
Logic and rational languages of scattered and countable series-parallel posets
2020 · Amazigh Amrane, Nicolas Bedon · Theoretical Computer Science · 2
Logic and Rational Languages of Scattered and Countable Series-Parallel Posets
2019 · Amazigh Amrane, Nicolas Bedon · Lecture notes in computer science · 2
PDF
Equational Theories of Scattered and Countable Series-Parallel Posets
2020 · Amrane Amazigh, Nicolas Bedon · Lecture notes in computer science · 1
Preface by the PHOCON 2026 Chairs
2026 · Amazigh Amrane, Hugo Bazille, et al. · VBN Forskningsportal (Aalborg Universitet)
Virtual Machine for TreeLearn 0.1 (FoSSaCS 2026 artifact)
2026 · Pommellet, Adrien, AMRANE, AMAZIGH · Zenodo (CERN European Organization for Nuclear Research)
Higher-Dimensional Timed Automata for Real-Time Concurrency
2026 · Amazigh Amrane, Hugo Bazille, et al. · Lecture notes in computer science
Towards an efficient conversion of petri nets into higher dimensional automata
2025 · Amrane, Amazigh, Bazille, Hugo, et al. · HAL (Le Centre pour la Communication Scientifique Directe)
PDF
Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata
2025 · Amrane, Amazigh, Bazille, Hugo, et al. · arXiv (Cornell University)
PDF
Closure and decision properties for higher-dimensional automata
2025 · Amazigh Amrane, Hugo Bazille, et al. · Theoretical Computer Science
PDF
Higher-Dimensional Automata : Extension to Infinite Tracks
2025 · Passemard, Luc, Amrane, Amazigh, et al. · arXiv (Cornell University)
PDF
Higher-Dimensional Timed Automata for Real-Time Concurrency
2024 · Amrane, Amazigh, Bazille, Hugo, et al. · arXiv (Cornell University)
PDF
Closure and Decision Properties for Higher-Dimensional Automata
2023 · Amrane, Amazigh, Bazille, Hugo, et al. · arXiv (Cornell University)
PDF
Series-parallel posets : automata, logic and equational theories
2020 · Amrane, Amazigh · theses.fr (ABES)
Posets série-parallèles transfinis : automates, logiques et théories équationnelles
2020 · Amazigh Amrane
PDF
Works count: 19
Citation count: 29
H-index: 3
I10-index:
Year
Topic
Type