Publisher : Informatik Angewandte Kognitionswissenschaft, Fakultät Ingenieurwissenschaften, Univ Duisburg-Essen
- The document is publicly available
Applying the graph minor theorem to the verification of graph transformation systems
Duisburg : 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
Duisburg : 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
Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2006 - The document is publicly available
Context modelling for adaptive collaboration
Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2009 - The document is publicly available
Deriving bisimulation congruences in the presence of negative application conditions
Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2008 - The document is publicly available
GSCL-Symposium Sprachtechnologie und eHumanities
26.02.2009 - 27.02.2009 ; Universität Duisburg-Essen, Campus DuisburgDuisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2009 - The document is publicly available
Lattice-extended coloured Petri net rewriting for adaptable user interface models
Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2014 - The document is publicly available
On the recognizability of arrow and graph languages
Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2008 - The document is publicly available
Unfolding-based diagnosis of systems with an evolving topology
Duisburg : 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
Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2012