Miika Hannula
Helsingin yliopisto
H-index: 14
Europe-Finland
Top articles of Miika Hannula
Complexity of neural network training and etr: Extensions with effectively continuous functions
Proceedings of the AAAI Conference on Artificial Intelligence
2024/3/24
Conditional independence on semiring relations
arXiv preprint arXiv:2310.01910
2023/10/3
Miika Hannula
H-Index: 10
Information inequality problem over set functions
arXiv preprint arXiv:2309.11818
2023/9/21
Miika Hannula
H-Index: 10
Logics with probabilistic team semantics and the Boolean negation
2023/9/20
Miika Hannula
H-Index: 10
Juha Kontinen
H-Index: 15
Yasir Mahmood
H-Index: 0
Arne Meier
H-Index: 11
Jonni Virtema
H-Index: 13
Controlling entity integrity with key sets
Journal of Computer and System Sciences
2023/9/1
Unified foundations of team semantics via semirings
arXiv preprint arXiv:2303.07926
2023/3/14
On elementary logics for quantitative dependencies
Annals of Pure and Applied Logic
2022/12/1
Miika Hannula
H-Index: 10
Juha Kontinen
H-Index: 15
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals
Annals of Pure and Applied Logic
2022/12/1
Miika Hannula
H-Index: 10
Jonni Virtema
H-Index: 13
Complexity thresholds in inclusion logic
Information and Computation
2022/9/1
Miika Hannula
H-Index: 10
Lauri Hella
H-Index: 11
Discovery of cross joins
IEEE Transactions on Knowledge and Data Engineering
2022/7/21
Miika Hannula
H-Index: 10
Sebastian Link
H-Index: 17
A dichotomy in consistent query answering for primary keys and unary foreign keys
2022/6/12
Miika Hannula
H-Index: 10
An algorithm for the discovery of independence from data
arXiv preprint arXiv:2101.02502
2021/1/7
Miika Hannula
H-Index: 10
Sebastian Link
H-Index: 17
29th EACSL Annual Conference on Computer Science Logic (CSL 2021)
2021/1
Bartek Klin
H-Index: 13
Samson Abramsky
H-Index: 29
Giulio Guerrieri
H-Index: 11
Adrian Francalanza
H-Index: 20
Karoliina Lehtinen
H-Index: 7
Wan Fokkink
H-Index: 15
Bas Luttik
H-Index: 10
Paweł Parys
H-Index: 11
Nicole Schweikardt
H-Index: 13
Mark Bickford
H-Index: 9
Liron Cohen
H-Index: 12
Vincent Rahli
H-Index: 9
Anuj Dawar
H-Index: 17
Yannick Forster
H-Index: 11
Merlin Göttlinger
H-Index: 2
Lutz Schröder
H-Index: 16
Dirk Pattinson
H-Index: 16
Miika Hannula
H-Index: 10
Juha Kontinen
H-Index: 15
Jonni Virtema
H-Index: 13
Martín Hötzel Escardó
H-Index: 15
Takeshi Tsukada
H-Index: 9
Naoki Kobayashi
H-Index: 7
Jules Hedges
H-Index: 7
Paweł Sobociński
H-Index: 2
Long Pham
H-Index: 1
Jan Hoffmann
H-Index: 22
Alexander Rabinovich
H-Index: 17
Polyteam semantics
Journal of Logic and Computation
2020/12
Complexity of probabilistic inclusion logic and additive real arithmetics
Workshop on Logics of Dependence and Independence (LoDE 2020V)
2020/8/12
Miika Hannula
H-Index: 10
Jonni Virtema
H-Index: 13
On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic
2021
Descriptive complexity of real computation and probabilistic independence logic
2020/7/8
Miika Hannula
H-Index: 10
Juha Kontinen
H-Index: 15
Jan Van Den Bussche
H-Index: 15
Jonni Virtema
H-Index: 13