Publications



Journal papers:


  • Pricing in population games with semi-rational agents
    H Ghasemieh, M Ghodsi, H Mahini, MA Safari
    Operations Research Letters, Volume 41, Issue 3, May 2013, Pages 226-231
  • Cascading failure tolerance of modular small-world networks
    M Babaei, H Ghassemieh, M Jalili
    IEEE Transactions on Circuits and Systems II: Express Briefs, Volume 58, Pages 527-531
  • Survivability Evaluation of Gas, Water and Electricity Infrastructures
    Alberto Avritzer, Laura Carnevali, Hamed Ghasemieh, Lucia Happe, Boudewijn R Haverkort, Anne Koziolek, Daniel Menasche, Anne Remke, Sahra Sedigh Sarvestani, Enrico Vicario
    Electronic Notes in Theoretical Computer Science, Volume 310, Pages 5-25
  • Conference papers:


  • Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition
    H Ghasemieh, A Remke, B Haverkort, M Gribaudo
    Formal Modeling and Analysis of Timed Systems,
    Lecture Notes in Computer Science, Volume 7595, 2012, pp 139-154
  • Survivability evaluation of fluid critical infrastructure using hybrid Petri nets
    H Ghasemieh, A Remke, B Haverkort
    IEEE Pacific Rim International Symposium on Dependable Computing,2013
  • Hybrid Petri nets with multiple stochastic transition firings
    H Ghasemieh, A Remke, B Haverkort
    8th International Conference on Performance Evaluation Methodologies and Tools,2014
  • Analysis of a sewage treatment facility using hybrid Petri nets
    H Ghasemieh, A Remke, B Haverkort
    7th International Conference on Performance Evaluation Methodologies and Tools,2013
  • Fluid Survival Tool: A Model Checker for Hybrid Petri Nets
    Björn F. Postema, A. Remke, B. Haverkort, H. Ghasemieh
    17th International GI/ITG Conference, 2014