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
Logic and Languages of Higher-Dimensional Automata
2024 · Amazigh Amrane, Hugo Bazille, et al. · Lecture notes in computer science · 8
PDF
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
Closure and decision properties for higher-dimensional automata
2025 · Amazigh Amrane, Hugo Bazille, et al. · Theoretical Computer Science · 5
PDF
Petri Nets and Higher-Dimensional Automata
2025 · 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 · 5
PDF
Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata
2025 · Amrane, Amazigh, Bazille, Hugo, et al. · arXiv (Cornell University) · 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
Higher-Dimensional Timed Automata for Real-Time Concurrency
2024 · Amrane, Amazigh, Bazille, Hugo, et al. · arXiv (Cornell University) · 1
PDF
Equational Theories of Scattered and Countable Series-Parallel Posets
2020 · Amrane Amazigh, Nicolas Bedon · Lecture notes in computer science · 1
PDF
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
PDF
Higher-Dimensional Automata : Extension to Infinite Tracks
2025 · Passemard, Luc, Amrane, Amazigh, et al. · arXiv (Cornell University)
PDF
Posets série-parallèles transfinis : automates, logiques et théories équationnelles
2020 · Amazigh Amrane · theses.fr (ABES)
PDF
Works count: 17
Citation count: 45
H-index: 5
I10-index:
Year
Topic
Type