Abteilung für Informatik und Angewandte Kognitionswissenschaft

• 2006-01: Composition and Decomposition of DPO Transformations with Borrowed Context
  Baldan, Paolo; Ehrig, Hartmut; König, Barbara
• 2008-01: Deriving Bisimulation Congruences in the Presence of Negative Application Conditions
  Rangel, Guilherme; König, Barbara; Ehrig, Hartmut
• 2008-02: Unfolding-based Diagnosis of Systems with an Evolving Topology
  Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara
• 2008-03: On the recognizability of Arrow and Graph Languages
  Bruggink, Sander; König, Barbara
• 2009-01: GSCL-Symposium "Sprachtechnologie und eHumanities"
• 2009-02: Context Modeling for Adaptive Collaboration
  Haake, Jörg; Hussein, Tim; Joop, Björn; Lukosch, Stephan; Veiel, Dirk; Ziegler, Jürgen
• 2012-01: Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems
  Salil Joshi; König, Barbara
• 2012-02: Coalgebraic Trace Semantics for Probabilistic Transition Systems based on Measure Theory
  Kerstan, Henning; König, Barbara
• 2012-03: Well-Structured Graph Transformation Systems with Negative Application Conditions
  König, Barbara; Stückrath, Jan Michael