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:
Type:  Proceedings Paper

Results 1-7 of 7 (Search time: 0.002 seconds).

Issue DateTitleContributor(s)TypeCat.
12020Descriptive complexity of real computation and probabilistic independence logicHannula, Miika; Kontinen, Juha; VAN DEN BUSSCHE, Jan; VIRTEMA, JonniProceedings PaperC1
22019Facets of Distribution Identities in Probabilistic Team SemanticsHannula, Miika; Hirvonen, Asa; Kontinen, Juha; Kulikov, Vadim; VIRTEMA, JonniProceedings PaperC1
32019Fully Generic Queries: Open Problems and Some Partial AnswersSURINX, Dimitri; VAN DEN BUSSCHE, Jan; VIRTEMA, JonniProceedings PaperC1
42018Team Semantics for the Specification and Verification of HyperpropertiesKrebs, Andreas; Meier, Arne; VIRTEMA, Jonni; Zimmermann, MartinProceedings PaperC1
52018Expressivity Within Second-Order Transitive-Closure LogicFerrarotti, Flavio; VAN DEN BUSSCHE, Jan; VIRTEMA, JonniProceedings PaperC1
62018Probabilistic Team SemanticsDurand, Arnaud; Hannula, Miika; Kontinen, Juha; Meier, Arne; VIRTEMA, JonniProceedings PaperC1
72018Polyteam SemanticsHannula, M; Kontinen, J; VIRTEMA, JonniProceedings PaperC1