Tutkimustuotoksia vuodessa
Tutkimustuotoksia vuodessa
Henkilökohtainen profiili
Dosentuurit TTY:llä
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
-
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 accessTiedosto11 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
5 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
11 Sitaatiot (Scopus)
Palkinnot
-
ACM SIGSOFT Distinguished Paper Award
Lin, Shang-Wei (Recipient), Sun, Jun (Recipient), Xiao, Hao (Recipient), Liu, Yang (Recipient), Sanán, David (Recipient) & Hansen, Henri (Recipient), 2017
Palkinto: Palkinto tai huomionosoitus tuotoksesta
-
Awards: "Can Stubborn Sets Be Optimal?" by Antti Valmari, Henri Hansen was selected as the Outstanding Paper
Hansen, Henri (Recipient), 2010
Palkinto: Palkinto tai huomionosoitus tuotoksesta
-
Awards: "Old and New Algorithms for Minimal Coverability Sets" by Antti Valmari and Henri Hansen was selected as the Outstanding Paper
Hansen, Henri (Recipient), 2012
Palkinto: Palkinto tai huomionosoitus tuotoksesta
Aktiviteetit
-
Fundamenta Informaticae (Lehti)
Henri Hansen (Arvioija)
12 syysk. 2015Aktiviteetti: Tieteellisen lehden refereenä toimiminen
-
Journal of Experimental Algorithmics (Lehti)
Henri Hansen (Arvioija)
toukok. 2015Aktiviteetti: Tieteellisen lehden refereenä toimiminen
-
Science of Computer Programming (Lehti)
Henri Hansen (Arvioija)
23 huhtik. 2015Aktiviteetti: Tieteellisen lehden refereenä toimiminen
-
Graphs as models 2015
Henri Hansen (Jäsen)
2015 → …Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys
-
36th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2015
Henri Hansen (Jäsen)
2015 → …Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys