Miika Hannula - RankMe

76 papers A* 5A 4B 8C 1Misc 1Journal 49Unranked 8

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Dichotomy for Axiomatising Inclusion Dependencies on K-Databases. CoRR Miika Hannula, Teymur Ismikhanov, Jonni Virtema
2026	—	`conf`	Independence Under Incomplete Information. FoIKS Miika Hannula, Minna Hirvonen, Juha Kontinen, Sebastian Link
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
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	A	`conf`	Conditional Independence on Semiring Relations. ICDT Miika Hannula
2024	A	`conf`	Information Inequality Problem over Set Functions. ICDT Miika Hannula
2024	J	`jnl`	Parameterised Complexity of Consistent Query Answering via Graph Representations. CoRR Teemu Hankala, Miika Hannula, Yasir Mahmood, Arne Meier
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	J	`jnl`	Conditional independence on semiring relations. CoRR Miika Hannula
2023	J	`jnl`	Controlling entity integrity with key sets. J. Comput. Syst. Sci. Miika Hannula, Xinyi Li, Sebastian Link
2023	A*	`conf`	Discovery of Cross Joins (Extended Abstract). ICDE Miika Hannula, Zhuoxing Zhang, Bor-Kuan Song, Sebastian Link
2023	J	`jnl`	Discovery of Cross Joins. IEEE Trans. Knowl. Data Eng. Miika Hannula, Zhuoxing Zhang, Bor-Kuan Song, Sebastian Link
2023	J	`jnl`	Information inequality problem over set functions. CoRR Miika Hannula
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	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	A*	`conf`	A Dichotomy in Consistent Query Answering for Primary Keys and Unary Foreign Keys. PODS Miika Hannula, Jef Wijsen
2022	J	`jnl`	A Dichotomy in Consistent Query Answering for Primary Keys and Unary Foreign Keys. CoRR Miika Hannula, Jef Wijsen
2022	J	`jnl`	Complexity thresholds in inclusion logic. Inf. Comput. Miika Hannula, Lauri Hella
2022	J	`jnl`	On elementary logics for quantitative dependencies. Ann. Pure Appl. Log. Miika Hannula, Minna Hirvonen, Juha Kontinen
2022	J	`jnl`	Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals. Ann. Pure Appl. Log. Miika Hannula, Jonni Virtema
2021	J	`jnl`	An Algorithm for the Discovery of Independence from Data. CoRR Miika Hannula, Bor-Kuan Song, Sebastian Link
2021	J	`jnl`	Controlling Entity Integrity with Key Sets. CoRR Miika Hannula, Xinyi Li, Sebastian Link
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	J	`jnl`	On the Interaction of Functional and Inclusion Dependencies with Independence Atoms. CoRR Miika Hannula, Juha Kontinen, Sebastian Link
2021	B	`conf`	Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic over the Reals. JELIA Miika Hannula, Jonni Virtema
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	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
2020	J	`jnl`	Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals. CoRR Miika Hannula, Jonni Virtema
2019	C	`conf`	Complexity Thresholds in Inclusion Logic. WoLLIC Miika Hannula, Lauri Hella
2019	J	`jnl`	Complexity Thresholds in Inclusion Logic. CoRR Miika Hannula, Lauri Hella
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`	Validity and Entailment in Modal and Propositional Dependence Logics. Log. Methods Comput. Sci. Miika Hannula
2018	J	`jnl`	Approximation and dependence via multiteam semantics. Ann. Math. Artif. Intell. Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema
2018	A	`conf`	Automated Reasoning About Key Sets. IJCAR Miika Hannula, Sebastian Link
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	J	`jnl`	Hierarchies in Inclusion Logic with Lax Semantics. ACM Trans. Comput. Log. Miika Hannula
2018	—	`conf`	On the Interaction of Functional and Inclusion Dependencies with Independence Atoms. DASFAA (2) Miika Hannula, Sebastian Link
2018	Misc	`conf`	Polyteam Semantics. LFCS Miika Hannula, Juha Kontinen, Jonni Virtema
2018	J	`jnl`	Probabilistic Cardinality Constraints - Validation, Reasoning, and Semantic Summaries. VLDB J. Tania Roblot, Miika Hannula, Sebastian Link
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
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
2017	B	`conf`	Validity and Entailment in Modal and Propositional Dependence Logics. CSL Miika Hannula
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	—	`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
2016	J	`jnl`	The Entailment Problem in Modal and Propositional Dependence Logics. CoRR Miika Hannula
2015	J	`jnl`	Approximation and Dependence via Multiteam Semantics. CoRR Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema
2015	J	`jnl`	Axiomatizing first-order consequences in independence logic. Ann. Pure Appl. Log. Miika Hannula
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	—	`conf`	Hierarchies in Inclusion Logic with Lax Semantics. ICLA Miika Hannula
2015	J	`jnl`	Hierarchies in independence and inclusion logic with strict semantics. J. Log. Comput. Miika Hannula, Juha Kontinen
2015	B	`conf`	Reasoning About Embedded Dependencies Using Inclusion Dependencies. LPAR Miika Hannula
2015	J	`jnl`	Reasoning about embedded dependencies using inclusion dependencies. CoRR Miika Hannula
2014	—	`conf`	A Finite Axiomatization of Conditional Independence and Inclusion Dependencies. FoIKS Miika Hannula, Juha Kontinen
2014	J	`jnl`	Hierarchies in inclusion logic with lax semantics. CoRR Miika Hannula
2014	J	`jnl`	Hierarchies in independence and inclusion logic with strict semantics. CoRR Miika Hannula, Juha Kontinen
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 independence logic CoRR Miika Hannula
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