1. Ina Koch. Bioinformatik und die Simulation und Analyse biochemischer Systeme. Workshop Computer and Systems Biology, Helmholtz Centre for Infection Research Braunschweig, August 18 (2009).

2. Ina Koch. Searching for New Therapies for Duchenne Muscular Dystrophy through modeling of Gene Regulation - a Petri nets Apporoach. Workshop Formal Methods in Molecular Biology, Castle Dagstuhl, Wadern, Germany, February 22-27 (2009).

3. Ina Koch. Methoden der Bioinformatik zur Simulation und Analyse biochemischer Systeme. Colloquium, Johann Wolfgang Goethe University Frankfurt(Main), December 15 (2008).

4. Plenary talk: Ina Koch. Petri nets and systems biology 4th International Conference on Graph Transformation, University of Leicester, England, September (2008).

5. Ina Koch. Modeling of pathomechanism of Duchenne Muscular Dystrophy, 4th Workshop on Molecular Intearctions: From molecules to systems, FU Berlin, Germany, July 25th (2008).

6. Ina Koch. Petri nets and their application in biochemistry, Charite Berlin, Germany, March 11th (2008).

7. Ina Koch. Petr nets as modeling approach for biochemical netwoks - dmostrated for processes of Duchenne Muscular Dystrophy, University Göttingen, Germany, November 12th (2007).

8. Ina Koch. Petri nets as modeling approach for biochemical systems, HepatoSys Workshop on Molecular Modelling, Heidelberg, German, October, 17th (2007).

9. Plenary talk: Ina Koch. Modelling and analysis of molecular processes in Duchenne Muscular Dystrophy, MCCMB - Moscow Conference on Computational Molecular Biology, Moscow, Russia, July, 28th (2007).

10. Ina Koch. Bioinformatics approaches for qualitative modelling in systems biology, GBF Braunschweig, Germany, March, 28 (2006).

11. Ina Koch. Decomposition of biochemical networks by clustering of the minimal transition invariants, Workshop for Systems Biology, Max-Planck-Institute for Molecular Genetics, Berlin, Germany, March, 2 (2006).

12. Ina Koch. Petri nets for qualitative modelling and analysis in systems biology, Johann Wolfgang Goethe University Frankurt(Main), Germany, February, 21 (2006).

13. Ina Koch. Methoden der Bioinformatik zur qualitativen Modellierung und Analyse in der Systembiologie, University, Frankurt (Main), Germany, January, 5 (2006).

14. Ina Koch. Petri nets and their application in biology, University of Lyon, France, September, 19 (2005).

15. Ina Koch. Graphalgorithmen in der Bioinformatik, Friedrich-Schiller-University Jena, Bioinformatik-Kolloquium, Germany, July, 22 (2005).

16. Ina Koch. Qualitative analysis of signal transduction pathways - considering as example the signalling pathways in S. cerevisiae Max Planck Institute for Dynamics of Complex Technical Systems, Magdeburg, Germany, June, 3 (2005).

17. Ina Koch. Qualitative Analysis of Signaltranduction Pathways - considering as example the Pheromone Pathway in S.cerevisiae Bertinoro Meeting, Italy, May, 20 (2005).

18. Ina Koch. Methoden der qualitativen Analyse in der Systembiologie. University Duisburg/Essen, Germany, May, 20 (2005).

19. Ina Koch. Petrinetze zur Analyse biochemischer Netzwerke Bioinformatik-Workshop, FH Wildau May, 18 (2005).

20. Ina Koch. The Bron/Kerbosch-Algorithm for Protein structure comparison University of Glasgow, Great Britain, March, 17 (2005).

21. Ina Koch. A Petri Net Based Model of Pheromone Signalling Pathway in Yeast. MAGMA-seminar at Mediterranian University of Marseille, France, February, 17 (2005).

22. Ina Koch. Modellvalidation in der Systembiologie mit Petrinetzen. Bioinformatics-colloquium at Ernst-Moritz-Arndt-University Greifswald, Germany, January, 14 (2004).

23. Ina Koch. Petri Net Based Model Validation in Systems Biology. Bioinformatics-colloquium at Technical University Carola Wilhemina of Braunschweig, Germany, December, 12 (2004).

24. Ina Koch. Bioinformatics and Computer Science. Scientific colloqium, Brandenburg University of Technology, Cottbus, Germany, November, 8 (2004).

25. Ina Koch. Wann können Mutationen im Humangenom schädlich sein - Eine Fragestellung der Bioinformatik. Westfälische Wilhelms University of Münster, Germany, November, 4 (2004).

26. Ina Koch. Application of Petri net theory to model and analyse metabolic pathways - demonstrated for the sucrose breakdown in the potato tuber. Forschungsseminar, Humboldt-University Berlin, Germany, September, 23 (2004).

27. Ina Koch, Monika Heiner. Petri Net Based Model Validation in Systems Biology. Conference BioCon Valley Life Science for the Future, Rostock, Germany, September, 9 (2004).

28. Ina Koch. The Petri Net Model of the Sucrose-to-Starch Breakdown in the potato tuber. IPK Gatersleben, Germany, August, 17 (2004).

29. Ina Koch. Qualitative analysis of large metabolic systems using Petri nets. Workshop Integrative Bioinformatics - Aspects of the Virtual Cell, Castle Dagstuhl, Wadern, Germany, July 4-9 (2004).

30. Ina Koch. Possibilities of Petri Net Theory to validate metabolic pathways. Second Bertinoro Computational Biology Meeting, Bertinoro, Italy, June, 12-19 (2004).

31. Ina Koch. Qualitative Biochemical Pathway Analysis using Petri nets. Scientific colloquium, CNRS - Centre National de la Recherche Scientifique, Marseille, France March, 25 (2004).

32. Ina Koch. Analysis of Biochemical Networks using Petri Net Theory. Workshop, Westfälische Wilhelms University of Münster, Germany, February, 12 (2004).

33. Ina Koch. Qualitative Modelling of Biochemical Networks. Scientific colloquium, Technical University Carola Wilhemina of Braunschweig, Germany, January, 15 (2004).

34. Ina Koch. Modelling, analysis, and simulation of metabolic pathways using Petri net theory - demonstrated for the sucrose-to-starch-pathway. Scientific colloquium, Karl-Franzens-University, Graz, Austria, October, 13 (2003).

35. Ina Koch. Modelling, analysis, and simulation of the sucrose-to-starch-pathway using Petri net theory. Scientific colloquium, University Hamburg, Germany, September, 25 (2003).

36. Ina Koch. Modelling, analysis, and simulation of the sucrose-to-starch-pathway using Petri net theory. Scientific colloquium, University Leipzig, Germany, September, 15 (2003).

37. Ina Koch. Ein graphentheoretischer Ansatz zum Finden von gemeinsamen Eigenschaften - Beispiel Proteinstrukturvergleich. Scientific colloquium,Johann-Wolfgang-von-Goethe University Frankfurt(Main), Germany, July, 7 (2003).

38. Ina Koch. Zur theoretischen Analyse von biologischen Netzwerken. Scientific colloquium, Technical University Dresden, Germany, March, 27 (2003).

39. Ina Koch. Anwendung von bioinformatischen Werkzeugen der Analyse des Humangenoms - Beispiele aus der Praxis Lise-Meitner-Schule Berlin Oberstufenzentrum, Germany, May, 9 (2003).

40. Ina Koch. Zur theoretischen Analyse von biologischen Netzwerken. Scientific colloquium, University Potsdam, Germany, December, 14 (2002) .

41. Ina Koch. Vergleich von Proteinstrukturen mit graphen-theoretischen Methoden. Scientific colloquium, Albert-Ludwigs University Freiburg, Germany, December, 13 (2002).

42. Ina Koch. Untersuchung des alternativen Spleisens mit Methoden der Bioinformatik. Scientific colloquium, Friedrich-Schiller University Jena, Germany, October, 1 (2002).

43. Ina Koch. Ein graphentheoretischer Algorithmus zum schnellen Vergleich von Proteinstrukturen. Scientific colloquium, University Rostock, Germany, February, 13 (2002).

44. Ina Koch. Untersuchung von SNPs und alternativen Spleisvarianten mit Hilfe bioinformatischer Methoden. Scientific colloquium, Georg-August University Göttingen, Germany, December, 11 (2001).

45. Ina Koch. Anwendung von bioinformatischen Tools bei der Analyse des Humangenoms - Beispiele aus der Praxis. Scientific colloquium, Technical University of Applied Sciences Berlin, Germany, October, 24 (2001).

46. Ina Koch. Investigation of SNPs and alternative splice forms using computational biology Scientific colloquium, University of Cologne, September, 24 (2001).

47. Ina Koch. Liganden-Docking und 3D-strukturbasiertes Docking Scientific colloquium, University of Hamburg, Germany, June, 12 (2001).

48. Ina Koch. Zur Analyse von SNPs in menschlichen Genomen Scientific colloquium, University Hamburg, Germany, June, 12 (2001).

49. Ina Koch. Bäume in Theorie und Praxis. Scientific colloquium, University of Applied Sciences Merseburg, Germany, February, 11 (2000).

50. Ina Koch. Implementierung mathematischer Methoden zur Datenanalyse. Scientific colloquium, University of Applied Sciences Lausitz, Senftenberg, Germany, January, 28 (2000).

51. Ina Koch. An algorithm for finding all connected maximal common substructures and its application to protein structures. Workshop Molecular Bioinformatics, Castle Dagstuhl, Wadern, Germany, July, 10-14 (1995).

52. Ina Koch. Determination of maximal common subtopologies in protein structures. Workshop Molecular Modelling, Darmstadt, Germany, May, 23-24 (1995).

53. Ina Koch. Graph Theoretical Description of Sheet Topologies Dagstuhl-Seminar-Report 46: (1992).