Research output per year
Research output per year
Personal profile
Associate professor
Matemaattinen logiikka tietojenkäsittelyssä. Teknis-luonnontieteellinen tiedekunta. 2017 - 2021.
Education/Academic qualification
Doctor of Science (Technology), Information Technology
Award Date: 15 Oct 2007
Master of Science (Technology)
Award Date: 28 Feb 2001
Fingerprint
Dive into the research topics where Henri Hansen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 5 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Topological clustering of agents in information contagions: Application to financial markets
Goel, A., Hansen, H. & Kanniainen, J., Apr 2026, In: Expert Systems with Applications. 305, 20 p.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile -
Network analysis of aggregated money flows in stock markets
Karaila, J., Baltakys, K., Hansen, H., Goel, A. & Kanniainen, J., 2024, In: Quantitative Finance. 24, 10, p. 1423-1443Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile -
Retaliation in Bitcoin networks
Lepomäki, L., Kanniainen, J. & Hansen, H., Jun 2021, In: Economics Letters. 203, 5 p., 109822.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile -
Progress Checking for Dummies
Valmari, A. & Hansen, H., 2018, Formal Methods for Industrial Critical Systems. Howar, F. & Barnat, J. (eds.). Springer International Publishing, Vol. 11119. p. 115-130 (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
-
Abstractions for transition systems with applications to stubborn sets
Hansen, H., 1 Jan 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. (eds.). Springer International Publishing, p. 104-123 20 p. (Lecture Notes in Computer Science; vol. 10160).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific
Prizes
-
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
Prize: Award or honor granted for a specific work
-
Awards: "Can Stubborn Sets Be Optimal?" by Antti Valmari, Henri Hansen was selected as the Outstanding Paper
Hansen, H. (Recipient), 2010
Prize: Award or honor granted for a specific work
-
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
Prize: Award or honor granted for a specific work
Activities
-
Fundamenta Informaticae (Journal)
Hansen, H. (Reviewer)
12 Sept 2015Activity: Publication peer-review and editorial work › Reviewer of Scientific Journal
-
Journal of Experimental Algorithmics (Journal)
Hansen, H. (Reviewer)
May 2015Activity: Publication peer-review and editorial work › Reviewer of Scientific Journal
-
Science of Computer Programming (Journal)
Hansen, H. (Reviewer)
23 Apr 2015Activity: Publication peer-review and editorial work › Reviewer of Scientific Journal
-
36th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2015
Hansen, H. (Member)
2015 → …Activity: Participating in or organising an event › Membership of a scientific or program committee of a conference or seminar
-
Graphs as models 2015
Hansen, H. (Member)
2015 → …Activity: Participating in or organising an event › Membership of a scientific or program committee of a conference or seminar