Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Henri
    Last name: Hansen
    DBLP: 99/3222
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 22  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Henri Hansen.
    Abstractions for Transition Systems with Applications to Stubborn Sets.
    Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday 2017 (0) 2017
    Conference paper
    Antti Valmari, Henri Hansen.
    Stubborn Set Intuition Explained.
    Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, including the International Workshop on Biological Processes Petri Nets 2016 co-located with the 37th International Conference on Application and Theory of Petri Nets 2016 (0) 2016
    Conference paper
    Alfons Laarman, Elwin Pater, Jaco van de Pol, Henri Hansen.
    Guard-based partial-order reduction.
    STTT 2016, Volume 18 (0) 2016
    Conference paper
    Henri Hansen, Antti Valmari.
    Safety Property-Driven Stubborn Sets.
    Reachability Problems - 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Thomas Gibson-Robinson, Henri Hansen, A. W. Roscoe, Xu Wang.
    Practical Partial Order Reduction for CSP.
    NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings 2015 (0) 2015
    Journal article
    Antti Valmari, Henri Hansen.
    Old and New Algorithms for Minimal Coverability Sets.
    Fundam. Inform. 2014, Volume 131 (0) 2014
    Journal article
    Henri Hansen, Mark Timmer.
    A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time.
    Theor. Comput. Sci. 2014, Volume 538 (0) 2014
    Conference paper
    Henri Hansen, Shang-Wei Lin, Yang Liu 0003, Truong Khanh Nguyen, Jun Sun 0001.
    Diamonds Are a Girl's Best Friend: Partial Order Reduction for Timed Automata with Abstractions.
    Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Antti Valmari, Henri Hansen.
    Old and New Algorithms for Minimal Coverability Sets.
    Application and Theory of Petri Nets - 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Henri Hansen, Xu Wang.
    On the Origin of Events: Branching Cells as Stubborn Sets.
    Applications and Theory of Petri Nets - 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings 2011 (0) 2011
    Show item 1 to 10 of 22  

    Your query returned 22 matches in the database.