Ei valokuvaa: Åsa Hirvonen
  • PL 68 (Pietari Kalmin katu 5)

    00014

    Suomi

20092019
Jos olet muokannut tietoja Puressa, ne näkyvät pian tässä.

Henkilökohtainen profiili

Tieteenalat

  • 111 Matematiikka
  • Matemaattinen logiikka

Kansainvälinen ja kotimainen yhteistyö Viimeisin maatasolla toteutettu yhteistyö. Saat syvempiä lisätietoja pisteitä napsauttamalla.

Julkaisut 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. (toim.). Springer, Vuosikerta 11436. s. 262-278 17 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 11436).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

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/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

On Eigenvectors, Approximations and the Feynman Propagator

Hirvonen, Å. & Hyttinen, T., tammikuuta 2019, julkaisussa : Annals of Pure and Applied Logic. 170, 1, s. 109-135 27 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Open access
Tiedosto

Logic colloquium 2015 proceedings: Preface

Hirvonen, Å. (toim.), Scanlon, T. (toim.), Väänänen, J. (toim.) & Westerståhl, D. (toim.), joulukuuta 2018, Elsevier. 1243 Sivumäärä (Annals of Pure and Applied Logic; Vuosikerta 169, nro 12)

Tutkimustuotos: Kirja/raporttiKokoomateos tai erikoisnumeroTieteellinenvertaisarvioitu

Measuring Dependence in Metric Abstract Elementary Classes with Perturbations

Hirvonen, Å. H. & Hyttinen, T. H., joulukuuta 2017, julkaisussa : Journal of Symbolic Logic. 82, 4, s. 1199-1228 30 Sivumäärä

Tutkimustuotos: ArtikkelijulkaisuArtikkeliTieteellinenvertaisarvioitu

Open access
Tiedosto

Aktiviteetit 2005 2019

  • 22 Konferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen
  • 3 Isännöity akateeminen vierailu Helsingin yliopistossa
  • 2 Akateeminen vierailu toiseen organisaatioon
  • 1 Jäsenyys tai muu rooli kansallisessa/kansainvälisessä komiteassa, toimikunnassa tai hallituksessa

Department of Computer Science, Swansea University

Åsa Hirvonen (Vieraileva tutkija)
17 toukokuuta 201923 toukokuuta 2019

Aktiviteetti: Ulkoisessa instituutiossa vierailun tyypitAkateeminen vierailu toiseen organisaatioon

Arctic Set Theory workshop 4

Åsa Hirvonen (Osallistuja)
21 tammikuuta 201926 tammikuuta 2019

Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypitKonferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

Dagstuhl Seminar 19031: Logics for Dependence and Independence

Åsa Hirvonen (Osallistuja)
14 tammikuuta 201918 tammikuuta 2019

Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypitKonferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen

Arno Pauly

Åsa Hirvonen (Isäntä)
21 toukokuuta 201825 toukokuuta 2018

Aktiviteetti: Vierailijan isännöinnin tyypitIsännöity akateeminen vierailu Helsingin yliopistossa

Horizons of Logic, Computation and Definability

Åsa Hirvonen (Osallistuja)
4 heinäkuuta 20186 heinäkuuta 2018

Aktiviteetti: Tapahtumaan osallistumisen ja tapahtuman järjestämisen tyypitKonferensseihin, kursseille ja seminaareihin osallistuminen ja näiden järjestäminen