Loïg Jezequel
Orcid: 0000-0001-5113-9668
According to our database1,
Loïg Jezequel
authored at least 22 papers
between 2009 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
2022
0
1
2
3
4
1
1
1
1
1
2
2
1
1
1
1
2
1
2
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2022
2021
Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019.
Int. J. Softw. Tools Technol. Transf., 2021
An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted Graphs.
Proceedings of the Language and Automata Theory and Applications, 2021
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2021
2020
Discret. Event Dyn. Syst., 2020
2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
2018
Trans. Petri Nets Other Model. Concurr., 2018
Proceedings of the Language and Automata Theory and Applications, 2018
2017
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017
2016
Trans. Petri Nets Other Model. Concurr., 2016
Proceedings of the 27th International Conference on Concurrency Theory, 2016
2015
ACM Trans. Embed. Comput. Syst., 2015
Fundam. Informaticae, 2015
2014
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014
Proceedings of the Computational Methods in Systems Biology, 2014
2013
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013
2012
PhD thesis, 2012
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
2010
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010
Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010
2009
Proceedings of the 48th IEEE Conference on Decision and Control, 2009