VIRTEMA, Jonni

Email Alert RSS Feed

Profile

Full Name
VIRTEMA, Jonni
Email
jonni.virtema@uhasselt.be
 
Loading... 5 0 5 0 false
Loading... 6 0 5 0 false

Publications

Results 1-15 of 15 (Search time: 0.045 seconds).

Issue DateTitleContributor(s)TypeCat.
12025Halting Recurrent GNNs and the Graded μ-CalculusBOLLEN, Jeroen; VAN DEN BUSSCHE, Jan; VANSUMMEREN, Stijn; VIRTEMA, JonniPreprintO
4222021Descriptive complexity of deterministic polylogarithmic time and spaceFerrarotti, Flavio; Gonzalez, Senen; Turull Torres, Jose Maria; VAN DEN BUSSCHE, Jan; VIRTEMA, JonniJournal ContributionA1
4232020Polyteam semanticsHannula, Miika; Kontinen, Juha; VIRTEMA, JonniJournal ContributionA1
4242020Descriptive complexity of real computation and probabilistic independence logicHannula, Miika; Kontinen, Juha; VAN DEN BUSSCHE, Jan; VIRTEMA, JonniProceedings PaperC1
4252019Characterising Modal Definability of Team-Based Logics via the Universal ModalitySano, Katsuhiko; VIRTEMA, JonniJournal ContributionA1
4262019Model checking and validity in propositional and modal inclusion logicsHella, Lauri; Kuusisto, Antti; Meier, Arne; VIRTEMA, JonniJournal ContributionA1
4272019Facets of Distribution Identities in Probabilistic Team SemanticsHannula, Miika; Hirvonen, Asa; Kontinen, Juha; Kulikov, Vadim; VIRTEMA, JonniProceedings PaperC1
4282019Descriptive Complexity of Deterministic Polylogarithmic TimeFerrarotti, Flavio; González, Senén; Turull Torres, José María; VAN DEN BUSSCHE, Jan; VIRTEMA, JonniJournal ContributionA1
4292019Fully Generic Queries: Open Problems and Some Partial AnswersSURINX, Dimitri; VAN DEN BUSSCHE, Jan; VIRTEMA, JonniProceedings PaperC1
4302018Team Semantics for the Specification and Verification of HyperpropertiesKrebs, Andreas; Meier, Arne; VIRTEMA, Jonni; Zimmermann, MartinProceedings PaperC1
4312018Approximation and dependence via multiteam semanticsDurand, Arnaud; Hannula, Miika; Kontinen, Juha; Meier, Arne; VIRTEMA, JonniJournal ContributionA1
4322018Complexity of Propositional Logics in Team SemanticsHannula, Miika; Kontinen, Juha; VIRTEMA, Jonni; Vollmer, HeribertJournal ContributionA1
4332018Probabilistic Team SemanticsDurand, Arnaud; Hannula, Miika; Kontinen, Juha; Meier, Arne; VIRTEMA, JonniProceedings PaperC1
4342018Polyteam SemanticsHannula, M; Kontinen, J; VIRTEMA, JonniProceedings PaperC1
4352018Expressivity Within Second-Order Transitive-Closure LogicFerrarotti, Flavio; VAN DEN BUSSCHE, Jan; VIRTEMA, JonniProceedings PaperC1