6 Titles
jump to filter-optionsSearch for: Author / Collaborator = König, Barbara
- The document is publicly available
Applying the graph minor theorem to the verification of graph transformation systems
Joshi, Salil ; König, BarbaraDuisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2012 - The document is publicly available
Coalgebraic trace semantics for probabilistic transition systems based on measure theory
Kerstan, Henning ; König, BarbaraDuisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2012 - The document is publicly available
Composition and decomposition of DPO transformations with borrowed context
Baldan, Paolo ; Ehrig, Hartmut ; König, BarbaraDuisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2006 - The document is publicly available
Deriving bisimulation congruences in the presence of negative application conditions
Rangel, Guilherme ; König, Barbara ; Ehrig, HartmutDuisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2008 - The document is publicly available
On the recognizability of arrow and graph languages
Bruggink, H. J. Sander ; König, BarbaraDuisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2008 - The document is publicly available
Well-structured graph transformation systems with negative application conditions
König, Barbara ; Stückrath, JanDuisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2012