Jonni Virtema
University of Tampere
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Jonni Virtema.
Distributed Computing | 2015
Lauri Hella; Matti Järvisalo; Antti Kuusisto; Juhana Laurinharju; Tuomo Lempiäinen; Kerkko Luosto; Jukka Suomela; Jonni Virtema
This work presents a classification of weak models of distributed computing. We focus on deterministic distributed algorithms, and study models of computing that are weaker versions of the widely-studied port-numbering model. In the port-numbering model, a node of degree
Information & Computation | 2017
Jonni Virtema
mathematical foundations of computer science | 2015
Miika Hannula; Juha Kontinen; Jonni Virtema; Heribert Vollmer
d
computer science logic | 2015
Katsuhiko Sano; Jonni Virtema
logic in computer science | 2011
Juha Kontinen; Antti Kuusisto; Peter Lohmann; Jonni Virtema
d receives messages through
workshop on logic language information and computation | 2015
Katsuhiko Sano; Jonni Virtema
international symposium on temporal representation and reasoning | 2015
Andreas Krebs; Arne Meier; Jonni Virtema
d
Information & Computation | 2014
Juha Kontinen; Antti Kuusisto; Peter Lohmann; Jonni Virtema
foundations of information and knowledge systems | 2016
Arnaud Durand; Miika Hannula; Juha Kontinen; Arne Meier; Jonni Virtema
d input ports and sends messages through
workshop on logic language information and computation | 2016
Katsuhiko Sano; Jonni Virtema
Collaboration
Dive into the Jonni Virtema's collaboration.
