Tutkimustuotoksia vuodessa
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
Yhteistyöt ja huippututkimusalueet viimeisiltä viideltä vuodelta
Viimeisin maa-/aluetasolla toteutettu yhteistyö. Saat tarkempia lisätietoja pisteitä napauttamalla, tai
-
Network analysis of aggregated money flows in stock markets
Karaila, J., Baltakys, K., Hansen, H., Goel, A. & Kanniainen, J., 2024, julkaisussa: Quantitative Finance. 24, 10, s. 1423-1443Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto32 Lataukset (Pure) -
Retaliation in Bitcoin networks
Lepomäki, L., Kanniainen, J. & Hansen, H., kesäk. 2021, julkaisussa: Economics Letters. 203, 5 Sivumäärä, 109822.Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto2 Sitaatiot (Scopus)39 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 › Tieteellinen › 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 › Tieteellinen
-
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 › Tieteellinen › vertaisarvioitu
19 Sitaatiot (Scopus)
Palkinnot
-
ACM SIGSOFT Distinguished Paper Award
Lin, S.-W. (Recipient), Sun, J. (Recipient), Xiao, H. (Recipient), Liu, Y. (Recipient), Sanán, D. (Recipient) & Hansen, H. (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, H. (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, H. (Recipient), 2012
Palkinto: Palkinto tai huomionosoitus tuotoksesta
Aktiviteetit
-
Fundamenta Informaticae (Lehti)
Hansen, H. (Arvioija)
12 syysk. 2015Aktiviteetti: Tieteellisen lehden refereenä toimiminen
-
Journal of Experimental Algorithmics (Lehti)
Hansen, H. (Arvioija)
toukok. 2015Aktiviteetti: Tieteellisen lehden refereenä toimiminen
-
Science of Computer Programming (Lehti)
Hansen, H. (Arvioija)
23 huhtik. 2015Aktiviteetti: Tieteellisen lehden refereenä toimiminen
-
36th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2015
Hansen, H. (Jäsen)
2015 → …Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys
-
Graphs as models 2015
Hansen, H. (Jäsen)
2015 → …Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys