Mostafa Herajy

According to our database, Mostafa Herajy authored at least 15 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Formal verification confirms the role of p53 protein in cell fate decision mechanism.

Eman Abdelaziz Mahmoud, Mostafa Herajy, Ibrahim E. Ziedan, Hazem I. Shehata

Theory Biosci., February, 2023

2019

A Graphical Approach for Hybrid Modelling of Intracellular Calcium Dynamics Based on Coloured Hybrid Petri Nets.

Amr Ismail, Mostafa Herajy, Monika Heiner

Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019

2018

Adaptive and Bio-semantics of Continuous Petri Nets: Choosing the Appropriate Interpretation.

Mostafa Herajy, Monika Heiner

Fundam. Informaticae, 2018

Coloured Hybrid Petri Nets: An adaptable modelling approach for multi-scale biological networks.

Mostafa Herajy, Fei Liu, Christian Rohr, Monika Heiner

Comput. Biol. Chem., 2018

An Improved simulation of Hybrid biological Models with Many stochastic Events and quasi-Disjoint Subnets.

Mostafa Herajy, Monika Heiner

Proceedings of the 2018 Winter Simulation Conference, 2018

2017

Snoopy's hybrid simulator: a tool to construct and simulate hybrid biological models.

Mostafa Herajy, Fei Liu, Christian Rohr, Monika Heiner

BMC Syst. Biol., 2017

2016

Accelerated Simulation of Hybrid Biological Models with Quasi-Disjoint Deterministic and Stochastic Subnets.

Mostafa Herajy, Monika Heiner

Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016

2014

Petri Net-Based Collaborative Simulation and Steering of Biochemical Reaction Networks.

Mostafa Herajy, Monika Heiner

Fundam. Informaticae, 2014

Coloured hybrid Petri nets for systems biology.

Mostafa Herajy, Fei Liu, Christian Rohr

Proceedings of the 5th International Workshop on Biological Processes & Petri Nets co-located with 35th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2014), 2014

A Steering Server for Collaborative Simulation of Quantitative Petri Nets.

Mostafa Herajy, Monika Heiner

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014

2013

Computational steering of multi-scale biochemical networks.

Mostafa Herajy

PhD thesis, 2013

Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle.

Mostafa Herajy, Martin Schwarick, Monika Heiner

Trans. Petri Nets Other Model. Concurr., 2013

2012

Towards a Computational Steering and Petri Nets Framework for the Modelling of Biochemical Reaction Networks.

Mostafa Herajy, Monika Heiner

Proceedings of the 21th International Workshop on Concurrency, 2012

Snoopy - A Unifying Petri Net Tool.

Monika Heiner, Mostafa Herajy, Fei Liu, Christian Rohr, Martin Schwarick

Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012

2010

Hybrid Petri Nets for Modelling of Hybrid Biochemical Interactions.

Mostafa Herajy, Monika Heiner

Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, 2010