Tutkimustuotoksia vuodessa
Tutkimustuotoksia vuodessa
Henkilökohtainen profiili
Tieteenalat
- 111 Matematiikka
Kansainvälinen ja kotimainen yhteistyö
Viimeisin maa-/aluetasolla toteutettu yhteistyö. Saat tarkempia lisätietoja pisteitä napauttamalla, tai
Julkaisut
-
A New Characterization of FAC⁰ via Discrete Ordinary Differential Equations
Antonelli, M., Durand, A. & Kontinen, J., 2024, 49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 10:1-10:18 18 Sivumäärä 10. (Leibniz International Proceedings in Informatics (LIPIcs); Vuosikerta 306).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL
Kontinen, J., Sandström, M. & Virtema, J., 29 maalisk. 2024, Foundations of Information and Knowledge Systems: 13th International Symposium, FoIKS 2024 Sheffield, UK, April 8–11, 2024 Proceedings. Meier, A. & Ortiz, M. (toim.). Cham: Springer, s. 275-286 12 Sivumäärä (Lecture Notes in Computer Science; nro 14589).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
-
Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions
Hankala, T., Hannula, M., Kontinen, J. & Virtema, J., 2024, Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence. Wooldridge, M., Dy, J. & Natarajan, S. (toim.). AAAI Press, Vuosikerta 38(11). s. 12278-12285 8 SivumääräTutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Modular SAT-based techniques for reasoning tasks in team semantics
Durand, A., Kontinen, J. & Väänänen, J., 2024, julkaisussa: Journal of Computer and System Sciences. 146, 18 Sivumäärä, 103575.Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Parameterized complexity of weighted team definability
Kontinen, J., Mahmood, Y., Meier, A. & Vollmer, H., 20 helmik. 2024, julkaisussa: Mathematical structures in computer science. s. 1-15 15 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto
-
Puolirenkaissa tulkittujen tiimilogiikoiden sovellukset ja laskennallinen vaativuus
Suomen Akatemia Projektilaskutus
01/03/2024 → 28/02/2026
Projekti: Suomen Akatemia: Tutkijoiden liikkuvuus ulkomaille
-
Riippuvuuslogiikka ja sen sovellutukset / Kontinen Juha H5160 / 09/2017-08/2021
01/09/2017 → 31/08/2021
Projekti: Tutkimusprojekti
-
Kuvailevaa vaativuusteoriaa aritmeettiselle laskennalle / Kontinen Juha H516 01/2017-12/2018
20/01/2017 → 31/12/2018
Projekti: Tutkimusprojekti
-
-
Tiimisemantiikan logiikat ja niiden sovellutukset temporaalisiin ja dynaamisiin systeemeihin
23/01/2014 → 31/12/2015
Projekti: Tutkimusprojekti
Aktiviteetit
-
Dagstuhl Seminar 24111:Logics for Dependence and Independence: Expressivity and Complexity
Juha Kontinen (Järjestäjätoimikunnan jäsen)
10 maalisk. 2024 → 15 maalisk. 2024Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Univ of Auckland, Auckland, New Zealand
Juha Kontinen (Vieraileva tutkija)
29 tammik. 2024 → 9 helmik. 2024Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypit › Akateeminen vierailu toiseen organisaatioon
-
Annual AAAI Conference on Artificial Intelligence
Juha Kontinen (Posteriesitys)
22 helmik. 2024Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Scandinavian Logic Symposium
Juha Kontinen (Tieteellisen komitean jäsen)
2023 → 2024Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Thirty-Ninth Annual ACM/IEEE Symposium onLogic in Computer Science (LICS)
Juha Kontinen (Tieteellisen komitean jäsen)
kesäk. 2023 → heinäk. 2024Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen