Ina Koch

Tim Schäfer, Patrick May, Ina Koch: Computation and Visualization of Protein Topology Graphs Including Ligand Information. GCB 2012: 108-118

Patrick May, Annika Kreuchwig, Thomas Steinke, Ina Koch: PTGL: a database for secondary structure-based protein topologies. Nucleic Acids Research 38(Database-Issue): 326-330 (2010)

Jeanice Kielbassa, Ralf H. Bortfeldt, Stefan Schuster, Ina Koch: Modeling of the U1 snRNP assembly pathway in alternative splicing in human cells using Petri nets. Computational Biology and Chemistry 33(1): 46-61 (2009)

Ina Koch, Georg Fuellen: A review of bioinformatics education in Germany. Briefings in Bioinformatics 9(3): 232-242 (2008)

Stefanie Grunwald, Astrid Speer, Jörg Ackermann, Ina Koch: Petri net modelling of gene regulation of the Duchenne muscular dystrophy. Biosystems 92(2): 189-205 (2008)

Eva Grafahrend-Belau, Falk Schreiber, Monika Heiner, Andrea Sackmann, Björn H. Junker, Stefanie Grunwald, Astrid Speer, Katja Winder, Ina Koch: Modularization of biochemical networks based on classification of Petri net t-invariants. BMC Bioinformatics 9 (2008)

Andrea Sackmann, Dorota Formanowicz, Piotr Formanowicz, Ina Koch, Jacek Blazewicz: An analysis of the Petri net based model of the human body iron homeostasis process. Computational Biology and Chemistry 31(1): 1-10 (2007)

Andrea Sackmann, Monika Heiner, Ina Koch: Application of Petri net based analysis techniques to signal transduction pathways. BMC Bioinformatics 7: 482 (2006)

Maurice Scheer, Frank Klawonn, Richard Münch, Andreas Grote, Karsten Hiller, Claudia Choi, Ina Koch, Max Schobert, Elisabeth Härtig, Ulrich Klages, Dieter Jahn: JProGO: a novel tool for the functional interpretation of prokaryotic microarray data using Gene Ontology information. Nucleic Acids Research 34(Web-Server-Issue): 510-515 (2006)

Ina Koch, Björn H. Junker, Monika Heiner: Application of Petri net theory for modelling and validation of the sucrose breakdown pathway in the potato tuber. Bioinformatics 21(7): 1219-1226 (2005)

Silke Trißl, Kristian Rother, Heiko Müller, Thomas Steinke, Ina Koch, Robert Preissner, Cornelius Frömmel, Ulf Leser: Columba: an integrated database of proteins, structures, and annotations. BMC Bioinformatics 6: 81 (2005)

Louchka Popova-Zeugmann, Monika Heiner, Ina Koch: Time Petri Nets for Modelling and Analysis of Biochemical Networks. Fundam. Inform. 67(1-3): 149-162 (2005)

Patrick May, Stefan Barthel, Ina Koch: PTGL - a web-based database application for protein topologies. Bioinformatics 20(17): 3277-3279 (2004)

Ina Koch, Markus Schüler, Monika Heiner: STEPP - Search Tool for Exploration of Petri net Paths: A new tool for Petri net-based path analysis in biochemical networks. In Silico Biology 5 (2004)

Monika Heiner, Ina Koch: Petri Net Based Model Validation in Systems Biology. ICATPN 2004: 216-237

Kristian Rother, Heiko Müller, Silke Trißl, Ina Koch, Thomas Steinke, Robert Preissner, Cornelius Frömmel, Ulf Leser: Columba: Multidimensional Data Integration of Protein Annotations. DILS 2004: 156-171

Klaus Voss, Monika Heiner, Ina Koch: Steady state analysis of metabolic pathways using Petri nets. In Silico Biology 3: 31 (2003)

Monika Heiner, Ina Koch, Jürgen Will: Model Validation of Biological Pathways Using Petri Nets - Demonstrated for Apoptosis. CMSB 2003: 173

Stefan Schuster, Thomas Pfeiffer, Ferdinand Moldenhauer, Ina Koch, Thomas Dandekar: Exploring the pathway structure of metabolism: decomposition into subnetworks and application to Mycoplasma pneumoniae. Bioinformatics 18(2): 351-361 (2002)

Stéphanie Boué, Martin Vingron, Evgenia V. Kriventseva, Ina Koch: Theoretical analysis of alternative splice forms using computational methods. ECCB 2002: 65-73

Ina Koch: Enumerating all connected maximal common subgraphs in two graphs. Theor. Comput. Sci. 250(1-2): 1-30 (2001)

Stefan Schuster, Thomas Pfeiffer, Ferdinand Moldenhauer, Ina Koch, Thomas Dandekar: Structural Analysis of Metabolic Networks: Elementary Flux Modes, Analogy to Petri Nets, and Application to Mycoplasma Pneumoniae. German Conference on Bioinformatics 2000: 115-120

Ina Koch, Stefan Schuster, Monika Heiner: Simulation and analysis of metabolic networks by time-dependent Petri nets. German Conference on Bioinformatics 1999: 208-209

Ina Koch, Thomas Lengauer: Detection of Distant Structural Similarities in a Set of Proteins Using a Fast Graph-Based Method. ISMB 1997: 167-178

Ina Koch, Thomas Lengauer, Egon Wanke: An Algorithm for Finding Maximal Common Subtopologies in a Set of Protein Structures. Journal of Computational Biology 3(2): 289-306 (1996)