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 | 6 | 2023 |
Equational theories of scattered and countable series-parallel posets A Amazigh, N Bedon International Conference on Developments in Language Theory, 1-13, 2020 | 2 | 2020 |
Logic and rational languages of scattered and countable series-parallel posets A Amrane, N Bedon Theoretical Computer Science 809, 538-562, 2020 | 2 | 2020 |
Languages of Higher-Dimensional Timed Automata A Amrane, H Bazille, E Clement, U Fahrenberg arXiv preprint arXiv:2401.17444, 2024 | 1 | 2024 |
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 |