by Valmari, Antti
Published in Acta informatica (01.10.2020)

by Devillers, Raymond, Valmari, Antti
Year of Publication 2015

by Valmari, Antti
Published in Information processing letters (15.03.2012)

by Valmari, Antti
Published in Logical methods in computer science (12.11.2013)

by Valmari, Antti
Published in Electronic proceedings in theoretical computer science (21.05.2014)

by Neele, Thomas, Valmari, Antti, Willemse, Tim A. C.
Published in Logical methods in computer science (01.01.2021)

by Valmari, Antti, Hansen, Henri
Published in Fundamenta informaticae (2014)

by Kaarakka, Terhi, Helkala, Kirsi, Valmari, Antti, Joutsenlahti, Marjukka
Published in LUMAT (2019)

by Valmari, A
Published in Proceedings of the Estonian Academy of Sciences (01.01.2013)

by Valmari, Antti, Vogler, Walter
Published in Fundamenta informaticae (01.01.2021)

by Valmari, Antti
Published in Concurrency, Security, and Puzzles (2016)

by Valmari, Antti, Vogler, Walter
Published in International journal on software tools for technology transfer (01.10.2018)

by Valmari, Antti
Published in Acta informatica (01.04.2015)

by Piipponen, Artturi, Valmari, Antti
Published in Fundamenta informaticae (04.03.2016)

by Valmari, Antti
Published in 2015 15th International Conference on Application of Concurrency to System Design (01.06.2015)

by Valmari, Antti
Published in 2016 16th International Conference on Application of Concurrency to System Design (ACSD) (01.06.2016)

by Hansen, Henri, Valmari, Antti
Published in Reachability Problems (01.01.2016)

by Valmari, Antti
Year of Publication 30.07.2014

by Valmari, Antti
Published in Fundamenta informaticae (2010)

by Valmari, Antti
Published in Acta cybernetica (Szeged) (2014)