Henri Hansen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Retaliation in bitcoin networks Economics Letters	2021-06-30	Paper
Stubborn set intuition explained Lecture Notes in Computer Science	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 Theoretical Computer Science	2014-06-06	Paper
Old and new algorithms for minimal coverability sets Fundamenta Informaticae	2014-05-12	Paper
Old and new algorithms for minimal coverability sets Lecture Notes in Computer Science	2012-09-04	Paper
scientific article; zbMATH DE number 6017853 (Why is no real title available?)	2012-03-22	Paper
On the origin of events: branching cells as stubborn sets Applications and Theory of Petri Nets	2011-06-29	Paper
Can stubborn sets be optimal? Applications and Theory of Petri Nets	2010-06-22	Paper
Exploring the scope for partial order reduction Automated Technology for Verification and Analysis	2009-12-01	Paper
Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science	2007-09-28	Paper
Operational Determinism and Fast Algorithms CONCUR 2006 – Concurrency Theory	2007-09-04	Paper
Model Checking Software Lecture Notes in Computer Science	2007-05-02	Paper

Research outcomes over time

This page was built for person: Henri Hansen