Concepedia

Miika Hannula

MH

7

Publications

147

Citations

7

H-Index

2013

Active since

Affiliations

University of Helsinki(Current)

University of Auckland

Miika Hannula is an author at University of Helsinki specializing in automated reasoning, formal methods, and engineering.

Top concepts

Automated ReasoningEngineeringFormal MethodsLanguageSemanticsLinguisticsComputer ScienceComputational ComplexitySemantic WebVerification

Publications per year

2013–2018

7

Publications

7

A finite axiomatization of conditional independence and inclusion dependencies

Miika Hannula, Juha Kontinen · Information and Computation · 2016 · 38 citations

Engineering, Substructural Logic, Automated Reasoning +4

Complexity of Propositional Logics in Team Semantic

Miika Hannula, Juha Kontinen, Jonni Virtema et al. · ACM Transactions on Computational Logic · 2018 · 26 citations

Engineering, Verification, Validity Problems +19

Hierarchies in independence logic

Pietro Galliani, Miika Hannula, Juha Kontinen · arXiv (Cornell University) · 2013 · 21 citations · Full text

Non-classical Logic, Engineering, Substructural Logic +12

On the finite and general implication problems of independence atoms and keys

Miika Hannula, Juha Kontinen, Sebastian Link · Journal of Computer and System Sciences · 2016 · 20 citations

Automated Reasoning, Independence Atoms, Classical Logic +6

Hierarchies in independence logic

Pietro Galliani, Miika Hannula, Juha Kontinen · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2013 · 20 citations · Full text

Non-classical Logic, Engineering, Substructural Logic +12

Rows per page

1–5 of 7