Amazigh AMRANE
- Laboratoire de Recherche de l'EPITA (LRE)
- Ecole Pour l'Informatique et les Techniques Avancées (EPITA)
Présentation
EPITA Research and Development Laboratory (LRDE) 14-16 rue Voltaire, FR-94270 Le Kremlin-Bicetre, France
Publications
Publications
|
|
Active Learning Techniques for Pomset RecognizersFoSSaCS 2026 - 29th International Conference on Foundations of Software Science and Computation Structures, Apr 2026, Turin, Italy. ⟨10.48550/arXiv.2501.03914⟩ |
|
|
Towards an efficient conversion of petri nets into higher dimensional automataModélisation des Systèmes Réactifs (MSR'25), Nov 2025, Reims, France |
|
|
Petri nets and higher-dimensional automataThe 46th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets), Jun 2025, Aubervillers, France. pp.18-40, ⟨10.1007/978-3-031-94634-9_2⟩ |
|
|
Higher-Dimensional Automata: Extension to Infinite TracksFSCD 2025 - 10th International Conference on Formal Structures for Computation and Deduction, Jul 2025, Birmingham, United Kingdom. ⟨10.4230/LIPIcs.FSCD.2025.31⟩ |
|
|
Closure and decision properties for higher-dimensional automataTheoretical Computer Science, 2025, 1036, pp.115156. ⟨10.1016/j.tcs.2025.115156⟩ |
|
|
Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata2025 |