10 Titles in Informatik

• 
   The document is publicly available

  Applying the graph minor theorem to the verification of graph transformation systems

  Joshi, Salil ; König, Barbara

  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

  Kerstan, Henning ; König, Barbara

  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

  Baldan, Paolo ; Ehrig, Hartmut ; König, Barbara

  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

  Haake, Jörg M.

  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

  Rangel, Guilherme ; König, Barbara ; Ehrig, Hartmut

  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 Duisburg

  Höppner, Wolfgang (Ed.) ; Symposium Sprachtechnologie und Ehumanities <2009, Duisburg> ; Gesellschaft für Sprachtechnologie und Computerlinguistik

  Duisburg : 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

  Stückrath, Jan ; Weyers, Benjamin

  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

  Bruggink, H. J. Sander ; König, Barbara

  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

  Baldan, Paolo

  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

  König, Barbara ; Stückrath, Jan

  Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2012