Henri Hansen

View Scopus Profile

Henri Hansen

 https://orcid.org/0000-0003-4052-6173
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
View full fingerprint
  • 15 Conference contribution
  • 11 Article
  • 1 Commissioned report
  • 1 Chapter

  • 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 Access
    File
    10 Downloads (Pure)

  • 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

    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 proceeding › Chapter › 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., 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 proceeding › Conference contribution › Scientific › peer-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 proceeding › Conference contribution › Scientific › peer-review

    11 Citations (Scopus)
View all 28 research outputs
  • 6 Reviewer of Scientific Journal
  • 5 Conference presentation
  • 4 Membership of a scientific or program committee of a conference or seminar
View all 15 activities