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 | 9 | 2023 |
Logic and languages of higher-dimensional automata A Amrane, H Bazille, U Fahrenberg, M Fortin International Conference on Developments in Language Theory, 51-67, 2024 | 8 | 2024 |
Presenting interval pomsets with interfaces A Amrane, H Bazille, E Clement, U Fahrenberg, K Ziemiański International Conference on Relational and Algebraic Methods in Computer …, 2024 | 5 | 2024 |
Languages of higher-dimensional timed automata A Amrane, H Bazille, E Clement, U Fahrenberg International Conference on Applications and Theory of Petri Nets and …, 2024 | 5 | 2024 |
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 |
Petri Nets and Higher-Dimensional Automata A Amrane, H Bazille, U Fahrenberg, L Hélouët, P Schlehuber-Caissier arXiv preprint arXiv:2502.02354, 2025 | | 2025 |
Active Learning Techniques for Pomset Recognizers A Pommellet, A Amrane, E Delaporte arXiv preprint arXiv:2501.03914, 2025 | | 2025 |
Developments in Higher-Dimensional Automata Theory. A Amrane, H Bazille, U Fahrenberg, K Ziemianski CoRR, 2023 | | 2023 |
Posets série-parallèles transfinis: automates, logiques et théories équationnelles A Amrane Normandie Université, 2020 | | 2020 |
M2 Internship: Variants of Higher-Dimensional Automata A Amrane, U Fahrenberg | | |