Juha Kontinen
Helsingin yliopisto
H-index: 20
Europe-Finland
Top articles of Juha Kontinen
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL | Juha Kontinen Max Sandström Jonni Virtema | 2024/3/29 | |
Complexity of neural network training and etr: Extensions with effectively continuous functions | Proceedings of the AAAI Conference on Artificial Intelligence | Teemu Hankala Miika Hannula Juha Kontinen Jonni Virtema | 2024/3/24 |
Complete logics for elementary team properties | The Journal of Symbolic Logic | Juha Kontinen Fan Yang | 2023/6 |
Set semantics for asynchronous TeamLTL: Expressivity and complexity | arXiv preprint arXiv:2304.10915 | Juha Kontinen Max Sandström Jonni Virtema | 2023/4/21 |
Unified foundations of team semantics via semirings | arXiv preprint arXiv:2303.07926 | Timon Barlag Miika Hannula Juha Kontinen Nina Pardal Jonni Virtema | 2023/3/14 |
Complexity Aspects of Logics in Team Semantics | Electronic Proceedings in Theoretical Computer Science, EPTCS | Juha Kontinen | 2023/9/30 |
Parameterized complexity of weighted team definability | Mathematical Structures in Computer Science | Juha Kontinen Yasir Mahmood Arne Meier Heribert Vollmer | 2023/2/1 |
Logics with probabilistic team semantics and the Boolean negation | Miika Hannula Minna Hirvonen Juha Kontinen Yasir Mahmood Arne Meier | 2023/9/20 | |
Regular Representations of Uniform TC^ 0 | arXiv preprint arXiv:2309.06926 | Lauri Hella Juha Kontinen Kerkko Luosto | 2023/9/13 |
On elementary logics for quantitative dependencies | Annals of Pure and Applied Logic | Miika Hannula Minna Hirvonen Juha Kontinen | 2022/12/1 |
Modular SAT-based techniques for reasoning tasks in team semantics | arXiv preprint arXiv:2204.00576 | Arnaud Durand Juha Kontinen Jouko Väänänen | 2022/4/1 |
Preface (Special issue FolKS 2020) | Annals of Mathematics and Artificial Intelligence | Andreas Herzig Juha Kontinen | 2022 |
Tractability frontier of data complexity in team semantics | ACM Transactions on Computational Logic (TOCL) | Arnaud Durand Juha Kontinen Nicolas de Rugy-Altherre Jouko Väänänen | 2022 |
A parameterized view on the complexity of dependence and independence logic | Journal of Logic and Computation | Juha Kontinen Arne Meier Yasir Mahmood | 2022/12 |
29th EACSL Annual Conference on Computer Science Logic (CSL 2021) | Bartek Klin Assia Mahboubi Sylvain Schmitz Linda Westrick Samson Abramsky | 2021/1 | |
Linear-time temporal logic with team semantics: Expressivity and complexity | Jonni Virtema Jana Hofmann Bernd Finkbeiner Juha Kontinen Fan Yang | 2021 | |
On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic | Miika Hannula Juha Kontinen Martin Lück Jonni Virtema | 2021 | |
On the expressive power of TeamLTL and first-order team logic over hyperproperties | Juha Kontinen Max Sandström | 2021/10/5 | |
Descriptive complexity of# P functions: A new perspective | Journal of Computer and System Sciences | Arnaud Durand Anselm Haak Juha Kontinen Heribert Vollmer | 2021/3/1 |
Foundations of Information and Knowledge Systems: 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings | Andreas Herzig Juha Kontinen | 2020 |