Photo of Juha Kontinen
  • Finland

  • PL 68 (Pietari Kalmin katu 5)

    00014

    Finland

20022021
If you made any changes in Pure these will be visible here soon.

Personal profile

Fields of Science

  • 111 Mathematics

International and National Collaboration Publications and projects within past five years.

Publications 2002 2019

A Logical Approach to Context-Specific Independence

Corander, J., Hyttinen, A., Kontinen, J., Pensar, J. & Väänänen, J., Sep 2019, In : Annals of Pure and Applied Logic. 170, 9, p. 975-992 18 p.

Research output: Contribution to journalArticleScientificpeer-review

Continuous Team Semantics

Hirvonen, Å., Kontinen, J. & Pauly, A., 2019, Theory and Applications of Models of Computation : 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings. Gopal, T. V. & Watada, J. (eds.). Springer, Vol. 11436. p. 262-278 17 p. (Lecture Notes in Computer Science; vol. 11436).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Counting of Teams in First-Order Team Logics

Haak, A., Kontinen, J., Müller, F., Vollmer, H. & Yang, F., Aug 2019, Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Facets of Distribution Identities in Probabilistic Team Semantics

Hannula, M., Hirvonen, Å., Kontinen, J., Kulikov, V. & Virtema, J., 2019, Logics in Artificial Intelligence : 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings. Calimeri, F., Leone, N. & Manna, M. (eds.). Springer, Vol. 11468. p. 304-320 17 p. (Lecture Notes in Computer Science; vol. 11468).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Logics for Dependence and Independence (Dagstuhl Seminar 19031).

Grädel, E., Kolaitis, P. G., Kontinen, J. & Vollmer, H., 2019, 19 p.

Research output: Book/ReportCommissioned reportProfessional

Projects 2009 2021

Activities 2001 2019

Leibniz Universität Hannover

Juha Kontinen (Visiting researcher)
17 Mar 201929 Mar 2019

Activity: Visiting an external institution typesAcademic visit to other institution

The 16th European Conference on Logics in Artificial Intelligence (JELIA 2019)

Juha Kontinen (Speaker: Presenter)
7 May 201911 May 2019

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

Dagstuhl Seminar 19031: Logics for Dependence and Independence

Juha Kontinen (Attendee)
13 Jan 201918 Jan 2019

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

The 47th International Colloquium on Automata, Languages and Programming (ICALP 2020),

Juha Kontinen (Scientific Committee Member)
May 2019 → …

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

Jonni Virtema

Juha Kontinen (Host)
23 Apr 201930 Apr 2019

Activity: Hosting a visitor typesAcademic visit at UH