| Diagnosability degree of stochastic discrete event systems H Bazille, E Fabre, B Genest 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 5726-5731, 2017 | 12 | 2017 |
| Global PAC bounds for learning discrete time Markov chains H Bazille, B Genest, C Jégourel, J Sun Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020 | 11 | 2020 |
| On robustness for the skolem and positivity problems S Akshay, H Bazille, B Genest, M Vahanwala STACS 2022-39th International Symposium on Theoretical Aspects of Computer …, 2022 | 9 | 2022 |
| Classification among hidden Markov models S Akshay, H Bazille, E Fabre, B Genest FSTTCS 2019-39th IARCS Annual Conference on Foundations of Software …, 2019 | 8 | 2019 |
| Closure and decision properties for higher-dimensional automata A Amrane, H Bazille, U Fahrenberg, K Ziemiański International Colloquium on Theoretical Aspects of Computing, 295-312, 2023 | 7 | 2023 |
| On the complexity of bounded time reachability for piecewise affine systems H Bazille, O Bournez, W Gomaa, A Pouly Reachability Problems: 8th International Workshop, RP 2014, Oxford, UK …, 2014 | 6 | 2014 |
| Logic and languages of higher-dimensional automata A Amrane, H Bazille, U Fahrenberg, M Fortin International Conference on Developments in Language Theory, 51-67, 2024 | 4 | 2024 |
| Languages of higher-dimensional timed automata A Amrane, H Bazille, E Clement, U Fahrenberg International Conference on Applications and Theory of Petri Nets and …, 2024 | 4 | 2024 |
| On robustness for the skolem, positivity and ultimate positivity problems S Akshay, H Bazille, B Genest, M Vahanwala Logical Methods in Computer Science 20, 2024 | 3 | 2024 |
| On the complexity of bounded time and precision reachability for piecewise affine systems H Bazille, O Bournez, W Gomaa, A Pouly Theoretical Computer Science 735, 132-146, 2018 | 2 | 2018 |
| Symbolically quantifying response time in stochastic models using moments and semirings H Bazille, E Fabre, B Genest Foundations of Software Science and Computation Structures: 21st …, 2018 | 2 | 2018 |
| Complexity reduction techniques for quantified diagnosability of stochastic systems H Bazille, E Fabre, B Genest IFAC-PapersOnLine 51 (7), 82-87, 2018 | 2 | 2018 |
| Presenting Interval Pomsets with Interfaces A Amrane, H Bazille, E Clement, U Fahrenberg, K Ziemiański International Conference on Relational and Algebraic Methods in Computer …, 2024 | 1 | 2024 |
| Computational Protein Design: trying an Answer Set Programming approach to solve the problem H Bazille, J Nicolas 10th Workshop on Constraint-Based Methods for Bioinformatics (WCB'14), 2014 | 1 | 2014 |
| Protein design: a NP-hard problem in bioinformatics H Bazille Computer Science, 1-33, 2014 | 1 | 2014 |
| Developments in Higher-Dimensional Automata Theory. A Amrane, H Bazille, U Fahrenberg, K Ziemianski CoRR, 2023 | | 2023 |
| Detection and quantification of events in stochastic systems H Bazille Université de Rennes, 2019 | | 2019 |
| Certification formelle des réseaux neuronaux profonds: un état de l’art en 2019 H Bazille, E Fabre, B Genest AI and Defense 2019-Artificial Intelligence and defense, 1-10, 2019 | | 2019 |
| Detection and quantification of events in stochastic systems| Theses. fr H Bazille Rennes 1, 2019 | | 2019 |
| ON THE COMPLEXITY OF BOUNDED TIME REACHABILITY FOR PIECEWISE AFFINE SYSTEMS O BOURNEZ, A POULY, W GOMAA, H BAZILLE LECTURE NOTES IN COMPUTER SCIENCE 8762, 20-31, 2014 | | 2014 |
S AkshayIIT BombayDirección de correo verificada de cse.iitb.ac.in
