data structures and software dependability

• home

• contact

• members

• teaching

• research

• publications

• software

• events

Selected References - Posters

20 entries

2018 - 2016 - 2013 - 2012 - 2011 - 2008 - 2007 - 2006 - 2005 - 2004

2018

• [GHG.poster]
  D Gilbert, M Heiner and L Ghanbar:
  Spatial Quorum Sensing Modelling Using Coloured Petri Nets and Simulative Model Checking, CMSB 2018, Brno/CZ, September 2018;
  Poster, September 2018 (1 MB). [ pdf ] [ BibTeX ]
• [HC18.poster]
  M Heiner and J Chodak:
  Petri Nets for Multilevel Systems Biology;
  Poster, May 2018 (7.8 MB). [ pdf ] [ BibTeX ]
• [CH18.poster]
  J Chodak and M Heiner:
  Spike - A tool for efficient simulation of Petri nets;
  Poster, May 2018 (804 KB). [ pdf ] [ BibTeX ]

2016

• [GH+16]
  D Gilbert, M Heiner, Y Jayaweere, B Suleiman, A Pandini, A Khan and N Saunders:
  Network-based Computational Design of Bacterial Genome Scale Metabolic Systems;
  Poster, 2016. [ pdf ] [ BibTeX ]

2013

• [PG+13]
  O Pârvu, D Gilbert, M Heiner, F Liu and N Saunders:
  A systems biology approach to modelling growth and phase variation in bacterial colonies;
  Poster, 2013. [ pdf ] [ BibTeX ]
• [HRS13.poster]
  M Heiner, C Rohr and M Schwarick:
  Petri net based system analysis;
  Poster, 2013. [ pdf ] [ BibTeX ]

2012

• [HRS12]
  M Heiner, C Rohr and M Schwarick:
  Petri net based system analysis;
  Poster, 2012. [ pdf ] [ BibTeX ]
• [Rohr12.poster]
  C Rohr:
  Simulative  Model  Checking  of Colored  Stochastic  Petri  Nets; IGS/ZUSYS, 2012;
  Poster, 2012. [ pdf ] [ BibTeX ]
• [HH12.poster]
  M Herajy and M Heiner:
  Distributed Collaborative and Interactive Simulationof Large Scale Biochemical Networks; BioPPN 12, June 2012;
  Poster, 2012. [ pdf ] [ BibTeX ]

2011

• [RMH11]
  C Rohr, M Heiner and W Marwan:
  Stochastic Modelling and Simulation of Biochemical Networks; IMPRS evaluation, November 2011;
  Poster, 2011. [ pdf ] [ BibTeX ]
• [HRS11]
  M Heiner, C Rohr and M Schwarick:
  Petri net based system analysis;
  Poster, 2011. [ pdf ] [ BibTeX ]

2008

• [BGH08]
  R Breitling, D Gilbert and M Heiner:
  BioModel Engineering - from Structure to Behaviour, CMSB 2008, Rostock, October 2008;
  Poster, 2008. [ pdf ] [ BibTeX ]
• [GHDB08a]
  D Gilbert, M Heiner, R Donaldson and R Breitling:
  A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets,ESF-UB Conference in Biomedicine, Systems Biology, April 2008;
  Poster, 2008. [ BibTeX ]
• [GHDB08b]
  D Gilbert, M Heiner, R Donaldson and R Breitling:
  A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets, FORSYS Meeting, Berlin, June 2008;
  Poster, 2008. [ pdf ] [ BibTeX ]

2007

• [GXKF07]
  D Gilbert, Xu Gu, R Khanin, D Forehand, S Rosser, E Travis, G Gray, D Leader, G Kalna, T Friend, R Fulton, C Harkness, M-B Jensen, K Kidykas, M Marbŕ, L McLeay, C Merrick, M Paakkunainen, S Ramsay, M Trybilo, M Heiner:
  Modelling techniques and tools to support the design and construction process in Synthetic Biology – a practical comparative analysis, European Conference on Synthetic Biology (ECSB '07): Design, Programming and Optimisation of Biological Systems, Sant Feliu de Guixols/Spain, November 2007;
  Poster, 2007. [ pdf ] [ BibTeX ]

2006

• [HRT06a]
  M Heiner, R Richter and A Tovchigrechko:
  Snoopy - a Tool to Design and Animate / Simulate Graphs;
  Poster, 2006. [ pdf ] [ BibTeX ]
• [HRT06b]
  M Heiner, R Richter and A Tovchigrechko:
  Petri Net Based System Analysis, Overview on the research activities of our working group, May 2006;
  Poster, 2006. [ pdf ] [ BibTeX ]

2005

• [SHK05]
  A Sackmann, M Heiner and I Koch:
  Modelling signal transduction pathways of yeast with Petri nets, European Conference on Mathematical and Theoretical Biology (ECMTB 2005), Dresden/Germany, July 2005;
  Poster, 2005. [ pdf ] [ BibTeX ]

2004

• [GHK04]
  A Gevorgyan, M Heiner and I Koch:
  Japet: an Integrated Tool for Recreating KEGG Data into Hierarchical and Petri Net Analysis, 5th Int. Conference on Systems Biology (ICSB 2004), Heidelberg/Germany, October 2004;
  Poster, 2004. [ pdf ] [ BibTeX ]
• [KJH04]
  I Koch, BH Junker and M Heiner:
  A Petri Net Based Model Validation Technique for the Central Carbon Metabolism of Solanum Tuberosum Tubers, 5th Int. Conference on Systems Biology (ICSB 2004), Heidelberg/Germany, October 2004;
  Poster, 2004. [ pdf ] [ BibTeX ]