Research output per year
Research output per year
Personal profile
Fields of Science
- 111 Mathematics
- Mathematical Logic
International and National Collaboration
Publications and projects within past five years.
-
Games and Scott sentences for positive distances between metric structures
Hirvonen, Å. & Puljujärvi, J., Jul 2022, In: Annals of Pure and Applied Logic. 173, 7, 36 p., 103123.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile -
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. (eds.). Springer, Vol. 11436. p. 262-278 17 p. (Lecture Notes in Computer Science; vol. 11436).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
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. (eds.). Springer, Vol. 11468. p. 304-320 17 p. (Lecture Notes in Computer Science; vol. 11468).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
On Eigenvectors, Approximations and the Feynman Propagator
Hirvonen, Å. & Hyttinen, T., Jan 2019, In: Annals of Pure and Applied Logic. 170, 1, p. 109-135 27 p.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile -
Logic colloquium 2015 proceedings: Preface
Hirvonen, Å. (ed.), Scanlon, T. (ed.), Väänänen, J. (ed.) & Westerståhl, D. (ed.), Dec 2018, Elsevier. 1243 p. (Annals of Pure and Applied Logic; vol. 169, no. 12)Research output: Book/Report › Anthology or special issue › Scientific › peer-review
Activities
-
Integraalipäivät
Åsa Hirvonen (Speaker: Keynote)
29 Oct 2021 → 31 Oct 2021Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars
-
Arctic Set Theory workshop 4
Åsa Hirvonen (Attendee)
21 Jan 2019 → 26 Jan 2019Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars
-
Scandinavian Logic Symposium 2020
Åsa Hirvonen (Scientific Committee Chair)
2019 → …Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars
-
Supervisor of doctoral thesis
Åsa Hirvonen (Supervisor)
2019 → …Activity: Examination types › Supervisor or co-supervisor of doctoral thesis
-
Dagstuhl Seminar 19031: Logics for Dependence and Independence
Åsa Hirvonen (Attendee)
14 Jan 2019 → 18 Jan 2019Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars