CUFinder

Juha Kontinen

About Juha Kontinen

Juha Kontinen, With an exceptional h-index of 20 and a recent h-index of 13 (since 2020), a distinguished researcher at Helsingin yliopisto, specializes in the field of Mathematical Logic, Logic in Computer Science, Finite Model Theory.

His recent articles reflect a diverse array of research interests and contributions to the field:

A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL

Complexity of neural network training and etr: Extensions with effectively continuous functions

Complexity Aspects of Logics in Team Semantics

Logics with probabilistic team semantics and the Boolean negation

Regular Representations of Uniform TC^ 0

Complete logics for elementary team properties

Set semantics for asynchronous TeamLTL: Expressivity and complexity

Unified foundations of team semantics via semirings

Juha Kontinen Information

University

Position

Professor Finland

Citations(all)

1087

Citations(since 2020)

551

Cited By

854

hIndex(all)

20

hIndex(since 2020)

13

i10Index(all)

35

i10Index(since 2020)

22

Email

University Profile Page

Google Scholar

Juha Kontinen Skills & Research Interests

Mathematical Logic

Logic in Computer Science

Finite Model Theory

Top articles of Juha Kontinen

A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL

2024/3/29

Juha Kontinen
Juha Kontinen

H-Index: 15

Jonni Virtema
Jonni Virtema

H-Index: 13

Complexity of neural network training and etr: Extensions with effectively continuous functions

Proceedings of the AAAI Conference on Artificial Intelligence

2024/3/24

Miika Hannula
Miika Hannula

H-Index: 10

Juha Kontinen
Juha Kontinen

H-Index: 15

Jonni Virtema
Jonni Virtema

H-Index: 13

Complexity Aspects of Logics in Team Semantics

Electronic Proceedings in Theoretical Computer Science, EPTCS

2023/9/30

Juha Kontinen
Juha Kontinen

H-Index: 15

Logics with probabilistic team semantics and the Boolean negation

2023/9/20

Miika Hannula
Miika Hannula

H-Index: 10

Juha Kontinen
Juha Kontinen

H-Index: 15

Yasir Mahmood
Yasir Mahmood

H-Index: 0

Arne Meier
Arne Meier

H-Index: 11

Jonni Virtema
Jonni Virtema

H-Index: 13

Regular Representations of Uniform TC^ 0

arXiv preprint arXiv:2309.06926

2023/9/13

Lauri Hella
Lauri Hella

H-Index: 11

Juha Kontinen
Juha Kontinen

H-Index: 15

Complete logics for elementary team properties

The Journal of Symbolic Logic

2023/6

Juha Kontinen
Juha Kontinen

H-Index: 15

Fan Yang
Fan Yang

H-Index: 3

Set semantics for asynchronous TeamLTL: Expressivity and complexity

arXiv preprint arXiv:2304.10915

2023/4/21

Juha Kontinen
Juha Kontinen

H-Index: 15

Jonni Virtema
Jonni Virtema

H-Index: 13

Unified foundations of team semantics via semirings

arXiv preprint arXiv:2303.07926

2023/3/14

Miika Hannula
Miika Hannula

H-Index: 10

Juha Kontinen
Juha Kontinen

H-Index: 15

Jonni Virtema
Jonni Virtema

H-Index: 13

Parameterized complexity of weighted team definability

Mathematical Structures in Computer Science

2023/2/1

Juha Kontinen
Juha Kontinen

H-Index: 15

Yasir Mahmood
Yasir Mahmood

H-Index: 0

Arne Meier
Arne Meier

H-Index: 11

Heribert Vollmer
Heribert Vollmer

H-Index: 17

A parameterized view on the complexity of dependence and independence logic

Journal of Logic and Computation

2022/12

Juha Kontinen
Juha Kontinen

H-Index: 15

Arne Meier
Arne Meier

H-Index: 11

Yasir Mahmood
Yasir Mahmood

H-Index: 0

On elementary logics for quantitative dependencies

Annals of Pure and Applied Logic

2022/12/1

Miika Hannula
Miika Hannula

H-Index: 10

Juha Kontinen
Juha Kontinen

H-Index: 15

Modular SAT-based techniques for reasoning tasks in team semantics

arXiv preprint arXiv:2204.00576

2022/4/1

Juha Kontinen
Juha Kontinen

H-Index: 15

Jouko Väänänen
Jouko Väänänen

H-Index: 18

Preface (Special issue FolKS 2020)

Annals of Mathematics and Artificial Intelligence

2022

Juha Kontinen
Juha Kontinen

H-Index: 15

Tractability frontier of data complexity in team semantics

ACM Transactions on Computational Logic (TOCL)

2022

Juha Kontinen
Juha Kontinen

H-Index: 15

Jouko Väänänen
Jouko Väänänen

H-Index: 18

On the expressive power of TeamLTL and first-order team logic over hyperproperties

2021/10/5

Juha Kontinen
Juha Kontinen

H-Index: 15

Descriptive complexity of# P functions: A new perspective

Journal of Computer and System Sciences

2021/3/1

Anselm Haak
Anselm Haak

H-Index: 3

Juha Kontinen
Juha Kontinen

H-Index: 15

Heribert Vollmer
Heribert Vollmer

H-Index: 17

29th EACSL Annual Conference on Computer Science Logic (CSL 2021)

2021/1

Bartek Klin
Bartek Klin

H-Index: 13

Samson Abramsky
Samson Abramsky

H-Index: 29

Giulio Guerrieri
Giulio Guerrieri

H-Index: 11

Adrian Francalanza
Adrian Francalanza

H-Index: 20

Karoliina Lehtinen
Karoliina Lehtinen

H-Index: 7

Wan Fokkink
Wan Fokkink

H-Index: 15

Bas Luttik
Bas Luttik

H-Index: 10

Paweł Parys
Paweł Parys

H-Index: 11

Nicole Schweikardt
Nicole Schweikardt

H-Index: 13

Mark Bickford
Mark Bickford

H-Index: 9

Liron Cohen
Liron Cohen

H-Index: 12

Vincent Rahli
Vincent Rahli

H-Index: 9

Anuj Dawar
Anuj Dawar

H-Index: 17

Yannick Forster
Yannick Forster

H-Index: 11

Merlin Göttlinger
Merlin Göttlinger

H-Index: 2

Lutz Schröder
Lutz Schröder

H-Index: 16

Dirk Pattinson
Dirk Pattinson

H-Index: 16

Miika Hannula
Miika Hannula

H-Index: 10

Juha Kontinen
Juha Kontinen

H-Index: 15

Jonni Virtema
Jonni Virtema

H-Index: 13

Martín Hötzel Escardó
Martín Hötzel Escardó

H-Index: 15

Takeshi Tsukada
Takeshi Tsukada

H-Index: 9

Naoki Kobayashi
Naoki Kobayashi

H-Index: 7

Jules Hedges
Jules Hedges

H-Index: 7

Paweł Sobociński
Paweł Sobociński

H-Index: 2

Long Pham
Long Pham

H-Index: 1

Jan Hoffmann
Jan Hoffmann

H-Index: 22

Alexander Rabinovich
Alexander Rabinovich

H-Index: 17

Linear-time temporal logic with team semantics: Expressivity and complexity

2021

Jonni Virtema
Jonni Virtema

H-Index: 13

Juha Kontinen
Juha Kontinen

H-Index: 15

Fan Yang
Fan Yang

H-Index: 3

On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic

2021

Miika Hannula
Miika Hannula

H-Index: 10

Juha Kontinen
Juha Kontinen

H-Index: 15

Jonni Virtema
Jonni Virtema

H-Index: 13

Polyteam semantics

Journal of Logic and Computation

2020/12

Miika Hannula
Miika Hannula

H-Index: 10

Juha Kontinen
Juha Kontinen

H-Index: 15

Jonni Virtema
Jonni Virtema

H-Index: 13

See List of Professors in Juha Kontinen University(Helsingin yliopisto)