Lei Song
Orcid: 0000-0003-2552-0443Affiliations:
- University of Technology Sydney, Quantum Computation and Intelligent Systems, Australia (since 2014)
- Saarland University, Department of Computer Science, Saarbrücken, Germany (2012 - 2014)
- Max Planck Institute for Informatics, Saarbrücken, Germany (2012 - 2014)
- IT University of Copenhagen, Denmark (2009 - 2012)
- Shanghai Jiao Tong University, China (2009 - 2012)
According to our database1,
Lei Song
authored at least 16 papers
between 2010 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on scopus.com
-
on orcid.org
On csauthors.net:
Bibliography
2023
J. Comput. Sci. Technol., September, 2023
2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
2016
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016
Proceedings of the Language and Automata Theory and Applications, 2016
2015
Proceedings of the FM 2015: Formal Methods, 2015
2014
ACM Trans. Embed. Comput. Syst., 2014
Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014
2013
Log. Methods Comput. Sci., 2013
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013
2012
Proceedings of the Theoretical Computer Science, 2012
2011
Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011
2010
Proceedings of the Theoretical Computer Science, 2010