Henri Hansen

Activities

Activities per year 2004 2014 2015 2015

• 6 Reviewer of Scientific Journal
• 5 Conference presentation
• 4 Membership of a scientific or program committee of a conference or seminar

Activities per year

Search results

• Can stubborn sets be optimal?

  Hansen, H. (Speaker)

  2010

  Activity: Talk or presentation › Conference presentation

• Exploring the scope for partial order reduction

  Hansen, H. (Speaker)

  2009

  Activity: Talk or presentation › Conference presentation

• Operational determinism and fast algorithms

  Hansen, H. (Speaker)

  2006

  Activity: Talk or presentation › Conference presentation

• Larger automata and less work for LTL model checking

  Hansen, H. (Speaker)

  2006

  Activity: Talk or presentation › Conference presentation

• Tampere Verification Tool

  Hansen, H. (Speaker)

  2004

  Activity: Talk or presentation › Conference presentation