Forskningsresultat per år
Forskningsresultat per år
Personlig profil
Vetenskapsgrenar
- 111 Matematik
- Matematisk logik
-
On ultraproducts, the spectral theorem and rigged Hilbert spaces
Hirvonen, Å. & Hyttinen, T., 17 dec. 2024, I: Journal of Symbolic Logic. 89, 4, s. 1397-1429 33 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil -
Games and Scott sentences for positive distances between metric structures
Hirvonen, Å. & Puljujärvi, J., juli 2022, I: Annals of Pure and Applied Logic. 173, 7, 36 s., 103123.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil -
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
Öppen tillgångFil -
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
Öppen tillgångFil -
On Eigenvectors, Approximations and the Feynman Propagator
Hirvonen, Å. & Hyttinen, T., jan. 2019, I: Annals of Pure and Applied Logic. 170, 1, s. 109-135 27 s.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil
Aktiviteter
-
Integraalipäivät
Hirvonen, Å. (Talare: Inledningsanförande (keynote))
29 okt. 2021 → 31 okt. 2021Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Scandinavian Logic Symposium 2020
Hirvonen, Å. (Ordförande för vetenskaplig kommitté)
2019 → …Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Supervisor of doctoral thesis
Hirvonen, Å. (Handledare)
2019 → …Aktivitet: Examinationstyper › Handledare eller bihandledare av doktorsavhandling
-
Arctic Set Theory workshop 4
Hirvonen, Å. (Närvarande)
21 jan. 2019 → 26 jan. 2019Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
-
Department of Computer Science, Swansea University
Hirvonen, Å. (Besökande forskare)
17 maj 2019 → 23 maj 2019Aktivitet: Typer för besök till extern institution › Akademisk besök på annan institution