Karoliina Lehtinen
According to our database1,
Karoliina Lehtinen
authored at least 19 papers
between 2015 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2021
Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021
2020
CoRR, 2020
Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020
Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020
2019
Proc. ACM Program. Lang., 2019
Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019
Proceedings of the 30th International Conference on Concurrency Theory, 2019
Proceedings of the 30th International Conference on Concurrency Theory, 2019
Proceedings of the From Reactive Systems to Cyber-Physical Systems, 2019
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019
2018
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018
2017
Proceedings of the Proceedings Eighth International Symposium on Games, 2017
Proceedings of the Unveiling Dynamics and Complexity, 2017
2015
Proceedings of the Proceedings Tenth International Workshop on Fixed Points in Computer Science, 2015
Deciding the First Levels of the Modal mu Alternation Hierarchy by Formula Construction.
Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015