Pierre-Alain Reynier
According to our database1,
Pierre-Alain Reynier
authored at least 56 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024
Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024
2023
2022
Log. Methods Comput. Sci., 2022
Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022
Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022
Proceedings of the 33rd International Conference on Concurrency Theory, 2022
2021
Optimal and robust controller synthesis using energy timed automata with uncertainty.
Formal Aspects Comput., 2021
Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021
2020
Int. J. Found. Comput. Sci., 2020
Proceedings of the Foundations of Software Science and Computation Structures, 2020
Proceedings of the 31st International Conference on Concurrency Theory, 2020
2019
Proceedings of the Reachability Problems - 13th International Conference, 2019
Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
2018
Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018
2017
Proceedings of the Foundations of Software Science and Computation Structures, 2017
Proceedings of the Foundations of Software Science and Computation Structures, 2017
2016
Int. J. Found. Comput. Sci., 2016
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
2015
2014
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014
2013
RAIRO Theor. Informatics Appl., 2013
Fundam. Informaticae, 2013
Proceedings of the Proceedings Second International Workshop on Trends in Tree Automata and Tree Transducers, 2013
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013
Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013
2012
Proceedings of the Developments in Language Theory - 16th International Conference, 2012
Proceedings of the Automated Technology for Verification and Analysis, 2012
2011
Proceedings of the Foundations of Software Science and Computational Structures, 2011
A Hierarchical Approach for the Synthesis of Stabilizing Controllers for Hybrid Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2011
2010
Proceedings of the Mathematical Foundations of Computer Science 2010, 2010
2009
Fundam. Informaticae, 2009
Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009
2008
Inf. Comput., 2008
Proceedings of the Foundations of Software Science and Computational Structures, 2008
2006
Proceedings of the LATIN 2006: Theoretical Informatics, 2006
Proceedings of the Automated Technology for Verification and Analysis, 2006
Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006
2005
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005