Get started
Author

Hugo Bazille

Global PAC Bounds for Learning Discrete Time Markov Chains
2020 · Hugo Bazille, Blaise Genest, et al. · Lecture notes in computer science · 12
PDF
Logic and Languages of Higher-Dimensional Automata
2024 · Amazigh Amrane, Hugo Bazille, et al. · Lecture notes in computer science · 8
PDF
Closure and Decision Properties for Higher-Dimensional Automata
2023 · Amazigh Amrane, Hugo Bazille, et al. · Lecture notes in computer science · 8
PDF
On Robustness for the Skolem and Positivity Problems
2022 · Akshay, S., Bazille, Hugo, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 8
PDF
Diagnosability degree of stochastic discrete event systems
2017 · Hugo Bazille, Eric Fabre, et al. · IEEE Conference on Decision and Control (CDC) · 8
Languages of Higher-Dimensional Timed Automata
2024 · Amazigh Amrane, Hugo Bazille, et al. · Lecture notes in computer science · 6
Closure and decision properties for higher-dimensional automata
2025 · Amazigh Amrane, Hugo Bazille, et al. · Theoretical Computer Science · 5
PDF
Petri Nets and Higher-Dimensional Automata
2025 · Amazigh Amrane, Hugo Bazille, et al. · Lecture notes in computer science · 5
PDF
Presenting Interval Pomsets with Interfaces
2024 · Amazigh Amrane, Hugo Bazille, et al. · Lecture notes in computer science · 5
PDF
On The Complexity of Bounded Time Reachability for Piecewise Affine Systems
2014 · Hugo Bazille, Olivier Bournez, et al. · Lecture notes in computer science · 5
On Robustness for the Skolem, Positivity and Ultimate Positivity Problems
2024 · S. Akshay, Hugo Bazille, et al. · Logical Methods in Computer Science · 4
Automata on Graph Alphabets
2026 · Hugo Bazille, Uli Fahrenberg · Lecture notes in computer science · 2
PDF
Büchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata
2025 · Amrane, Amazigh, Bazille, Hugo, et al. · arXiv (Cornell University) · 2
PDF
Classification Among Hidden Markov Models
2019 · Akshay, S., Bazille, Hugo, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2
PDF
On the complexity of bounded time and precision reachability for piecewise affine systems
2016 · Hugo Bazille, Olivier Bournez, et al. · Theoretical Computer Science · 2
PDF
Protein design: a NP-hard problem in bioinformatics
2014 · Hugo Bazille · 2
Variants of Higher-Dimensional Automata
2026 · Hugo Bazille, Jérémy Dubut, et al. · Lecture notes in computer science · 1
PDF
Higher-Dimensional Timed Automata for Real-Time Concurrency
2024 · Amrane, Amazigh, Bazille, Hugo, et al. · arXiv (Cornell University) · 1
PDF
Certification formelle des réseaux neuronaux profonds : un état de l’art en 2019
2019 · Bazille, Hugo, Fabre, Eric, et al. · HAL · 1
PDF
Symbolically Quantifying Response Time in Stochastic Models Using Moments and Semirings
2018 · Hugo Bazille, Eric Fabre, et al. · Lecture notes in computer science · 1
PDF
Complexity reduction techniques for quantified diagnosability of stochastic systems
2018 · Hugo Bazille, Eric Fabre, et al. · IFAC-PapersOnLine · 1
Preface by the PHOCON 2026 Chairs
2026 · Amazigh Amrane, Hugo Bazille, et al. · VBN Forskningsportal (Aalborg Universitet)
Higher-Dimensional Timed Automata for Real-Time Concurrency
2026 · Amazigh Amrane, Hugo Bazille, et al. · Lecture notes in computer science
Towards an efficient conversion of petri nets into higher dimensional automata
2025 · Amrane, Amazigh, Bazille, Hugo, et al. · HAL
PDF
Detection and quantification of events in stochastic systems
2019 · Hugo Bazille · theses.fr (ABES)
PDF
Works count: 27
Citation count: 89
H-index: 6
I10-index: 1
Year
Topic
Type