The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Juha Kontinen" ( http://dblp.L3S.de/Authors/Juha_Kontinen )

URL (Homepage):  https://orcid.org/0000-0003-0115-5154  Author page on DBLP  Author page in RDF  Community of Juha Kontinen in ASPL-2

Publication years (Num. hits)
2006-2011 (18) 2012-2014 (23) 2015-2016 (22) 2017-2019 (19)
Publication types (Num. hits)
article(48) book(2) incollection(4) inproceedings(28)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords

Results
Found 83 publication records. Showing 82 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Erich Grädel, Phokion G. Kolaitis, Juha Kontinen, Heribert Vollmer Logics for Dependence and Independence (Dagstuhl Seminar 19031). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Anselm Haak, Juha Kontinen, Fabian Müller 0003, Heribert Vollmer, Fan Yang 0004 Counting of Teams in First-Order Team Logics. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Jukka Corander, Antti Hyttinen, Juha Kontinen, Johan Pensar, Jouko Väänänen A logical approach to context-specific independence. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Juha Kontinen, Fan Yang 0004 Logics for First-Order Team Properties. Search on Bibsonomy WoLLIC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Åsa Hirvonen, Juha Kontinen, Arno Pauly Continuous Team Semantics. Search on Bibsonomy TAMC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Anselm Haak, Juha Kontinen, Fabian Müller 0003, Heribert Vollmer, Fan Yang 0004 Counting of Teams in First-Order Team Logics. Search on Bibsonomy MFCS 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
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
1Antti Hyttinen, Johan Pensar, Juha Kontinen, Jukka Corander Structure Learning for Bayesian Networks over Labeled DAGs. Search on Bibsonomy PGM The full citation details ... 2018 DBLP  BibTeX  RDF
1Miika Hannula, Juha Kontinen, Jonni Virtema Polyteam Semantics. Search on Bibsonomy LFCS 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
1Fredrik Engström, Juha Kontinen, Jouko Väänänen Dependence logic with generalized quantifiers: Axiomatizations. 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
1Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer Modal independence logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Miika Hannula, Juha Kontinen, Sebastian Link On the Interaction of Inclusion Dependencies with Independence Atoms. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Juha Kontinen Computational Aspects of Logics in Team Semantics (Tutorial). Search on Bibsonomy STACS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Miika Hannula, Juha Kontinen, Sebastian Link On the finite and general implication problems of independence atoms and keys. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Arnaud Durand 0001, Anselm Haak, Juha Kontinen, Heribert Vollmer Descriptive Complexity of #AC0 Functions. 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
1Miika Hannula, Juha Kontinen A finite axiomatization of conditional independence and inclusion dependencies. Search on Bibsonomy Inf. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer (eds.) Dependence Logic, Theory and Applications Search on Bibsonomy 2016 DBLP  DOI  BibTeX  RDF
1Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer Introduction. Search on Bibsonomy Dependence Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Arnaud Durand 0001, Juha Kontinen, Heribert Vollmer Expressivity and Complexity of Dependence Logic. Search on Bibsonomy Dependence Logic The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jukka Corander, Antti Hyttinen, Juha Kontinen, Johan Pensar, Jouko Väänänen A Logical Approach to Context-Specific Independence. 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, Anselm Haak, Juha Kontinen, Heribert Vollmer Descriptive Complexity of #AC0 Functions. Search on Bibsonomy CSL 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
1Erich Grädel, Juha Kontinen, Jouko Väänänen, Heribert Vollmer Logics for Dependence and Independence (Dagstuhl Seminar 15261). Search on Bibsonomy Dagstuhl Reports 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, Juha Kontinen, Nicolas de Rugy-Altherre, Jouko Väänänen Tractability Frontier of Data Complexity in Team Semantics. Search on Bibsonomy GandALF The full citation details ... 2015 DBLP  DOI  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
1Arnaud Durand 0001, Johannes Ebbing, Juha Kontinen, Heribert Vollmer Dependence Logic with a Majority Quantifier. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Miika Hannula, Juha Kontinen Hierarchies in independence and inclusion logic with strict semantics. Search on Bibsonomy J. Log. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Åsa Hirvonen, Juha Kontinen, Roman Kossak, Andrés Villaveces (eds.) Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics Search on Bibsonomy 2015 DBLP  DOI  BibTeX  RDF
1Åsa Hirvonen, Juha Kontinen, Roman Kossak, Andrés Villaveces From the editors. Search on Bibsonomy Logic Without Borders The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Juha Kontinen On Natural Deduction in Dependence Logic. Search on Bibsonomy Logic Without Borders 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
1Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer A Van Benthem Theorem for Modal Team Semantics. Search on Bibsonomy CSL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Juha Kontinen, Jakub Szymanik A characterization of definability of second-order generalized quantifiers with applications to non-definability. Search on Bibsonomy J. Comput. Syst. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Miika Hannula, Juha Kontinen Hierarchies in independence and inclusion logic with strict semantics. 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
1Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer A Van Benthem Theorem for Modal Team Semantics. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Miika Hannula, Juha Kontinen, Sebastian Link On Independence Atoms and Keys. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Johannes Ebbing, Juha Kontinen, Julian-Steffen Müller, Heribert Vollmer A Fragment of Dependence Logic Capturing Polynomial Time Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer Modal Independence Logic. 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
1Miika Hannula, Juha Kontinen, Sebastian Link On Independence Atoms and Keys. Search on Bibsonomy CIKM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer Modal Independence Logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Miika Hannula, Juha Kontinen A Finite Axiomatization of Conditional Independence and Inclusion Dependencies. Search on Bibsonomy FoIKS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Fredrik Engström, Juha Kontinen Characterizing quantifier extensions of dependence logic. Search on Bibsonomy J. Symb. Log. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Samson Abramsky, Juha Kontinen, Jouko A. Väänänen, Heribert Vollmer Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Juha Kontinen, Jouko A. Väänänen, Dag Westerståhl Editorial Introduction. Search on Bibsonomy Studia Logica The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pietro Galliani, Miika Hannula, Juha Kontinen Hierarchies in independence logic Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Miika Hannula, Juha Kontinen A finite axiomatization of conditional independence and inclusion dependencies. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Fredrik Engström, Juha Kontinen, Jouko A. Väänänen Dependence Logic with Generalized Quantifiers: Axiomatizations Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Juha Kontinen, Jouko A. Väänänen Axiomatizing first-order consequences in dependence logic. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Fredrik Engström, Juha Kontinen, Jouko A. Väänänen Dependence Logic with Generalized Quantifiers: Axiomatizations. Search on Bibsonomy WoLLIC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Juha Kontinen, Sebastian Link, Jouko A. Väänänen Independence in Database Relations. Search on Bibsonomy WoLLIC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pietro Galliani, Miika Hannula, Juha Kontinen Hierarchies in independence logic. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Arnaud Durand 0001, Juha Kontinen Hierarchies in Dependence Logic. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Juha Kontinen, Jouko A. Väänänen Axiomatizing first order consequences in dependence logic Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Juha Kontinen, Ville Nurmi Team Logic and Second-Order Logic. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Juha Kontinen, Jouko A. Väänänen A Remark on Negation in Dependence Logic. Search on Bibsonomy Notre Dame Journal of Formal Logic The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Arnaud Durand 0001, Johannes Ebbing, Juha Kontinen, Heribert Vollmer Dependence logic with a majority quantifier 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 CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Arnaud Durand 0001, Juha Kontinen Hierarchies in Dependence Logic Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Juha Kontinen, Jouko A. Väänänen Erratum to: On Definability in Dependence Logic. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Juha Kontinen, Hannu Niemistö Extensions of MSO and the monadic counting hierarchy. Search on Bibsonomy Inf. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Juha Kontinen, Jakub Szymanik Characterizing Definability of Second-Order Generalized Quantifiers. Search on Bibsonomy WoLLIC The full citation details ... 2011 DBLP  DOI  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
1Arnaud Durand 0001, Johannes Ebbing, Juha Kontinen, Heribert Vollmer Dependence logic with a majority quantifier. Search on Bibsonomy FSTTCS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Juha Kontinen, Heribert Vollmer On Second-Order Monadic Monoidal and Groupoidal Quantifiers Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Juha Kontinen Definability of second order generalized quantifiers. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Juha Kontinen A logical characterization of the counting hierarchy. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Counting hierarchy, majority quantifiers, the 0-1 law, quantifier elimination
1Juha Kontinen, Jouko A. Väänänen On Definability in Dependence Logic. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Juha Kontinen, Ville Nurmi Team Logic and Second-Order Logic. Search on Bibsonomy WoLLIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Juha Kontinen, Jakub Szymanik A Remark on Collective Quantification. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Collective quantification, Lindström quantifiers, Second-order generalized quantifiers, Type-shifting, Computational complexity, Definability
1Juha Kontinen, Heribert Vollmer On Second-Order Monadic Groupoidal Quantifiers. Search on Bibsonomy WoLLIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Juha Kontinen The hierarchy theorem for second order generalized quantifiers. Search on Bibsonomy J. Symb. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #82 of 82 (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