Primary tabs

Most recent publications

S. Bruvoll, J. E. Hannay, G. K. Svendsen, M. L. Asprusten, K. M. Fauske, V. B. Kvernelv, R. A. Løvlid and J. I. Hyndøy

Simulation-Supported Wargaming for Analysis of Plans

In NATO Modelling and Simulation Group Symp. M&S Support to Operational Tasks Including War Gaming, Logistics, Cyber Defence (MSG-133). NATO Science and Technology Organization, 2015.
Proceedings, refereed
2015
View
J. E. Hannay, K. Brathen and J. I. Hyndøy

On How Simulations Can Support Adaptive Thinking in Operations Planning

In NATO Modelling and Simulation Group Symp. M&S Support to Operational Tasks Including War Gaming, Logistics, Cyber Defence (MSG-133). NATO Science and Technology Organization, 2015.
Proceedings, refereed
2015
View
J. E. Hannay

Axiomatic Criteria for Quotients and Subobjects at Higher Order

In Automata, Languages and Programming. Proceedings of ICALP 2003, 30th International Colloquium, Eindhoven, the Netherlands, LNCS volume 2719. Lecture Notes in Computer Science. Springer-Verlag, 2003.
Proceedings, refereed
2003
View
J. E. Hannay

Abstraction Barrier-Observing Relational Parametricity

In Typed Lambda Calculi and Applications. Proceedings of TLCA, 6th International Conference, Valencia, Spain, LNCS volume 2701. Lecture Notes in Computer Science. Springer-Verlag, 2003.
Proceedings, refereed
2003
View

Selected publications

J. E. Hannay, H. C. Benestad and K. Strand

Benefit Points – The Best Part of the Story

IEEE Software 34, no. 3 (2017): 73-85.
Journal Article
2017
View
J. E. Hannay, H. C. Benestad and K. Strand

Earned Business Value Management – See that You Deliver Value to Your Customer –

IEEE Software 34, no. 4 (2017): 58-70.
Journal Article
2017
View

Available Master's topics

Find publication

Status

Departments

Publication type

Year published

Export 5 results:
2015

Proceedings, refereed

S. Bruvoll, J. E. Hannay, G. K. Svendsen, M. L. Asprusten, K. M. Fauske, V. B. Kvernelv, R. A. Løvlid and J. I. Hyndøy

Simulation-Supported Wargaming for Analysis of Plans

In NATO Modelling and Simulation Group Symp. M&S Support to Operational Tasks Including War Gaming, Logistics, Cyber Defence (MSG-133). NATO Science and Technology Organization, 2015.
Status: Published
J. E. Hannay, K. Brathen and J. I. Hyndøy

On How Simulations Can Support Adaptive Thinking in Operations Planning

In NATO Modelling and Simulation Group Symp. M&S Support to Operational Tasks Including War Gaming, Logistics, Cyber Defence (MSG-133). NATO Science and Technology Organization, 2015.
Status: Published
2003

Proceedings, refereed

J. E. Hannay

Axiomatic Criteria for Quotients and Subobjects at Higher Order

In Automata, Languages and Programming. Proceedings of ICALP 2003, 30th International Colloquium, Eindhoven, the Netherlands, LNCS volume 2719. Lecture Notes in Computer Science. Springer-Verlag, 2003.
Status: Published
J. E. Hannay

Abstraction Barrier-Observing Relational Parametricity

In Typed Lambda Calculi and Applications. Proceedings of TLCA, 6th International Conference, Valencia, Spain, LNCS volume 2701. Lecture Notes in Computer Science. Springer-Verlag, 2003.
Status: Published
J. E. Hannay, S. -. Y. Katsumata and D. T. Sannella

Semantic and Syntactic Approaches to Simulation Relations

In Mathematical Foundations of Computer Science. Proceedings of MFCS, 28th International Symposium on Mathematical Foundations of Computer Science, Bratislava, Slovak Republic, LNCS volume 2747. Lecture Notes in Computer Science. Springer-Verlag, 2003.
Status: Published