19982021

Research activity per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Title of docent at TUT

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.
  • 1 Similar Profiles
  • Retaliation in Bitcoin networks

    Lepomäki, L., Kanniainen, J. & Hansen, H., Jun 2021, In: Economics Letters. 203, 5 p., 109822.

    Research output: Contribution to journalArticleScientificpeer-review

  • 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 proceedingConference contributionScientificpeer-review

    1 Citation (Scopus)
  • 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 proceedingChapterScientific

  • 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., Oct 2017, Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering: ASE 2017. Rosu, G., Di Penta, M. & Nguyen, T. N. (eds.). IEEE Press, p. 793-803 11 p. (IEEE/ACM International Conference on Automated Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    5 Citations (Scopus)
  • Stubborn set intuition explained

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    11 Citations (Scopus)