jump to main-menu
jump to main content
Quicksearch:
Extended Search
Heinrich-Heine-Universität Düsseldorf
Universitäts- und Landesbibliothek
Digital Collections
Delivery process
Enter
ULB
Digital Collections
Lists
Title
Author / Collaborator
Place
Printer / Publisher
Year
New Additions
Clouds
Authors / Collaborators
Printing place
Printer / Publisher
Year
Weitere E-Pflichtsammlungen
Publikationen aus dem Regierungsbezirk Köln
Publikationen aus den Regierungsbezirken Münster, Detmold und Arnsberg
Your Search
6
Results
Authors / Collaborators
6
Entries for
König, Barbara
2
Entries for
Ehrig, Hartmut
1
Entries for
Baldan, Paolo
1
Entries for
Bruggink, H. J. Sander
1
Entries for
Joshi, Salil
1
Entries for
Kerstan, Henning
1
Entries for
Rangel, Guilherme
1
Entries for
Stückrath, Jan
Periods
3
Entries for
2001-2010
3
Entries for
2011-2020
6 Titles
jump to filter-options
Search for:
Printer / Publisher = Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen
Sort by:
Relevance
Title
Author / Collaborator
Place
Printer / Publisher
Year
Show:
10
20
30
50
100
Order:
ascending
descending
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
Composition and decomposition of DPO transformations with borrowed context
Baldan, Paolo
;
Ehrig, Hartmut
;
König, Barbara
Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2006
The document is publicly available
Deriving bisimulation congruences in the presence of negative application conditions
Rangel, Guilherme
;
König, Barbara
;
Ehrig, Hartmut
Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2008
The document is publicly available
On the recognizability of arrow and graph languages
Bruggink, H. J. Sander
;
König, Barbara
Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2008
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