Technische Berichte der Abteilung für Informatik und Angewandte Kognitionswissenschaft
Inhalt:
-
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 Modelling 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
-
2014-01: Lattice-extended Coloured Petri Net Rewriting for Adaptable User Interface Models
Stückrath, Jan; Weyers, Benjamin
Dateibereich 25590
28,5 KB in 3 Dateien, zuletzt geändert am 01.12.2016
Datei | Dateien geändert am | Größe |
---|---|---|
index.xml | 26.11.2010 17:09:51 | 1013 Bytes |
navigation.xml | 02.02.2016 11:59:04 | 855 Bytes |
technische-berichte_cover.png | 01.12.2016 17:26:58 | 26,7 KB |
Keine URN zugeordnet
Lesezeichen:
Dokumententyp:
Wissenschaftliche Texte » Zeitschrift, Serie
Fakultät / Institut:
Fakultät für Ingenieurwissenschaften » Informatik und Angewandte Kognitionswissenschaft
Sprache:
Deutsch
Kollektion / Status:
E-Publikationen / Dokument veröffentlicht
Dateien geändert am:
01.12.2016
Medientyp:
Text