Max Sandström

Orcid: 0000-0002-6365-2562

According to our database¹, Max Sandström authored at least 4 papers between 2021 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Expressivity of asynchronous TeamLTL and HyperLTL.

[DOI]

Acta Informatica, June, 2026

2024

A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL.

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2024

2023

Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity.

[DOI]

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

2021

On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties.

[DOI]

Proceedings of the Logic, Language, Information, and Computation, 2021