Juha Kontinen - RankMe

142 papers A* 5A 2B 13C 9Misc 2Journal 89Unranked 15

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Complexity Results in Team Semantics: Nonemptiness Is Not So Complex. FoIKS Aleksi Anttila, Juha Kontinen, Fan Yang
2026	—	`conf`	Independence Under Incomplete Information. FoIKS Miika Hannula, Minna Hirvonen, Juha Kontinen, Sebastian Link
2026	J	`jnl`	On the expressive power of inquisitive team logic and inquisitive first-order logic. CoRR Juha Kontinen, Ivano Ciardelli
2026	J	`jnl`	Representation Theorems for Cumulative Propositional Dependence Logics. CoRR Juha Kontinen, Arne Meier, Kai Sauerwald
2026	J	`jnl`	Towards new characterizations of small circuit classes via discrete ordinary differential equations. Theor. Comput. Sci. Melissa Antonelli, Arnaud Durand, Juha Kontinen
2025	J	`jnl`	Characterizing Small Circuit Classes from FAC^0 to FAC^1 via Discrete Ordinary Differential Equations. CoRR Melissa Antonelli, Arnaud Durand, Juha Kontinen
2025	B	`conf`	Characterizing Small Circuit Classes from FAC⁰ to FAC¹ via Discrete Ordinary Differential Equations. MFCS Melissa Antonelli, Arnaud Durand, Juha Kontinen
2025	—	`conf`	Circuit Complexity Meets Discrete Ordinary Differential Equations: An Overview. OVERLAY Melissa Antonelli, Arnaud Durand, Juha Kontinen
2025	J	`jnl`	Complexity Results in Team Semantics: Nonemptiness Is Not So Complex. CoRR Aleksi Anttila, Juha Kontinen, Fan Yang
2025	J	`jnl`	Independence Under Incomplete Information. CoRR Miika Hannula, Minna Hirvonen, Juha Kontinen, Sebastian Link
2025	J	`jnl`	Local consistency and axioms of functional dependence. CoRR Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema
2025	J	`jnl`	Logic and Computation Through the Lens of Semirings. CoRR Timon Barlag, Nicolas Fröhlich, Teemu Hankala, Miika Hannula, Minna Hirvonen, Vivian Holzapfel, Juha Kontinen, Arne Meier, Laura Strieker
2025	J	`jnl`	Logical Approaches to Non-deterministic Polynomial Time over Semirings. CoRR Timon Barlag, Nicolas Fröhlich, Teemu Hankala, Miika Hannula, Minna Hirvonen, Vivian Holzapfel, Juha Kontinen, Arne Meier, Laura Strieker
2025	J	`jnl`	Logics with probabilistic team semantics and the Boolean negation. J. Log. Comput. Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema
2025	A*	`conf`	On the Complexity and Properties of Preferential Propositional Dependence Logic. KR Kai Sauerwald, Arne Meier, Juha Kontinen
2025	J	`jnl`	On the Complexity and Properties of Preferential Propositional Dependence Logic. CoRR Kai Sauerwald, Arne Meier, Juha Kontinen
2025	J	`jnl`	Regular Representations of Uniform TC ACM Trans. Comput. Log. Lauri Hella, Juha Kontinen, Kerkko Luosto
2025	J	`jnl`	Set semantics for asynchronous TeamLTL: Expressivity and complexity. Inf. Comput. Juha Kontinen, Max Sandström, Jonni Virtema
2025	J	`jnl`	The flattening operator in team-based logics. CoRR Arnaud Durand, Juha Kontinen, Werner Mérian, Jouko Väänänen
2025	J	`jnl`	Towards New Characterizations of Small Circuit Classes via Discrete Ordinary Differential Equations. CoRR Melissa Antonelli, Arnaud Durand, Juha Kontinen
2024	—	`conf`	A First Peek into Preferential Logics with Team Semantics. NMR Kai Sauerwald, Juha Kontinen
2024	B	`conf`	A New Characterization of FAC⁰ via Discrete Ordinary Differential Equations. MFCS Melissa Antonelli, Arnaud Durand, Juha Kontinen
2024	J	`jnl`	A Primer for Preferential Non-Monotonic Propositional Team Logics. CoRR Kai Sauerwald, Juha Kontinen
2024	—	`conf`	A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL. FoIKS Juha Kontinen, Max Sandström, Jonni Virtema
2024	J	`jnl`	A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL. CoRR Juha Kontinen, Max Sandström, Jonni Virtema
2024	A*	`conf`	Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions. AAAI Teemu Hankala, Miika Hannula, Juha Kontinen, Jonni Virtema
2024	J	`jnl`	Logics for Dependence and Independence: Expressivity and Complexity (Dagstuhl Seminar 24111). Dagstuhl Reports Juha Kontinen, Jonni Virtema, Heribert Vollmer, Fan Yang, Nicolas Fröhlich
2024	J	`jnl`	Modular SAT-based techniques for reasoning tasks in team semantics. J. Comput. Syst. Sci. Arnaud Durand, Juha Kontinen, Jouko Väänänen
2024	J	`jnl`	Parameterized complexity of weighted team definability. Math. Struct. Comput. Sci. Juha Kontinen, Yasir Mahmood, Arne Meier, Heribert Vollmer
2024	—	`conf`	Towards New Characterizations of Small Circuit Classes via Discrete Ordinary Differential Equations (short paper). ICTCS Melissa Antonelli, Arnaud Durand, Juha Kontinen
2023	J	`jnl`	Complete Logics for Elementary Team Properties. J. Symb. Log. Juha Kontinen, Fan Yang
2023	J	`jnl`	Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions. CoRR Teemu Hankala, Miika Hannula, Juha Kontinen, Jonni Virtema
2023	B	`conf`	Logics with Probabilistic Team Semantics and the Boolean Negation. JELIA Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema
2023	J	`jnl`	Logics with probabilistic team semantics and the Boolean negation. CoRR Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema
2023	J	`jnl`	Parameterized Complexity of Weighted Team Definability. CoRR Juha Kontinen, Yasir Mahmood, Arne Meier, Heribert Vollmer
2023	J	`jnl`	Regular Representations of Uniform TC^0. CoRR Lauri Hella, Juha Kontinen, Kerkko Luosto
2023	B	`conf`	Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity. MFCS Juha Kontinen, Max Sandström, Jonni Virtema
2023	J	`jnl`	Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity. CoRR Juha Kontinen, Max Sandström, Jonni Virtema
2023	A*	`conf`	Unified Foundations of Team Semantics via Semirings. KR Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema
2023	J	`jnl`	Unified Foundations of Team Semantics via Semirings. CoRR Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema
2022	Misc	`conf`	A Parameterized View on the Complexity of Dependence Logic. LFCS Juha Kontinen, Arne Meier, Yasir Mahmood
2022	J	`jnl`	A parameterized view on the complexity of dependence and independence logic. J. Log. Comput. Juha Kontinen, Arne Meier, Yasir Mahmood
2022	J	`jnl`	Modular SAT-based techniques for reasoning tasks in team semantics. CoRR Arnaud Durand, Juha Kontinen, Jouko Väänänen
2022	J	`jnl`	On elementary logics for quantitative dependencies. Ann. Pure Appl. Log. Miika Hannula, Minna Hirvonen, Juha Kontinen
2022	J	`jnl`	Preface. Ann. Math. Artif. Intell. Andreas Herzig, Juha Kontinen
2022	J	`jnl`	Tractability Frontier of Data Complexity in Team Semantics. ACM Trans. Comput. Log. Arnaud Durand, Juha Kontinen, Nicolas de Rugy-Altherre, Jouko Väänänen
2021	J	`jnl`	A Parameterized View on the Complexity of Dependence Logic. CoRR Juha Kontinen, Arne Meier, Yasir Mahmood
2021	J	`jnl`	Descriptive complexity of #P functions: A new perspective. J. Comput. Syst. Sci. Arnaud Durand, Anselm Haak, Juha Kontinen, Heribert Vollmer
2021	—	`conf`	Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity. FSTTCS Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang
2021	J	`jnl`	On elementary logics for quantitative dependencies. CoRR Miika Hannula, Minna Hirvonen, Juha Kontinen
2021	B	`conf`	On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic. CSL Miika Hannula, Juha Kontinen, Martin Lück, Jonni Virtema
2021	C	`conf`	On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties. WoLLIC Juha Kontinen, Max Sandström
2021	J	`jnl`	On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties. CoRR Juha Kontinen, Max Sandström
2021	J	`jnl`	On the Interaction of Functional and Inclusion Dependencies with Independence Atoms. CoRR Miika Hannula, Juha Kontinen, Sebastian Link
2020	A*	`conf`	Descriptive complexity of real computation and probabilistic independence logic. LICS Miika Hannula, Juha Kontinen, Jan Van den Bussche, Jonni Virtema
2020	J	`jnl`	Descriptive complexity of real computation and probabilistic independence logic. CoRR Miika Hannula, Juha Kontinen, Jan Van den Bussche, Jonni Virtema
2020	—	`ed.`	Foundations of Information and Knowledge Systems - 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings FoIKS Andreas Herzig, Juha Kontinen
2020	J	`jnl`	Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity. CoRR Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang
2020	J	`jnl`	On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic. CoRR Miika Hannula, Juha Kontinen, Martin Lück, Jonni Virtema
2020	J	`jnl`	Polyteam semantics. J. Log. Comput. Miika Hannula, Juha Kontinen, Jonni Virtema
2019	J	`jnl`	A logical approach to context-specific independence. Ann. Pure Appl. Log. Jukka Corander, Antti Hyttinen, Juha Kontinen, Johan Pensar, Jouko Väänänen
2019	C	`conf`	Continuous Team Semantics. TAMC Åsa Hirvonen, Juha Kontinen, Arno Pauly
2019	B	`conf`	Counting of Teams in First-Order Team Logics. MFCS Anselm Haak, Juha Kontinen, Fabian Müller, Heribert Vollmer, Fan Yang
2019	J	`jnl`	Counting of Teams in First-Order Team Logics. CoRR Anselm Haak, Juha Kontinen, Fabian Müller, Heribert Vollmer, Fan Yang
2019	B	`conf`	Facets of Distribution Identities in Probabilistic Team Semantics. JELIA Miika Hannula, Åsa Hirvonen, Juha Kontinen, Vadim Kulikov, Jonni Virtema
2019	J	`jnl`	Logics for Dependence and Independence (Dagstuhl Seminar 19031). Dagstuhl Reports Erich Grädel, Phokion G. Kolaitis, Juha Kontinen, Heribert Vollmer
2019	C	`conf`	Logics for First-Order Team Properties. WoLLIC Juha Kontinen, Fan Yang
2018	J	`jnl`	Approximation and dependence via multiteam semantics. Ann. Math. Artif. Intell. Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema
2018	J	`jnl`	Complexity of Propositional Logics in Team Semantic. ACM Trans. Comput. Log. Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer
2018	J	`jnl`	Facets of Distribution Identities in Probabilistic Team Semantics. CoRR Miika Hannula, Åsa Hirvonen, Juha Kontinen, Vadim Kulikov, Jonni Virtema
2018	Misc	`conf`	Polyteam Semantics. LFCS Miika Hannula, Juha Kontinen, Jonni Virtema
2018	—	`conf`	Probabilistic Team Semantics. FoIKS Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema
2018	J	`jnl`	Probabilistic team semantics. CoRR Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema
2018	—	`conf`	Structure Learning for Bayesian Networks over Labeled DAGs. PGM Antti Hyttinen, Johan Pensar, Juha Kontinen, Jukka Corander
2017	A	`conf`	Computational Aspects of Logics in Team Semantics (Tutorial). STACS Juha Kontinen
2017	J	`jnl`	Dependence logic with generalized quantifiers: Axiomatizations. J. Comput. Syst. Sci. Fredrik Engström, Juha Kontinen, Jouko Väänänen
2017	J	`jnl`	Modal independence logic. J. Log. Comput. Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer
2017	B	`conf`	On the Interaction of Inclusion Dependencies with Independence Atoms. LPAR Miika Hannula, Juha Kontinen, Sebastian Link
2017	J	`jnl`	Polyteam Semantics. CoRR Miika Hannula, Juha Kontinen, Jonni Virtema
2016	C	`conf`	A Logical Approach to Context-Specific Independence. WoLLIC Jukka Corander, Antti Hyttinen, Juha Kontinen, Johan Pensar, Jouko Väänänen
2016	J	`jnl`	A finite axiomatization of conditional independence and inclusion dependencies. Inf. Comput. Miika Hannula, Juha Kontinen
2016	—	`conf`	Approximation and Dependence via Multiteam Semantics. FoIKS Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema
2016	B	`conf`	Decidability of Predicate Logics with Team Semantics. MFCS Juha Kontinen, Antti Kuusisto, Jonni Virtema
2016	—	`book`	Dependence Logic, Theory and Applications Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer
2016	B	`conf`	Descriptive Complexity of #AC CSL Arnaud Durand, Anselm Haak, Juha Kontinen, Heribert Vollmer
2016	J	`jnl`	Descriptive Complexity of #AC CoRR Arnaud Durand, Anselm Haak, Juha Kontinen, Heribert Vollmer
2016	—	`ch.`	Expressivity and Complexity of Dependence Logic. Dependence Logic Arnaud Durand, Juha Kontinen, Heribert Vollmer
2016	—	`ch.`	Introduction. Dependence Logic Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer
2016	—	`conf`	On Quantified Propositional Logics and the Exponential Time Hierarchy. GandALF Miika Hannula, Juha Kontinen, Martin Lück, Jonni Virtema
2016	J	`jnl`	On the finite and general implication problems of independence atoms and keys. J. Comput. Syst. Sci. Miika Hannula, Juha Kontinen, Sebastian Link
2015	B	`conf`	A Van Benthem Theorem for Modal Team Semantics. CSL Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer
2015	J	`jnl`	Approximation and Dependence via Multiteam Semantics. CoRR Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema
2015	—	`conf`	Complexity of Propositional Independence and Inclusion Logic. MFCS (1) Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer
2015	J	`jnl`	Complexity of Propositional Independence and Inclusion Logic. CoRR Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer
2015	J	`jnl`	Dependence Logic with a Majority Quantifier. J. Log. Lang. Inf. Arnaud Durand, Johannes Ebbing, Juha Kontinen, Heribert Vollmer
2015	—	`ch.`	From the editors. Logic Without Borders Åsa Hirvonen, Juha Kontinen, Roman Kossak, Andrés Villaveces
2015	J	`jnl`	Hierarchies in independence and inclusion logic with strict semantics. J. Log. Comput. Miika Hannula, Juha Kontinen
2015	—	`book`	Logic Without Borders - Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics Logic Without Borders Åsa Hirvonen, Juha Kontinen, Roman Kossak, Andrés Villaveces
2015	J	`jnl`	Logics for Dependence and Independence (Dagstuhl Seminar 15261). Dagstuhl Reports Erich Grädel, Juha Kontinen, Jouko Väänänen, Heribert Vollmer
2015	—	`ch.`	On Natural Deduction in Dependence Logic. Logic Without Borders Juha Kontinen
2015	—	`conf`	Tractability Frontier of Data Complexity in Team Semantics. GandALF Arnaud Durand, Juha Kontinen, Nicolas de Rugy-Altherre, Jouko Väänänen
2014	—	`conf`	A Finite Axiomatization of Conditional Independence and Inclusion Dependencies. FoIKS Miika Hannula, Juha Kontinen
2014	J	`jnl`	A Fragment of Dependence Logic Capturing Polynomial Time Log. Methods Comput. Sci. Johannes Ebbing, Juha Kontinen, Julian-Steffen Müller, Heribert Vollmer
2014	J	`jnl`	A Van Benthem Theorem for Modal Team Semantics. CoRR Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer
2014	J	`jnl`	A characterization of definability of second-order generalized quantifiers with applications to non-definability. J. Comput. Syst. Sci. Juha Kontinen, Jakub Szymanik
2014	J	`jnl`	Complexity of two-variable dependence logic and IF-logic. Inf. Comput. Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema
2014	J	`jnl`	Decidable Fragments of Logics Based on Team Semantics. CoRR Juha Kontinen, Antti Kuusisto, Jonni Virtema
2014	J	`jnl`	Hierarchies in independence and inclusion logic with strict semantics. CoRR Miika Hannula, Juha Kontinen
2014	B	`conf`	Modal Independence Logic. Advances in Modal Logic Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer
2014	J	`jnl`	Modal Independence Logic. CoRR Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer
2014	A	`conf`	On Independence Atoms and Keys. CIKM Miika Hannula, Juha Kontinen, Sebastian Link
2014	J	`jnl`	On Independence Atoms and Keys. CoRR Miika Hannula, Juha Kontinen, Sebastian Link
2013	J	`jnl`	A finite axiomatization of conditional independence and inclusion dependencies. CoRR Miika Hannula, Juha Kontinen
2013	J	`jnl`	Axiomatizing first-order consequences in dependence logic. Ann. Pure Appl. Log. Juha Kontinen, Jouko A. Väänänen
2013	J	`jnl`	Characterizing quantifier extensions of dependence logic. J. Symb. Log. Fredrik Engström, Juha Kontinen
2013	J	`jnl`	Dependence Logic with Generalized Quantifiers: Axiomatizations CoRR Fredrik Engström, Juha Kontinen, Jouko A. Väänänen
2013	C	`conf`	Dependence Logic with Generalized Quantifiers: Axiomatizations. WoLLIC Fredrik Engström, Juha Kontinen, Jouko A. Väänänen
2013	J	`jnl`	Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071). Dagstuhl Reports Samson Abramsky, Juha Kontinen, Jouko A. Väänänen, Heribert Vollmer
2013	J	`jnl`	Editorial Introduction. Stud Logica Juha Kontinen, Jouko A. Väänänen, Dag Westerståhl
2013	J	`jnl`	Hierarchies in independence logic CoRR Pietro Galliani, Miika Hannula, Juha Kontinen
2013	B	`conf`	Hierarchies in independence logic. CSL Pietro Galliani, Miika Hannula, Juha Kontinen
2013	C	`conf`	Independence in Database Relations. WoLLIC Juha Kontinen, Sebastian Link, Jouko A. Väänänen
2012	J	`jnl`	Axiomatizing first order consequences in dependence logic CoRR Juha Kontinen, Jouko A. Väänänen
2012	J	`jnl`	Hierarchies in Dependence Logic. ACM Trans. Comput. Log. Arnaud Durand, Juha Kontinen
2011	J	`jnl`	A Remark on Negation in Dependence Logic. Notre Dame J. Formal Log. Juha Kontinen, Jouko A. Väänänen
2011	C	`conf`	Characterizing Definability of Second-Order Generalized Quantifiers. WoLLIC Juha Kontinen, Jakub Szymanik
2011	A*	`conf`	Complexity of Two-Variable Dependence Logic and IF-Logic. LICS Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema
2011	J	`jnl`	Complexity of two-variable Dependence Logic and IF-Logic CoRR Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema
2011	J	`jnl`	Dependence logic with a majority quantifier CoRR Arnaud Durand, Johannes Ebbing, Juha Kontinen, Heribert Vollmer
2011	—	`conf`	Dependence logic with a majority quantifier. FSTTCS Arnaud Durand, Johannes Ebbing, Juha Kontinen, Heribert Vollmer
2011	J	`jnl`	Erratum to: On Definability in Dependence Logic. J. Log. Lang. Inf. Juha Kontinen, Jouko A. Väänänen
2011	J	`jnl`	Extensions of MSO and the monadic counting hierarchy. Inf. Comput. Juha Kontinen, Hannu Niemistö
2011	J	`jnl`	Hierarchies in Dependence Logic CoRR Arnaud Durand, Juha Kontinen
2011	J	`jnl`	Team Logic and Second-Order Logic. Fundam. Informaticae Juha Kontinen, Ville Nurmi
2010	J	`jnl`	Definability of second order generalized quantifiers. Arch. Math. Log. Juha Kontinen
2010	J	`jnl`	On Second-Order Monadic Monoidal and Groupoidal Quantifiers Log. Methods Comput. Sci. Juha Kontinen, Heribert Vollmer
2009	J	`jnl`	A logical characterization of the counting hierarchy. ACM Trans. Comput. Log. Juha Kontinen
2009	J	`jnl`	On Definability in Dependence Logic. J. Log. Lang. Inf. Juha Kontinen, Jouko A. Väänänen
2009	C	`conf`	Team Logic and Second-Order Logic. WoLLIC Juha Kontinen, Ville Nurmi
2008	J	`jnl`	A Remark on Collective Quantification. J. Log. Lang. Inf. Juha Kontinen, Jakub Szymanik
2008	C	`conf`	On Second-Order Monadic Groupoidal Quantifiers. WoLLIC Juha Kontinen, Heribert Vollmer
2006	J	`jnl`	The hierarchy theorem for second order generalized quantifiers. J. Symb. Log. Juha Kontinen