Foto på Juha Kontinen
  • Finland

  • PL 68 (Pietari Kalmin katu 5)

    00014

    Finland

20022021
Om du gjort några ändringar i Pure kommer de visas här snart.

Personlig profil

Vetenskapsgrenar

  • 111 Matematik

Internationellt och inhemskt samarbete Publikationer och projekt inom de senaste fem åren.

Publikationer 2002 2019

A Logical Approach to Context-Specific Independence

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

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer 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. (red.). Springer, Vol. 11436. s. 262-278 17 s. (Lecture Notes in Computer Science; vol. 11436).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer 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).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer 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. (red.). Springer, Vol. 11468. s. 304-320 17 s. (Lecture Notes in Computer Science; vol. 11468).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Logics for Dependence and Independence (Dagstuhl Seminar 19031).

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

Forskningsoutput: Bok/rapportBeställd rapportProfessionell

Projekter 2009 2021

Aktiviteter 2001 2019

Leibniz Universität Hannover

Juha Kontinen (Besökande forskare)
17 mar 201929 mar 2019

Aktivitet: Typer för besök till extern institutionAkademisk besök på annan institution

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

Juha Kontinen (Talare: Presentation)
7 maj 201911 maj 2019

Aktivitet: Typer för deltagande i eller organisering av evenemangArrangemang av och deltagande i konferens/workshop/kurs/seminarium

Dagstuhl Seminar 19031: Logics for Dependence and Independence

Juha Kontinen (Närvarande)
13 jan 201918 jan 2019

Aktivitet: Typer för deltagande i eller organisering av evenemangArrangemang av och deltagande i konferens/workshop/kurs/seminarium

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

Juha Kontinen (Medlem av vetenskaplig kommitté)
maj 2019 → …

Aktivitet: Typer för deltagande i eller organisering av evenemangArrangemang av och deltagande i konferens/workshop/kurs/seminarium

Jonni Virtema

Juha Kontinen (Värd)
23 apr 201930 apr 2019

Aktivitet: Typer för att vara värd för en besökareAkademiskt besök på HU