Inget foto på Åsa Hirvonen
  • PL 68 (Pietari Kalmin katu 5)

    00014

    Finland

20092019
Om du gjort några ändringar i Pure kommer de visas här snart.

Personlig profil

Vetenskapsgrenar

  • 111 Matematik
  • Matematisk logik

Internationellt och inhemskt samarbete Publikationer och projekt inom de senaste fem åren.

Publikationer 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. (red.). Springer, Vol. 11436. s. 262-278 17 s. (Lecture Notes in Computer Science; vol. 11436).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer 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. (red.). Springer, Vol. 11468. s. 304-320 17 s. (Lecture Notes in Computer Science; vol. 11468).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

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: TidskriftsbidragArtikelVetenskapligPeer review

Öppen tillgång
Fil

Logic colloquium 2015 proceedings: Preface

Hirvonen, Å. (red.), Scanlon, T. (red.), Väänänen, J. (red.) & Westerståhl, D. (red.), dec 2018, Elsevier. 1243 s. (Annals of Pure and Applied Logic; vol. 169, nr. 12)

Forskningsoutput: Bok/rapportAntologi eller special utgåvaVetenskapligPeer review

Measuring Dependence in Metric Abstract Elementary Classes with Perturbations

Hirvonen, Å. H. & Hyttinen, T. H., dec 2017, I : Journal of Symbolic Logic. 82, 4, s. 1199-1228 30 s.

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

Öppen tillgång
Fil

Aktiviteter 2005 2019

  • 22 Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
  • 3 Akademiskt besök på HU
  • 2 Akademisk besök på annan institution
  • 1 Medlemskap eller annan role i inhemsk/internationell kommitté, råd, styrelse

Arctic Set Theory workshop 4

Åsa Hirvonen (Närvarande)
21 jan 201926 jan 2019

Aktivitet: Typer för deltagande i eller organisering av evenemangArrangemang av och deltagande i konferens/workshop/kurs/seminarium

Department of Computer Science, Swansea University

Åsa Hirvonen (Besökande forskare)
17 maj 201923 maj 2019

Aktivitet: Typer för besök till extern institutionAkademisk besök på annan institution

Dagstuhl Seminar 19031: Logics for Dependence and Independence

Åsa Hirvonen (Närvarande)
14 jan 201918 jan 2019

Aktivitet: Typer för deltagande i eller organisering av evenemangArrangemang av och deltagande i konferens/workshop/kurs/seminarium

Logical Aspects of Quantum Information

Åsa Hirvonen (Närvarande)
30 jul 20183 aug 2018

Aktivitet: Typer för deltagande i eller organisering av evenemangArrangemang av och deltagande i konferens/workshop/kurs/seminarium

Arno Pauly

Åsa Hirvonen (Värd)
21 maj 201825 maj 2018

Aktivitet: Typer för att vara värd för en besökareAkademiskt besök på HU