Technische Berichte der Abteilung für Informatik und Angewandte Kognitionswissenschaft

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: Über die Erkennbarkeit von Pfeil- und Graphsprachen
  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