No photo of Åsa Hirvonen
  • PL 68 (Pietari Kalmin katu 5)

    00014

    Finland

20092019
If you made any changes in Pure these will be visible here soon.

Personal profile

Fields of Science

  • 111 Mathematics
  • Mathematical Logic

International and National Collaboration Publications and projects within past five years.

Publications 2009 2019

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 proceedingConference contributionScientificpeer-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. (eds.). Springer, Vol. 11468. p. 304-320 17 p. (Lecture Notes in Computer Science; vol. 11468).

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

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 journalArticleScientificpeer-review

Open Access
File

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/ReportAnthology or special issueScientificpeer-review

Measuring Dependence in Metric Abstract Elementary Classes with Perturbations

Hirvonen, Å. H. & Hyttinen, T. H., Dec 2017, In : Journal of Symbolic Logic. 82, 4, p. 1199-1228 30 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File

Activities 2005 2019

  • 22 Organisation and participation in conferences, workshops, courses, seminars
  • 3 Academic visit at UH
  • 2 Academic visit to other institution
  • 1 Membership or other role in national/international committee, council, board

Department of Computer Science, Swansea University

Åsa Hirvonen (Visiting researcher)
17 May 201923 May 2019

Activity: Visiting an external institution typesAcademic visit to other institution

Dagstuhl Seminar 19031: Logics for Dependence and Independence

Åsa Hirvonen (Attendee)
14 Jan 201918 Jan 2019

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

Arctic Set Theory workshop 4

Åsa Hirvonen (Attendee)
21 Jan 201926 Jan 2019

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars

Arno Pauly

Åsa Hirvonen (Host)
21 May 201825 May 2018

Activity: Hosting a visitor typesAcademic visit at UH

Horizons of Logic, Computation and Definability

Åsa Hirvonen (Attendee)
4 Jul 20186 Jul 2018

Activity: Participating in or organising an event typesOrganisation and participation in conferences, workshops, courses, seminars