Jacek Chodak

Publication Activity (10 Years)

Years Active: 2010-2020
Publications (10 Years): 3

Top Topics

Reactive Systems

Coloured Petri Nets

Top Venues

Publications

Martin Schwarick, Christian Rohr, Fei Liu, George Assaf, Jacek Chodak, Monika Heiner
Efficient Unfolding of Coloured Petri Nets Using Interval Decision Diagrams. Petri Nets (2020)
David R. Gilbert, Monika Heiner, Leila Ghanbar, Jacek Chodak
Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking. BMC Bioinform. (4) (2019)
Jacek Chodak, Monika Heiner
Spike - Reproducible Simulation Experiments with Configuration File Branching. CMSB (2019)
Jacek Chodak
Menu interfacefor people with physical disabilities based on EOG. Bio Algorithms Med Syst. 6 (12-S) (2010)
Jacek Chodak
EOG Based Interface for People with Physical Disabilities. Bio Algorithms Med Syst. 6 (12) (2010)