Suivre
Amrane Amazigh
Amrane Amazigh
Laboratoire de Recherche de l'EPITA
Adresse e-mail validée de epita.fr - Page d'accueil
Titre
Citée par
Citée par
Année
Closure and decision properties for higher-dimensional automata
A Amrane, H Bazille, U Fahrenberg, K Ziemiański
International Colloquium on Theoretical Aspects of Computing, 295-312, 2023
62023
Equational theories of scattered and countable series-parallel posets
A Amazigh, N Bedon
International Conference on Developments in Language Theory, 1-13, 2020
22020
Logic and rational languages of scattered and countable series-parallel posets
A Amrane, N Bedon
Theoretical Computer Science 809, 538-562, 2020
22020
Languages of Higher-Dimensional Timed Automata
A Amrane, H Bazille, E Clement, U Fahrenberg
arXiv preprint arXiv:2401.17444, 2024
12024
Logic and Languages of Higher-Dimensional Automata
A Amrane, H Bazille, U Fahrenberg, M Fortin
arXiv preprint arXiv:2403.19526, 2024
2024
Presenting Interval Pomsets with Interfaces
A Amrane, H Bazille, E Clement, U Fahrenberg, K Ziemianski
arXiv preprint arXiv:2403.16626, 2024
2024
Developments in Higher-Dimensional Automata Theory
A Amrane, H Bazille, U Fahrenberg, K Ziemiański
arXiv preprint arXiv:2305.02873, 2023
2023
Posets série-parallèles transfinis: automates, logiques et théories équationnelles
A Amrane
Normandie Université, 2020
2020
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–8