Hybrid Petri Nets for Modelling of Hybrid Biochemical Interactions. - Mostafa Herajy; Monika Heiner (AWPN, 2010)

Snoopy - A Unifying Petri Net Tool. - Monika Heiner; Mostafa Herajy; Fei Liu 006; Christian Rohr; Martin Schwarick (Petri Nets, 2012)

Towards a Computational Steering and Petri Nets Framework for the Modelling of Biochemical Reaction Networks. - Mostafa Herajy; Monika Heiner (CS&P, 2012)

Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle. - Mostafa Herajy; Martin Schwarick; Monika Heiner (Trans. Petri Nets Other Model. Concurr., 2013)

Computational steering of multi-scale biochemical networks. - Mostafa Herajy (2013)

A Steering Server for Collaborative Simulation of Quantitative Petri Nets. - Mostafa Herajy; Monika Heiner (Petri Nets, 2014)

Coloured hybrid Petri nets for systems biology. - Mostafa Herajy; Fei Liu 006; Christian Rohr (BioPPN@Petri Nets, 2014)

Petri Net-Based Collaborative Simulation and Steering of Biochemical Reaction Networks. - Mostafa Herajy; Monika Heiner (Fundam. Informaticae, 2014)

Accelerated Simulation of Hybrid Biological Models with Quasi-Disjoint Deterministic and Stochastic Subnets. - Mostafa Herajy; Monika Heiner (HSB, 2016)

Snoopy's hybrid simulator: a tool to construct and simulate hybrid biological models. - Mostafa Herajy; Fei Liu 006; Christian Rohr; Monika Heiner (BMC Syst. Biol., 2017)

An Improved simulation of Hybrid biological Models with Many stochastic Events and quasi-Disjoint Subnets. - Mostafa Herajy; Monika Heiner (WSC, 2018)

Coloured Hybrid Petri Nets: An adaptable modelling approach for multi-scale biological networks. - Mostafa Herajy; Fei Liu 006; Christian Rohr; Monika Heiner (Comput. Biol. Chem., 2018)

Adaptive and Bio-semantics of Continuous Petri Nets: Choosing the Appropriate Interpretation. - Mostafa Herajy; Monika Heiner (Fundam. Informaticae, 2018)

A Graphical Approach for Hybrid Modelling of Intracellular Calcium Dynamics Based on Coloured Hybrid Petri Nets. - Amr Ismail; Mostafa Herajy; Monika Heiner (Automated Reasoning for Systems Biology and Medicine, 2019)

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., 2023)

Design patterns for the construction of computational biological models. - Mostafa Herajy; Fei Liu 006; Monika Heiner (Briefings Bioinform., 2024)

DCNN: a novel binary and multi-class network intrusion detection model via deep convolutional neural network. - Ahmed Shebl; E. I. Elsedimy; Amr Ismail; A. A. Salama; Mostafa Herajy (EURASIP J. Inf. Secur., 2024)

A workflow for the hybrid modelling and simulation of multi-timescale biological systems. - Mostafa Herajy; Fei Liu 006; Monika Heiner (Biosyst., 2025)

Addressing data uncertainty of Caulobacter crescentus cell cycles using hybrid Petri nets with fuzzy kinetics. - George Assaf; Fei Liu 006; Monika Heiner; Mostafa Herajy (Comput. Biol. Medicine, 2025)

Energy and QoS-aware virtual machine placement approach for IaaS cloud datacenter. - E. I. Elsedimy; Mostafa Herajy; Sara M. M. Abo Hashish (Neural Comput. Appl., 2025)