Hugo Bazille

25 papers A 1B 3C 3Journal 13Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Automata on Graph Alphabets.
CoRR
Hugo Bazille, Uli Fahrenberg
2026 J jnl
Variants of Higher-Dimensional Automata.
CoRR
Hugo Bazille, Jérémy Dubut, Uli Fahrenberg, Krzysztof Ziemianski
2025 J jnl
Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata.
CoRR
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Marie Fortin, Krzysztof Ziemianski
2025 J jnl
Closure and decision properties for higher-dimensional automata.
Theor. Comput. Sci.
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski
2025 B conf
Petri Nets and Higher-Dimensional Automata.
Petri Nets
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Loïc Hélouët, Philipp Schlehuber-Caissier
2025 J jnl
Petri Nets and Higher-Dimensional Automata.
CoRR
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Loïc Hélouët, Philipp Schlehuber-Caissier
2024 B conf
Languages of Higher-Dimensional Timed Automata.
Petri Nets
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg
2024 J jnl
Languages of Higher-Dimensional Timed Automata.
CoRR
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg
2024 C conf
Logic and Languages of Higher-Dimensional Automata.
DLT
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Marie Fortin
2024 J jnl
Logic and Languages of Higher-Dimensional Automata.
CoRR
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Marie Fortin
2024 J jnl
On Robustness for the Skolem, Positivity and Ultimate Positivity Problems.
Log. Methods Comput. Sci.
S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala
2024 C conf
Presenting Interval Pomsets with Interfaces.
RAMiCS
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski
2024 J jnl
Presenting Interval Pomsets with Interfaces.
CoRR
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski
2023 C conf
Closure and Decision Properties for Higher-Dimensional Automata.
ICTAC
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski
2023 J jnl
Developments in Higher-Dimensional Automata Theory.
CoRR
Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski
2022 A conf
On Robustness for the Skolem and Positivity Problems.
STACS
S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala
2022 J jnl
On Robustness for the Skolem, Positivity and Ultimate Positivity Problems.
CoRR
S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala
2020 — conf
Global PAC Bounds for Learning Discrete Time Markov Chains.
CAV (2)
Hugo Bazille, Blaise Genest, Cyrille Jégourel, Jun Sun
2019 — conf
Classification Among Hidden Markov Models.
FSTTCS
S. Akshay, Hugo Bazille, Eric Fabre, Blaise Genest
2019 — —
Detection and Quantification of Events in Stochastic Systems. (Détection et Quantification d'Evenements dans les Systèmes Stochastiques).
Hugo Bazille
2018 J jnl
On the complexity of bounded time and precision reachability for piecewise affine systems.
Theor. Comput. Sci.
Hugo Bazille, Olivier Bournez, Walid Gomaa, Amaury Pouly
2018 B conf
Symbolically Quantifying Response Time in Stochastic Models Using Moments and Semirings.
FoSSaCS
Hugo Bazille, Eric Fabre, Blaise Genest
2017 — conf
Diagnosability degree of stochastic discrete event systems.
CDC
Hugo Bazille, Eric Fabre, Blaise Genest
2016 J jnl
On The Complexity of Bounded Time Reachability for Piecewise Affine Systems.
CoRR
Hugo Bazille, Olivier Bournez, Walid Gomaa, Amaury Pouly
2014 — conf
On The Complexity of Bounded Time Reachability for Piecewise Affine Systems.
RP
Hugo Bazille, Olivier Bournez, Walid Gomaa, Amaury Pouly