Amazigh AMRANE
5
Documents
Affiliations actuelles
- Laboratoire de Recherche de l'EPITA (LRE)
- Ecole Pour l'Informatique et les Techniques Avancées (EPITA)
Identifiants chercheurs
Site web
Présentation
EPITA Research and Development Laboratory (LRDE)
14-16 rue Voltaire, FR-94270 Le Kremlin-Bicetre, France
Publications
Publications
|
|
Towards an efficient conversion of petri nets into higher dimensional automataModélisation des Systèmes Réactifs (MSR'25), Nov 2025, Reims, France
Communication dans un congrès
hal-05281114
v1
|
|
|
Higher-Dimensional Automata: Extension to Infinite TracksFSCD, Jul 2025, Birmingham, United Kingdom. ⟨10.4230/LIPIcs.FSCD.2025.31⟩
Communication dans un congrès
hal-05274025
v1
|
|
|
Petri Nets and Higher-Dimensional AutomataPetri Nets 2025, Jun 2025, Aubervillers (Campus Condorcet), France. ⟨10.1007/978-3-031-94634-9_2⟩
Communication dans un congrès
hal-05013777
v1
|
|
|
Closure and decision properties for higher-dimensional automataTheoretical Computer Science, 2025, 1036, pp.115156. ⟨10.1016/j.tcs.2025.115156⟩
Article dans une revue
hal-05278036
v1
|
|
|
Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata2025
Pré-publication, Document de travail
hal-05291481
v1
|
Chargement...
Chargement...