The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jonni Virtema" ( http://dblp.L3S.de/Authors/Jonni_Virtema )

URL (Homepage):  https://orcid.org/0000-0002-1582-3718  Author page on DBLP  Author page in RDF  Community of Jonni Virtema in ASPL-2

Publication years (Num. hits)
2011-2014 (16) 2015-2017 (18) 2018-2019 (15)
Publication types (Num. hits)
article(26) inproceedings(23)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 50 publication records. Showing 49 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Flavio Ferrarotti, Senén González, José Maria Turull Torres, Jan Van den Bussche, Jonni Virtema Descriptive Complexity of Deterministic Polylogarithmic Time. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Katsuhiko Sano, Jonni Virtema Characterising modal definability of team-based logics via the universal modality. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Lauri Hella, Antti Kuusisto, Arne Meier, Jonni Virtema Model checking and validity in propositional and modal inclusion logics. Search on Bibsonomy J. Log. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Flavio Ferrarotti, Senén González, José Maria Turull Torres, Jan Van den Bussche, Jonni Virtema Descriptive Complexity of Deterministic Polylogarithmic Time. Search on Bibsonomy WoLLIC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dimitri Surinx, Jan Van den Bussche, Jonni Virtema Fully Generic Queries: Open Problems and Some Partial Answers. Search on Bibsonomy MEDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Miika Hannula, Åsa Hirvonen, Juha Kontinen, Vadim Kulikov, Jonni Virtema Facets of Distribution Identities in Probabilistic Team Semantics. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer Complexity of Propositional Logics in Team Semantic. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Arnaud Durand 0001, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema Approximation and dependence via multiteam semantics. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Arnaud Durand 0001, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema Probabilistic team semantics. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Flavio Ferrarotti, Jan Van den Bussche, Jonni Virtema Expressivity within second-order transitive-closure logic. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Miika Hannula, Åsa Hirvonen, Juha Kontinen, Vadim Kulikov, Jonni Virtema Facets of Distribution Identities in Probabilistic Team Semantics. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Andreas Krebs, Arne Meier, Jonni Virtema, Martin Zimmermann 0002 Team Semantics for the Specification and Verification of Hyperproperties. Search on Bibsonomy MFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Miika Hannula, Juha Kontinen, Jonni Virtema Polyteam Semantics. Search on Bibsonomy LFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Flavio Ferrarotti, Jan Van den Bussche, Jonni Virtema Expressivity Within Second-Order Transitive-Closure Logic. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Arnaud Durand 0001, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema Probabilistic Team Semantics. Search on Bibsonomy FoIKS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema Boolean dependence logic and partially-ordered connectives. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Miika Hannula, Juha Kontinen, Jonni Virtema Polyteam Semantics. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Andreas Krebs, Arne Meier, Jonni Virtema, Martin Zimmermann 0002 Team Semantics for the Specification and Verification of Hyperproperties. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Jonni Virtema Complexity of validity for propositional dependence logics. Search on Bibsonomy Inf. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lauri Hella, Antti Kuusisto, Arne Meier, Jonni Virtema Model Checking and Validity in Propositional and Modal Inclusion Logics. Search on Bibsonomy MFCS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lauri Hella, Antti Kuusisto, Arne Meier, Jonni Virtema Model Checking and Validity in Propositional and Modal Inclusion Logics. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Miika Hannula, Juha Kontinen, Martin Lück, Jonni Virtema On Quantified Propositional Logics and the Exponential Time Hierarchy. Search on Bibsonomy GandALF The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Katsuhiko Sano, Jonni Virtema Characterizing Relative Frame Definability in Team Semantics via the Universal Modality. Search on Bibsonomy WoLLIC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Juha Kontinen, Antti Kuusisto, Jonni Virtema Decidability of Predicate Logics with Team Semantics. Search on Bibsonomy MFCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Arnaud Durand 0001, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema Approximation and Dependence via Multiteam Semantics. Search on Bibsonomy FoIKS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema Weak models of distributed computing, with connections to modal logic. Search on Bibsonomy Distributed Computing The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer Complexity of Propositional Independence and Inclusion Logic. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Arnaud Durand 0001, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema Approximation and Dependence via Multiteam Semantics. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Andreas Krebs, Arne Meier, Jonni Virtema Parallel Computational Tree Logic. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Katsuhiko Sano, Jonni Virtema Characterizing Frame Definability in Team Semantics via the Universal Modality. Search on Bibsonomy WoLLIC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer Complexity of Propositional Independence and Inclusion Logic. Search on Bibsonomy MFCS (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Andreas Krebs, Arne Meier, Jonni Virtema A Team Based Variant of CTL. Search on Bibsonomy TIME The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Katsuhiko Sano, Jonni Virtema Axiomatizing Propositional Dependence Logics. Search on Bibsonomy CSL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Lauri Hella, Kerkko Luosto, Katsuhiko Sano, Jonni Virtema The Expressive Power of Modal Dependence Logic. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Jonni Virtema Complexity of validity for propositional dependence logics. Search on Bibsonomy GandALF The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema Boolean Dependence Logic and Partially-Ordered Connectives. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Juha Kontinen, Antti Kuusisto, Jonni Virtema Decidable Fragments of Logics Based on Team Semantics. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Katsuhiko Sano, Jonni Virtema Axiomatizing Propositional Dependence Logics. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema Complexity of two-variable dependence logic and IF-logic. Search on Bibsonomy Inf. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Lauri Hella, Kerkko Luosto, Katsuhiko Sano, Jonni Virtema The Expressive Power of Modal Dependence Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Antti Kuusisto, Jeremy Meyers, Jonni Virtema Undecidable First-Order Theories of Affine Geometries. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Johannes Ebbing, Lauri Hella, Arne Meier, Julian-Steffen Müller, Jonni Virtema, Heribert Vollmer Extended Modal Dependence Logic. Search on Bibsonomy WoLLIC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema Boolean Dependence Logic and Partially-Ordered Connectives. Search on Bibsonomy WoLLIC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Lauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema Weak Models of Distributed Computing, with Connections to Modal Logic Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Antti Kuusisto, Jeremy Meyers, Jonni Virtema Undecidable First-Order Theories of Affine Geometries Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Lauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema Weak models of distributed computing, with connections to modal logic. Search on Bibsonomy PODC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Antti Kuusisto, Jeremy Meyers, Jonni Virtema Undecidable First-Order Theories of Affine Geometries. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema Complexity of two-variable Dependence Logic and IF-Logic Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema Complexity of Two-Variable Dependence Logic and IF-Logic. Search on Bibsonomy LICS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #49 of 49 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license