Tutkimustuotoksia vuodessa
Tutkimustuotoksia vuodessa
Henkilökohtainen profiili
Tieteenalat
- 111 Matematiikka
- Matemaattinen logiikka
Julkaisut
-
On ultraproducts, the spectral theorem and rigged Hilbert spaces
Hirvonen, Å. & Hyttinen, T., 17 jouluk. 2024, julkaisussa: Journal of Symbolic Logic. 89, 4, s. 1397-1429 33 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
Games and Scott sentences for positive distances between metric structures
Hirvonen, Å. & Puljujärvi, J., heinäk. 2022, julkaisussa: Annals of Pure and Applied Logic. 173, 7, 36 Sivumäärä, 103123.Tutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
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. (toim.). Springer, Vuosikerta 11436. s. 262-278 17 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 11436).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
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. (toim.). Springer, Vuosikerta 11468. s. 304-320 17 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 11468).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto -
On Eigenvectors, Approximations and the Feynman Propagator
Hirvonen, Å. & Hyttinen, T., tammik. 2019, julkaisussa: Annals of Pure and Applied Logic. 170, 1, s. 109-135 27 SivumääräTutkimustuotos: Artikkelijulkaisu › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto
Aktiviteetit
- 24 Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
- 3 Isännöity akateeminen vierailu Helsingin yliopistossa
- 2 Jäsenyys tai muu rooli kansallisessa/kansainvälisessä komiteassa, toimikunnassa tai hallituksessa
- 2 Akateeminen vierailu toiseen organisaatioon
-
Muut aineistot
-
Integraalipäivät
Hirvonen, Å. (Puhuja: pääpuhuja (keynote))
29 lokak. 2021 → 31 lokak. 2021Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Scandinavian Logic Symposium 2020
Hirvonen, Å. (Tieteellisen komitean puheenjohtaja)
2019 → …Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Dagstuhl Seminar 19031: Logics for Dependence and Independence
Hirvonen, Å. (Osallistuja)
14 tammik. 2019 → 18 tammik. 2019Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Arctic Set Theory workshop 4
Hirvonen, Å. (Osallistuja)
21 tammik. 2019 → 26 tammik. 2019Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypit › Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
-
Supervisor of doctoral thesis
Hirvonen, Å. (Ohjaaja)
2019 → …Aktiviteetti: Tutkimustyypit › Väitöskirjan ohjaaja tai sivuohjaaja