Biochemical Reaction Networks with Fuzzy Kinetic Parameters in Snoopy. - George Assaf; Monika Heiner; Fei Liu 006 (CMSB, 2019)

Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams. - Martin Schwarick; Christian Rohr; Fei Liu 006; George Assaf; Jacek Chodak; Monika Heiner (Petri Nets, 2020)

A Petri nets-based framework for whole-cell modeling. - Fei Liu 006; George Assaf; Ming Chen 005; Monika Heiner (Biosyst., 2021)

Colouring fuzziness for systems biology. - George Assaf; Monika Heiner; Fei Liu 006 (Theor. Comput. Sci., 2021)

Coloured fuzzy Petri nets for modelling and analysing membrane systems. - George Assaf; Monika Heiner; Fei Liu 006 (Biosyst., 2022)

Incremental modelling and analysis of biological systems with fuzzy hybrid Petri nets. - George Assaf; Fei Liu 006; Monika Heiner (Briefings Bioinform., 2024)

Optimized Scheduling of Medical Appointment Sequences Using Constraint Programming. - George Assaf; Sven Löffler; Petra Hofstedt (CPAIOR (1), 2025)

Constraint-Based Optimization for Scheduling Medical Appointments. - George Assaf; Sven Löffler; Petra Hofstedt (ICAART (3), 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)