Technische Berichte der Abteilung für Informatik und Angewandte Kognitionswissenschaft
Inhaltalles ausklappen
-
Bd. 2014-01 (2014): Lattice-extended Coloured Petri Net Rewriting for Adaptable User Interface Models
Stückrath, Jan; Weyers, Benjamin -
Bd. 2012-03 (2012): Well-Structured Graph Transformation Systems with Negative Application Conditions
König, Barbara; Stückrath, Jan -
Bd. 2012-02 (2012): Coalgebraic Trace Semantics for Probabilistic Transition Systems based on Measure Theory
Kerstan, Henning; König, Barbara -
Bd. 2012-01 (2012): Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems
Joshi, Salil; König, Barbara -
Bd. 2009-02 (2009): Context Modelling for Adaptive Collaboration
Haake, Jörg; Hussein, Tim; Joop, Björn; Lukosch, Stephan; Veiel, Dirk; Ziegler, Jürgen -
Bd. 2009-01 (2009): GSCL-Symposium "Sprachtechnologie und eHumanities"
Höppner, Wolfgang -
Bd. 2008-03 (2008): On the recognizability of Arrow and Graph Languages
Bruggink, H. J. Sander; König, Barbara -
Bd. 2008-02 (2008): Unfolding-based Diagnosis of Systems with an Evolving Topology
Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara -
Bd. 2008-01 (2008): Deriving Bisimulation Congruences in the Presence of Negative Application Conditions
Rangel, Guilherme; König, Barbara; Ehrig, Hartmut -
Bd. 2006-01 (2008): Composition and Decomposition of DPO Transformations with Borrowed Context
Baldan, Paolo; Ehrig, Hartmut; König, Barbara