Forskningsprestation per år
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: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer 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/konferenshandling › Konferensbidrag › Vetenskaplig › Peer 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/konferenshandling › Konferensbidrag › Vetenskaplig › Peer 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/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Logics for Dependence and Independence (Dagstuhl Seminar 19031).
Grädel, E., Kolaitis, P. G., Kontinen, J. & Vollmer, H., 2019, 19 s.Forskningsoutput: Bok/rapport › Beställd rapport › Professionell
Projekter 2009 2021
Riippuvuuslogiikka ja sen sovellutukset / Kontinen Juha H5160 / 09/2017-08/2021
01/09/2017 → 31/08/2021
Projekt: Forskningsprojekt
Kuvailevaa vaativuusteoriaa aritmeettiselle laskennalle / Kontinen Juha H516 01/2017-12/2018
20/01/2017 → 31/12/2018
Projekt: Forskningsprojekt
Tiimisemantiikan logiikat ja niiden sovellutukset temporaalisiin ja dynaamisiin systeemeihin
23/01/2014 → 31/12/2015
Projekt: Forskningsprojekt
Aktiviteter 2001 2019
Leibniz Universität Hannover
Juha Kontinen (Besökande forskare)17 mar 2019 → 29 mar 2019
Aktivitet: Typer för besök till extern institution › Akademisk besök på annan institution
The 16th European Conference on Logics in Artificial Intelligence (JELIA 2019)
Juha Kontinen (Talare: Presentation)7 maj 2019 → 11 maj 2019
Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
Dagstuhl Seminar 19031: Logics for Dependence and Independence
Juha Kontinen (Närvarande)13 jan 2019 → 18 jan 2019
Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang 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 evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
Jonni Virtema
Juha Kontinen (Värd)23 apr 2019 → 30 apr 2019
Aktivitet: Typer för att vara värd för en besökare › Akademiskt besök på HU