J. Virtema
发表
Jonni Virtema,
Jan Van den Bussche,
Dimitri Surinx,
2019,
MEDI.
H. Vollmer,
L. Hella,
J. Virtema,
2013
.
J. Virtema,
Katsuhiko Sano,
Jonni Virtema,
2015,
Ann. Pure Appl. Log..
José Maria Turull Torres,
J. Bussche,
J. Virtema,
2019,
J. Comput. Syst. Sci..
J. Virtema,
A. Meier,
J. Gutsfeld,
2021,
LICS.
Johannes Ebbing,
Lauri Hella,
Arne Meier,
2013,
WoLLIC.
Johannes Ebbing,
Lauri Hella,
Jonni Virtema,
2013,
WoLLIC.
Lauri Hella,
Jonni Virtema,
Kerkko Luosto,
2012,
PODC '12.
Lauri Hella,
Arne Meier,
Jonni Virtema,
2016,
MFCS.
Jonni Virtema,
Katsuhiko Sano,
J. Virtema,
2016,
WoLLIC.
Jonni Virtema,
Jan Van den Bussche,
Flavio Ferrarotti,
2018,
CSL.
Arne Meier,
Jonni Virtema,
Miika Hannula,
2015,
Annals of Mathematics and Artificial Intelligence.
Jonni Virtema,
Antti Kuusisto,
Jeremy Meyers,
2012,
CSL.
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
pdf
Jonni Virtema,
Miika Hannula,
J. Virtema,
2020,
JELIA.
Jonni Virtema,
Jan Van den Bussche,
José Maria Turull Torres,
2019,
WoLLIC.
Arne Meier,
Jonni Virtema,
Miika Hannula,
2018,
FoIKS.
Arne Meier,
Jonni Virtema,
Andreas Krebs,
2015,
2015 22nd International Symposium on Temporal Representation and Reasoning (TIME).
Arne Meier,
Jonni Virtema,
Andreas Krebs,
2015,
ArXiv.
Lauri Hella,
Jonni Virtema,
Katsuhiko Sano,
2014,
Advances in Modal Logic.