Skip to content

Hugo Bazille

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

5

Venues

5

Active years

2018–2024

Best venue rank

A*

Where they publish

Papers

5 indexed papers, newest first.

YearVenueTitleAuthors
2024DLTLogic and Languages of Higher-Dimensional Automata.Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Marie Fortin
2023ICTACClosure and Decision Properties for Higher-Dimensional Automata.Amazigh Amrane, Hugo Bazille, Uli Fahrenberg, Krzysztof Ziemianski
2022STACSOn Robustness for the Skolem and Positivity Problems.S. Akshay, Hugo Bazille, Blaise Genest, Mihir Vahanwala
2020CAVGlobal PAC Bounds for Learning Discrete Time Markov Chains.Hugo Bazille, Blaise Genest, Cyrille Jgourel, Jun Sun
2018FOSSACSSymbolically Quantifying Response Time in Stochastic Models Using Moments and Semirings.Hugo Bazille, Eric Fabre, Blaise Genest