Valokuva Henri Hansen

Näytä Scopus-profiili

Henri Hansen

 https://orcid.org/0000-0003-4052-6173
19982021

Tutkimustuotoksia vuodessa

Henkilökohtainen profiili

Dosentuurit

Matemaattinen logiikka tietojenkäsittelyssä. Teknis-luonnontieteellinen tiedekunta. 2017 - 2021.

Koulutus / tieteellinen pätevyys

Tekn. toht., tietotekniikka

Myöntöpäivä: 15 lokak. 2007

Dipl.ins., muu tai tuntematon tekniikka

Myöntöpäivä: 28 helmik. 2001

Sormenjälki

Sukella tutkimusaiheisiin, joissa Henri Hansen on aktiivinen. Nämä aihemerkinnät ovat peräisin tämän henkilön teoksista. Yhdessä ne muodostavat ainutlaatuisen sormenjäljen.
  • 1 Samanlaiset profiilit
Näytä koko sormenjälki

  • Retaliation in Bitcoin networks

    Lepomäki, L., Kanniainen, J. & Hansen, H., kesäk. 2021, julkaisussa: Economics Letters. 203, 5 Sivumäärä, 109822.

    Tutkimustuotos: Artikkeli › Scientific › vertaisarvioitu

    Open access
    Tiedosto
    1 Sitaatiot (Scopus)
    17 Lataukset (Pure)

  • Progress Checking for Dummies

    Valmari, A. & Hansen, H., 2018, Formal Methods for Industrial Critical Systems. Howar, F. & Barnat, J. (toim.). Springer International Publishing, Vuosikerta 11119. s. 115-130 (Lecture Notes in Computer Science).

    Tutkimustuotos: Konferenssiartikkeli › Scientific › vertaisarvioitu

    1 Sitaatiot (Scopus)

  • Abstractions for transition systems with applications to stubborn sets

    Hansen, H., 1 tammik. 2017, Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday. Gibson-Robinson, T., Hopcroft, P. & Lazić, R. (toim.). Springer International Publishing, s. 104-123 20 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 10160).

    Tutkimustuotos: Luku › Scientific

  • FiB: Squeezing loop invariants by interpolation between forward/backward predicate transformers

    Lin, S.-W., Sun, J., Xiao, H., Liu, Y., Sanán, D. & Hansen, H., lokak. 2017, Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering: ASE 2017. Rosu, G., Di Penta, M. & Nguyen, T. N. (toim.). IEEE Press, s. 793-803 11 Sivumäärä (IEEE/ACM International Conference on Automated Software Engineering).

    Tutkimustuotos: Konferenssiartikkeli › Scientific › vertaisarvioitu

    16 Sitaatiot (Scopus)

  • Stubborn set intuition explained

    Valmari, A. & Hansen, H., 2017, Transactions on Petri Nets and Other Models of Concurrency XII. Springer Verlag, s. 140-165 26 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 10470).

    Tutkimustuotos: Konferenssiartikkeli › Scientific › vertaisarvioitu

    15 Sitaatiot (Scopus)
Näytä kaikki 28 tutkimustuotos
  • 6 Tieteellisen lehden refereenä toimiminen
  • 5 Konferenssiesitelmä
  • 4 Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys
Näytä kaikki 15 aktiviteetit