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 | 7 | 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 | 4 | 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 | 4 | 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 |
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 | 1 | 2024 |
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 |