Hierarchies in independence logic. - Pietro Galliani; Miika Hannula; Juha Kontinen (CSL, 2013)

On Independence Atoms and Keys. - Miika Hannula; Juha Kontinen; Sebastian Link (CIKM, 2014)

Reasoning About Embedded Dependencies Using Inclusion Dependencies. - Miika Hannula (LPAR, 2015)

Complexity of Propositional Independence and Inclusion Logic. - Miika Hannula; Juha Kontinen; Jonni Virtema; Heribert Vollmer (MFCS (1), 2015)

Axiomatizing first-order consequences in independence logic. - Miika Hannula (Ann. Pure Appl. Log., 2015)

Hierarchies in independence and inclusion logic with strict semantics. - Miika Hannula; Juha Kontinen (J. Log. Comput., 2015)

The Entailment Problem in Modal and Propositional Dependence Logics. - Miika Hannula (CoRR, 2016)

On Quantified Propositional Logics and the Exponential Time Hierarchy. - Miika Hannula; Juha Kontinen; Martin Lück; Jonni Virtema (GandALF, 2016)

A finite axiomatization of conditional independence and inclusion dependencies. - Miika Hannula; Juha Kontinen (Inf. Comput., 2016)

On the finite and general implication problems of independence atoms and keys. - Miika Hannula; Juha Kontinen; Sebastian Link (J. Comput. Syst. Sci., 2016)

On the Interaction of Inclusion Dependencies with Independence Atoms. - Miika Hannula; Juha Kontinen; Sebastian Link (LPAR, 2017)

Automated Reasoning About Key Sets. - Miika Hannula; Sebastian Link (IJCAR, 2018)

On the Interaction of Functional and Inclusion Dependencies with Independence Atoms. - Miika Hannula; Sebastian Link (DASFAA (2), 2018)

Probabilistic Team Semantics. - Arnaud Durand 001; Miika Hannula; Juha Kontinen; Arne Meier; Jonni Virtema (FoIKS, 2018)

Approximation and dependence via multiteam semantics. - Arnaud Durand 001; Miika Hannula; Juha Kontinen; Arne Meier; Jonni Virtema (Ann. Math. Artif. Intell., 2018)

Hierarchies in Inclusion Logic with Lax Semantics. - Miika Hannula (ACM Trans. Comput. Log., 2018)

Complexity of Propositional Logics in Team Semantic. - Miika Hannula; Juha Kontinen; Jonni Virtema; Heribert Vollmer (ACM Trans. Comput. Log., 2018)

Probabilistic Cardinality Constraints - Validation, Reasoning, and Semantic Summaries. - Tania Roblot; Miika Hannula; Sebastian Link (VLDB J., 2018)

Facets of Distribution Identities in Probabilistic Team Semantics. - Miika Hannula; Åsa Hirvonen; Juha Kontinen; Vadim Kulikov; Jonni Virtema (JELIA, 2019)

Validity and Entailment in Modal and Propositional Dependence Logics. - Miika Hannula (Log. Methods Comput. Sci., 2019)

Descriptive complexity of real computation and probabilistic independence logic. - Miika Hannula; Juha Kontinen; Jan Van den Bussche; Jonni Virtema (LICS, 2020)

Polyteam semantics. - Miika Hannula; Juha Kontinen; Jonni Virtema (J. Log. Comput., 2020)

On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic. - Miika Hannula; Juha Kontinen; Martin Lück; Jonni Virtema (CSL, 2021)

On the Interaction of Functional and Inclusion Dependencies with Independence Atoms. - Miika Hannula; Juha Kontinen; Sebastian Link (CoRR, 2021)

An Algorithm for the Discovery of Independence from Data. - Miika Hannula; Bor-Kuan Song; Sebastian Link (CoRR, 2021)

A Dichotomy in Consistent Query Answering for Primary Keys and Unary Foreign Keys. - Miika Hannula; Jef Wijsen (PODS, 2022)

On elementary logics for quantitative dependencies. - Miika Hannula; Minna Hirvonen; Juha Kontinen (Ann. Pure Appl. Log., 2022)

Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals. - Miika Hannula; Jonni Virtema (Ann. Pure Appl. Log., 2022)

Complexity thresholds in inclusion logic. - Miika Hannula; Lauri Hella (Inf. Comput., 2022)

Discovery of Cross Joins (Extended Abstract). - Miika Hannula; Zhuoxing Zhang; Bor-Kuan Song; Sebastian Link (ICDE, 2023)

Unified Foundations of Team Semantics via Semirings. - Timon Barlag; Miika Hannula; Juha Kontinen; Nina Pardal; Jonni Virtema (KR, 2023)

Controlling entity integrity with key sets. - Miika Hannula; Xinyi Li; Sebastian Link (J. Comput. Syst. Sci., 2023)

Discovery of Cross Joins. - Miika Hannula; Zhuoxing Zhang; Bor-Kuan Song; Sebastian Link (IEEE Trans. Knowl. Data Eng., 2023)

Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions. - Teemu Hankala; Miika Hannula; Juha Kontinen; Jonni Virtema (AAAI, 2024)

Information Inequality Problem over Set Functions. - Miika Hannula (ICDT, 2024)

Conditional Independence on Semiring Relations. - Miika Hannula (ICDT, 2024)

Parameterised Complexity of Consistent Query Answering via Graph Representations. - Teemu Hankala; Miika Hannula; Yasir Mahmood 002; Arne Meier (CoRR, 2024)

Logics with probabilistic team semantics and the Boolean negation. - Miika Hannula; Minna Hirvonen; Juha Kontinen; Yasir Mahmood 002; Arne Meier; Jonni Virtema (J. Log. Comput., 2025)

Logic and Computation Through the Lens of Semirings. - Timon Barlag; Nicolas Fröhlich 001; Teemu Hankala; Miika Hannula; Minna Hirvonen; Vivian Holzapfel; Juha Kontinen; Arne Meier; Laura Strieker (CoRR, 2025)

Independence Under Incomplete Information. - Miika Hannula; Minna Hirvonen; Juha Kontinen; Sebastian Link (CoRR, 2025)

Local consistency and axioms of functional dependence. - Timon Barlag; Miika Hannula; Juha Kontinen; Nina Pardal; Jonni Virtema (CoRR, 2025)