Henri Hansen

Latest publications

• Network analysis of aggregated money flows in stock markets

  Karaila, J., Baltakys, K., Hansen, H., Goel, A. & Kanniainen, J., 2024, (E-pub ahead of print) In: Quantitative Finance.

  Research output: Contribution to journal › Article › Scientific › peer-review

• 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

• 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

• 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

• 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

• Safety Property-Driven Stubborn Sets

  Hansen, H. & Valmari, A., Sept 2016, Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings. Larsen, K., Potapov, I. & Srba, J. (eds.). Springer International Publishing, p. 90-103 14 p. (Lecture notes in computer science; vol. 9899).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

• Stubborn Set Intuition Explained

  Valmari, A. & Hansen, H., 2016, Petri Nets and Software Engineering 2016: Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, including the International Workshop on Biological Processes & Petri Nets 2016. Cabac, L., Kristensen, L. M. & Rölke, H. (eds.). CEUR-WS, p. 213-232 20 p. (CEUR Workshop Proceedings; vol. 1591).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

• Practical Partial Order Reduction for CSP

  Gibson-Robinson, T., Hansen, H., Roscoe, A. W. & Wang, X., 2015, Nasa Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings. Springer International Publishing, Vol. 9058. p. 188-203 16 p. (Lecture Notes in Computer Science; vol. 9058).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

• A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time

  Hansen, H. & Timmer, M., 2014, In: Theoretical Computer Science. 528, p. 103-123 21 p.

  Research output: Contribution to journal › Article › Scientific › peer-review