Jonni Virtema

发表

Johannes Ebbing, Lauri Hella, Arne Meier, 2013, WoLLIC.

Jonni Virtema, Jonni Virtema, 2014, Inf. Comput..

Johannes Ebbing, Lauri Hella, Jonni Virtema, 2013, WoLLIC.

Jonni Virtema, Juha Kontinen, Peter Lohmann, 2011, LICS.

Arne Meier, Jonni Virtema, Andreas Krebs, 2015, ArXiv.

Arne Meier, Jonni Virtema, Andreas Krebs, 2018, MFCS.

Jonni Virtema, Juha Kontinen, Antti Kuusisto, 2014, MFCS.

Johannes Ebbing, Lauri Hella, Jonni Virtema, 2013, WoLLIC.

Lauri Hella, Jonni Virtema, Kerkko Luosto, 2012, PODC '12.

Jonni Virtema, Jan Van den Bussche, Miika Hannula, 2020, LICS.

Jonni Virtema, Miika Hannula, Juha Kontinen, 2019, JELIA.

Jonni Virtema, Jan Van den Bussche, Dimitri Surinx, 2019, MEDI.

Jonni Virtema, Heribert Vollmer, Miika Hannula, 2018, TOCL.

Jonni Virtema, Jan Van den Bussche, Flavio Ferrarotti, 2019 .

Lauri Hella, Jonni Virtema, Katsuhiko Sano, 2014, Advances in Modal Logic.

Jonni Virtema, Heribert Vollmer, Miika Hannula, 2015, MFCS.

Jonni Virtema, Katsuhiko Sano, 2015, CSL.

Jonni Virtema, Juha Kontinen, Antti Kuusisto, 2014, ArXiv.

Arne Meier, Jonni Virtema, Andreas Krebs, 2015, 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME).

Jonni Virtema, Miika Hannula, Juha Kontinen, 2016, GandALF.

Jonni Virtema, Miika Hannula, Martin Lück, 2016 .

Jonni Virtema, Miika Hannula, Juha Kontinen, 2018, LFCS.

Jonni Virtema, Miika Hannula, Juha Kontinen, 2020, J. Log. Comput..

Jonni Virtema, Miika Hannula, Martin Lück, 2021, CSL.

Lauri Hella, Arne Meier, Jonni Virtema, 2016, MFCS.

Arne Meier, Jonni Virtema, Miika Hannula, 2015, Annals of Mathematics and Artificial Intelligence.

Jonni Virtema, Antti Kuusisto, Jeremy Meyers, 2012, CSL.

Jonni Virtema, Jan Van den Bussche, José Maria Turull Torres, 2019, WoLLIC.

Arne Meier, Jonni Virtema, Miika Hannula, 2016, FoIKS.

Jonni Virtema, Jan Van den Bussche, Flavio Ferrarotti, 2018, CSL.

Jonni Virtema, Katsuhiko Sano, 2019, Ann. Pure Appl. Log..

Arne Meier, Jonni Virtema, Miika Hannula, 2018, FoIKS.

Lauri Hella, Arne Meier, Jonni Virtema, 2017, MFCS.

Bernd Finkbeiner, Fan Yang, Jonni Virtema, 2020, ArXiv.

Jonni Virtema, Juha Kontinen, Peter Lohmann, 2011, 2011 IEEE 26th Annual Symposium on Logic in Computer Science.

Arne Meier, Jonni Virtema, Jens Oliver Gutsfeld, 2021, ArXiv.

Jonni Virtema, Heribert Vollmer, Miika Hannula, 2015 .

Jonni Virtema, Jan Van den Bussche, Miika Hannula, 2020, LICS.