( en | de | ru )

 

Disambiguation of "Hansen, Henri"

Author of the publication

copydeleteadd this publication to your clipboard
Safety Property-Driven Stubborn Sets.

, and . RP, volume 9899 of Lecture Notes in Computer Science, page 90-103. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Henri Hansen

Henri Sellenschlo

Henri Harff

Henri Kaden

Henri Sand

 

Other publications of authors with the same name

Safety Property-Driven Stubborn Sets., and . RP, volume 9899 of Lecture Notes in Computer Science, page 90-103. Springer, (2016)Detachment Problem - Application in Prevention of Information Leakage in Stock Markets., and . CoRR, (2024)Progress Checking for Dummies., and . FMICS, volume 11119 of Lecture Notes in Computer Science, page 115-130. Springer, (2018)Stubborn Set Intuition Explained., and . Trans. Petri Nets Other Model. Concurr., (2017)Exploring the Scope for Partial Order Reduction., , and . ATVA, volume 5799 of Lecture Notes in Computer Science, page 39-53. Springer, (2009)Larger Automata and Less Work for LTL Model Checking., and . SPIN, volume 3925 of Lecture Notes in Computer Science, page 53-70. Springer, (2006)Can Stubborn Sets Be Optimal?, and . Fundam. Informaticae, 113 (3-4): 377-397 (2011)FiB: squeezing loop invariants by interpolation between Forward/Backward predicate transformers., , , , , and . ASE, page 793-803. IEEE Computer Society, (2017)On the Origin of Events: Branching Cells as Stubborn Sets., and . Petri Nets, volume 6709 of Lecture Notes in Computer Science, page 248-267. Springer, (2011)Stuttering-Insensitive Automata for On-the-fly Detection of Livelock Properties., , and . FMICS, volume 66 of Electronic Notes in Theoretical Computer Science, page 178-193. Elsevier, (2002)