Activities per year
Activities
- 15 results
Search results
-
Fundamenta Informaticae (Journal)
Hansen, H. (Reviewer)
12 Sept 2015Activity: Publication peer-review and editorial work › Reviewer of Scientific Journal
-
Journal of Experimental Algorithmics (Journal)
Hansen, H. (Reviewer)
May 2015Activity: Publication peer-review and editorial work › Reviewer of Scientific Journal
-
Science of Computer Programming (Journal)
Hansen, H. (Reviewer)
23 Apr 2015Activity: Publication peer-review and editorial work › Reviewer of Scientific Journal
-
36th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2015
Hansen, H. (Member)
2015 → …Activity: Participating in or organising an event › Membership of a scientific or program committee of a conference or seminar
-
Graphs as models 2015
Hansen, H. (Member)
2015 → …Activity: Participating in or organising an event › Membership of a scientific or program committee of a conference or seminar
-
Science of Computer Programming (Journal)
Hansen, H. (Reviewer)
2014Activity: Publication peer-review and editorial work › Reviewer of Scientific Journal
-
ACM Transactions on Embedded Computing Systems (Journal)
Hansen, H. (Reviewer)
2014Activity: Publication peer-review and editorial work › Reviewer of Scientific Journal
-
14th International Conference on Application of Concurrency to System Design
Hansen, H. (Member)
2014Activity: Participating in or organising an event › Membership of a scientific or program committee of a conference or seminar
-
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (Journal)
Hansen, H. (Reviewer)
2014Activity: Publication peer-review and editorial work › Reviewer of Scientific Journal
-
35th International Conference on Application and Theory of Petri Nets and Concurrency
Hansen, H. (Member)
2014Activity: Participating in or organising an event › Membership of a scientific or program committee of a conference or seminar
-
Can stubborn sets be optimal?
Hansen, H. (Speaker)
2010Activity: Talk or presentation › Conference presentation
-
Exploring the scope for partial order reduction
Hansen, H. (Speaker)
2009Activity: Talk or presentation › Conference presentation
-
Larger automata and less work for LTL model checking
Hansen, H. (Speaker)
2006Activity: Talk or presentation › Conference presentation
-
Operational determinism and fast algorithms
Hansen, H. (Speaker)
2006Activity: Talk or presentation › Conference presentation
-
Tampere Verification Tool
Hansen, H. (Speaker)
2004Activity: Talk or presentation › Conference presentation