Graphtransformation als universelles Beschreibungs- und Ausführungsmodell für Transaktionen. - Manuel Koch (Datenbank Rundbr., 1997)

Local Views on Distributed Systems and Their Communication. - Ingrid Fischer; Manuel Koch; Gabriele Taentzer (TAGT, 1998)

A Fully Abstract Model for Graph-Interpreted Temporal Logic. - Fabio Gadducci; Reiko Heckel; Manuel Koch (TAGT, 1998)

Graphtransformationen zur visuellen Beschreibung einer transaktionsgesteuerten Konfigurationskontrolle. - Manuel Koch; Ingrid Fischer; Victor Volle (Datenbank Rundbr., 1998)

Learning and Rewriting in Fuzzy Rule Graphs. - Ingrid Fischer; Manuel Koch; Michael R. Berthold (AGTIVE, 1999)

A Formal Model for Role-Based Access Control Using Graph Transformation. - Manuel Koch; Luigi V. Mancini; Francesco Parisi-Presicce (ESORICS, 2000)

Consistency Checking and Visualization of OCL Constraints. - Paolo Bottoni; Manuel Koch; Francesco Parisi-Presicce; Gabriele Taentzer (UML, 2000)

Integration of graph transformation and temporal logic for the specification of distributed systems. - Manuel Koch (2000)

Foundations for a Graph-Based Approach to the Specification of Access Control Policies. - Manuel Koch; Luigi V. Mancini; Francesco Parisi-Presicce (FoSSaCS, 2001)

On the specification and evolution of access control policies. - Manuel Koch; Luigi V. Mancini; Francesco Parisi-Presicce (SACMAT, 2001)

A Visualization of OCL Using Collaborations. - Paolo Bottoni; Manuel Koch; Francesco Parisi-Presicce; Gabriele Taentzer (UML, 2001)

A graph-based approach to the compositional specification of distributed systems. - Manuel Koch (GETGRATS Closing Workshop, 2001)

Graph Transformations for the Specification of Access Control Policies. - Manuel Koch; Luigi V. Mancini; Francesco Parisi-Presicce (GETGRATS Closing Workshop, 2001)

Decidability of Safety in Graph-Based Models for Access Control. - Manuel Koch; Luigi V. Mancini; Francesco Parisi-Presicce (ESORICS, 2002)

Conflict Detection and Resolution in Access Control Policy Specifications. - Manuel Koch; Luigi V. Mancini; Francesco Parisi-Presicce (FoSSaCS, 2002)

Describing Policies with Graph Constraints and Rules. - Manuel Koch; Francesco Parisi-Presicce (ICGT, 2002)

A graph-based formalism for RBAC. - Manuel Koch; Luigi V. Mancini; Francesco Parisi-Presicce (ACM Trans. Inf. Syst. Secur., 2002)

Formal access control analysis in the software development process. - Manuel Koch; Francesco Parisi-Presicce (FMSE, 2003)

Visual Specifications of Policies and Their Verification. - Manuel Koch; Francesco Parisi-Presicce (FASE, 2003)

Specification and Enforcement of Access Control in Heterogeneous Distributed Applications. - Torsten Fink; Manuel Koch; Cristian Oancea (ICWS-Europe, 2003)

Entwicklung und Verwaltung von Zugriffsschutz in verteilten Objektsystemen - eine Krankenhausfallstudie. - Gerald Brose; Manuel Koch; Klaus-Peter Löhr (Prax. Inf.verarb. Kommun., 2003)

Administrative scope in the graph-based framework. - Manuel Koch; Luigi V. Mancini; Francesco Parisi-Presicce (SACMAT, 2004)

Termination of High-Level Replacement Units with Application to Model Transformation. - Paolo Bottoni; Manuel Koch; Francesco Parisi-Presicce; Gabriele Taentzer (VLFM, 2004)

An MDA approach to Access Control Specifications Using MOF and UML Profiles. - Torsten Fink; Manuel Koch; Karl Pauls (VODCA@FOSAD, 2004)

An Access Control Language for Dynamic Systems - Model-Driven Development and Verification. - Manuel Koch; Karl Pauls (SDL Forum, 2005)

Model-driven development of access control aspects. - Manuel Koch; Karl Pauls (Sicherheit, 2005)

Graph-based specification of access control policies. - Manuel Koch; Luigi V. Mancini; Francesco Parisi-Presicce (J. Comput. Syst. Sci., 2005)

SecTOOL - Supporting Requirements Engineering for Access Control. - Steffen Kolarczyk; Manuel Koch; Klaus-Peter Löhr; Karl Pauls (ETRICS, 2006)

Engineering Self-protection for Autonomous Systems. - Manuel Koch; Karl Pauls (FASE, 2006)

UML specification of access control policies and their formal verification. - Manuel Koch; Francesco Parisi-Presicce (Softw. Syst. Model., 2006)

Elektronische Signaturen in der Telematikinfrastruktur. - Andreas Hallof; Manuel Koch; Sven Marx; Arno Elmer (GI-Jahrestagung, 2012)

Informationelle Selbstbestimmung und Patientensouveränität in einem vernetzten Gesundheitswesen. - Manuel Koch; Sven Marx; Arno Elmer (Datenschutz und Datensicherheit, 2013)

Das Standard-Datenschutzmodell in der Telematikinfrastruktur. - Manuel Koch; Andrea Pawils; Enrico Weide (Datenschutz und Datensicherheit, 2020)

Impact of Mechanically-Induced Fibrosis on Atrial Electromechanical Function. - Teresa Schiatti; Marilu Casini; Thomas Hutschalik; Manuel Koch; Ramona Emig; Rémi Peyronnet; Ursula Ravens (CinC, 2022)

Report: State of the Art Solutions for Privacy Preserving Machine Learning in the Medical Context. - Jasmin Zalonis; Frederik Armknecht; Björn Grohmann; Manuel Koch (CoRR, 2022)

Telematikinfrastruktur 2.0 - Verhindern von missbräuchlicher Profilbildung durch PET. - Manuel Koch (Datenschutz und Datensicherheit, 2022)