8 Results for Publisher = "Univ."

• 
   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

  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

  Professorinnen der Heinrich-Heine-Universität /
  2

  Grätz, Sanda (Ed.) ; Rasch, Ute

  2015
• 
   The document is publicly available

  Professorinnen der Heinrich-Heine-Universität /
  1

  Grätz, Sanda (Ed.) ; Rasch, Ute

  2013
• 
   The document is publicly available

  Professorinnen der Heinrich-Heine-Universität

  Forschung mit Leidenschaft ; eine Dokumentation ; [Juristische Fakultät, Mathematisch-Naturwissenschaftliche Fakultät, Medizinische Fakultät, Philosophische Fakultät, Wirtschaftswissenschaftliche Fakultät]

  Grätz, Sanda (Ed.) ; Rasch, Ute

  Düsseldorf : Heinrich-Heine-Univ., 2013
• 
   The document is publicly available

  UDE Forschungs-News

  Duisburg ; Essen : Univ., 2011
• 
   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