EDBT 2026 Demo / reviewers in the wild / expert

Amazigh Amrane

dblp:237/1676 · DBLP profile ↗
← Back
11ranked-venue papers
9as first author
8since 2021 · last 2026
0009-0008-7577-6715ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 9 · 7 first-author · 6 since 2021Software engineering, systems software and programming languages · 1 · 1 since 2021
YearPublicationVenuePosition
2026 Active Learning Techniques for Pomset Recognizers
Adrien Pommellet, Amazigh Amrane, Edgar Delaporte, Geoffroy Du Prey, Oscar Peyron
 FoSSaCS2
2025 Petri Nets and Higher-Dimensional Automata
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Loïc Hélouët, Philipp Schlehuber-Caissier
 Petri Nets1
2025 Higher-Dimensional Automata: Extension to Infinite Tracks
abstract
International audience
Luc Passemard, Amazigh Amrane, Uli Fahrenberg
 FSCD2
2025 Closure and decision properties for higher-dimensional automata
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski
 Theor. Comput. Sci.1
2024 Presenting Interval Pomsets with Interfaces
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski
 RAMiCS1
2024 Languages of Higher-Dimensional Timed Automata
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg
 Petri Nets1
2024 Logic and Languages of Higher-Dimensional Automata
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Marie Fortin
 DLT1
2023 Closure and Decision Properties for Higher-Dimensional Automata
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski
 ICTAC1
2020 Equational Theories of Scattered and Countable Series-Parallel Posets
Amazigh Amrane, Nicolas Bedon
 DLT1
2020 Logic and rational languages of scattered and countable series-parallel posets
Amazigh Amrane, Nicolas Bedon
 Theor. Comput. Sci.1
2019 Logic and Rational Languages of Scattered and Countable Series-Parallel Posets
Amazigh Amrane, Nicolas Bedon
 LATA1