Amazigh Amrane

21 papers B 4C 5Journal 11
YearRankTypeTitle / Venue / Authors
2026 B conf
Active Learning Techniques for Pomset Recognizers.
FoSSaCS
Adrien Pommellet, Amazigh Amrane, Edgar Delaporte, Geoffroy Du Prey, Oscar Peyron
2025 J jnl
Active Learning Techniques for Pomset Recognizers.
CoRR
Adrien Pommellet, Amazigh Amrane, Edgar Delaporte
2025 J jnl
Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata.
CoRR
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Marie Fortin, Krzysztof Ziemianski
2025 J jnl
Closure and decision properties for higher-dimensional automata.
Theor. Comput. Sci.
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski
2025 J jnl
Higher-Dimensional Automata : Extension to Infinite Tracks.
CoRR
Luc Passemard, Amazigh Amrane, Uli Fahrenberg
2025 B conf
Higher-Dimensional Automata: Extension to Infinite Tracks.
FSCD
Luc Passemard, Amazigh Amrane, Uli Fahrenberg
2025 B conf
Petri Nets and Higher-Dimensional Automata.
Petri Nets
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Loïc Hélouët, Philipp Schlehuber-Caissier
2025 J jnl
Petri Nets and Higher-Dimensional Automata.
CoRR
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Loïc Hélouët, Philipp Schlehuber-Caissier
2024 B conf
Languages of Higher-Dimensional Timed Automata.
Petri Nets
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg
2024 J jnl
Languages of Higher-Dimensional Timed Automata.
CoRR
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg
2024 C conf
Logic and Languages of Higher-Dimensional Automata.
DLT
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Marie Fortin
2024 J jnl
Logic and Languages of Higher-Dimensional Automata.
CoRR
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Marie Fortin
2024 C conf
Presenting Interval Pomsets with Interfaces.
RAMiCS
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski
2024 J jnl
Presenting Interval Pomsets with Interfaces.
CoRR
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski
2023 C conf
Closure and Decision Properties for Higher-Dimensional Automata.
ICTAC
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski
2023 J jnl
Developments in Higher-Dimensional Automata Theory.
CoRR
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski
2020 C conf
Equational Theories of Scattered and Countable Series-Parallel Posets.
DLT
Amazigh Amrane, Nicolas Bedon
2020 J jnl
Logic and rational languages of scattered and countable series-parallel posets.
Theor. Comput. Sci.
Amazigh Amrane, Nicolas Bedon
2020 — —
Posets série-parallèles transfinis : automates, logiques et théories équationnelles. (Series-parallel posets : automata, logic and equational theories).
Amazigh Amrane
2019 C conf
Logic and Rational Languages of Scattered and Countable Series-Parallel Posets.
LATA
Amazigh Amrane, Nicolas Bedon
2019 J jnl
Logic and Rational Languages of Scattered and Countable Series-Parallel Posets.
CoRR
Amazigh Amrane, Nicolas Bedon