Henri Hansen

Available identifiers

zbMath Open hansen.henriMaRDI QIDQ1708657

List of research outcomes

Publication	Date of Publication	Type
Retaliation in bitcoin networks	2021-06-30	Paper
Stubborn Set Intuition Explained	2021-06-14	Paper
Safety property-driven stubborn sets	2018-03-26	Paper
Abstractions for transition systems with applications to stubborn sets	2018-03-26	Paper
A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time	2014-06-06	Paper
Old and New Algorithms for Minimal Coverability Sets	2014-05-12	Paper
Old and New Algorithms for Minimal Coverability Sets	2012-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q3225722	2012-03-22	Paper
On the Origin of Events: Branching Cells as Stubborn Sets	2011-06-29	Paper
Can Stubborn Sets Be Optimal?	2010-06-22	Paper
Exploring the Scope for Partial Order Reduction	2009-12-01	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
Operational Determinism and Fast Algorithms	2007-09-04	Paper
Model Checking Software	2007-05-02	Paper

Research outcomes over time

This page was built for person: Henri Hansen