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

Refined By:
Date Issued:  2018

Results 1-6 of 6 (Search time: 0.003 seconds).

Issue DateTitleContributor(s)TypeCat.
12018Team Semantics for the Specification and Verification of HyperpropertiesKrebs, Andreas; Meier, Arne; VIRTEMA, Jonni; Zimmermann, MartinProceedings PaperC1
22018Expressivity Within Second-Order Transitive-Closure LogicFerrarotti, Flavio; VAN DEN BUSSCHE, Jan; VIRTEMA, JonniProceedings PaperC1
32018Complexity of Propositional Logics in Team SemanticsHannula, Miika; Kontinen, Juha; VIRTEMA, Jonni; Vollmer, HeribertJournal ContributionA1
42018Probabilistic Team SemanticsDurand, Arnaud; Hannula, Miika; Kontinen, Juha; Meier, Arne; VIRTEMA, JonniProceedings PaperC1
52018Approximation and dependence via multiteam semanticsDurand, Arnaud; Hannula, Miika; Kontinen, Juha; Meier, Arne; VIRTEMA, JonniJournal ContributionA1
62018Polyteam SemanticsHannula, M; Kontinen, J; VIRTEMA, JonniProceedings PaperC1