5 Titles
jump to filter-optionsSearch for: Year = 2009 - 2012
- The document is publicly available
Applying the graph minor theorem to the verification of graph transformation systems
Joshi, Salil ; König, BarbaraDuisburg : 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, BarbaraDuisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2012 - The document is publicly available
Context modelling for adaptive collaboration
Haake, Jörg M.Duisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2009 - The document is publicly available
GSCL-Symposium Sprachtechnologie und eHumanities
26.02.2009 - 27.02.2009 ; Universität Duisburg-Essen, Campus DuisburgHöppner, Wolfgang (Ed.) ; Symposium Sprachtechnologie und Ehumanities <2009, Duisburg> ; Gesellschaft für Sprachtechnologie und ComputerlinguistikDuisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2009 - The document is publicly available
Well-structured graph transformation systems with negative application conditions
König, Barbara ; Stückrath, JanDuisburg : Abt. für Informatik und Angewandte Kognitionswissenschaft, Fakultät für Ingenieurwissenschaften, Univ. Duisburg-Essen, 2012