Michaël Cadilhac
Orcid: 0000-0001-9828-9129Affiliations:
- DePaul University, Chicago, IL, USA
According to our database1,
Michaël Cadilhac
authored at least 29 papers
between 2006 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023
2022
Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022
2021
SIGACT News, 2021
2020
Log. Methods Comput. Sci., 2020
Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020
Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020
2019
Proceedings of the Foundations of Software Science and Computation Structures, 2019
2017
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017
Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017
2016
SIGACT News, 2016
Proceedings of the Developments in Language Theory - 20th International Conference, 2016
2015
Proceedings of the Mathematical Foundations of Computer Science 2015, 2015
2014
Review of graph structure and monadic second-order logic: a language-theoretic approach by Bruno Courcelle and Joost Engelfriet.
SIGACT News, 2014
Extremely uniform branching programs.
Proceedings of the Sixth Workshop on Non-Classical Models for Automata and Applications, 2014
2013
SIGACT News, 2013
2012
Review of handbook of weighted automata, edited by Manfred Droste, Werner Kuich and Heiko Vogler.
SIGACT News, 2012
2011
On the Expressiveness of Parikh Automata and Related Models.
Proceedings of the Third Workshop on Non-Classical Models for Automata and Applications - NCMA 2011, Milan, Italy, July 18, 2011
2006
Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, 2006