1
0
0
(1 - 13 von 18
)
A Graph-Transformational Approach for Proving the ...arXiv
arxiv.org
von HJ Kreowski · · Zitiert von: 2 — Authors:Hans-Jörg Kreowski (University of Bremen), Sabine Kuske (University of Bremen), Aaron Lye (University of Bremen), Aljoscha Windhorst ( ...
Autonomous Units to Model GamesGI Digital Library
dl.gi.de
von HJ Kreowski · · Zitiert von: 2 — [HKK09] Karsten Hölscher, Hans-Jörg Kreowski, and Sabine Kuske. Autonomous Units to Model. Interacting Sequential and Parallel Processes. Fundamenta ...
Autonomous units and their semantics - the concurrent case
dl.acm.org
von HJ Kreowski · · Zitiert von: 6 — Sabine Kuske. University of Bremen, Department of Computer Science, Bremen, Germany. University of Bremen, Department of Computer Science, Bremen, Germany. › doi › abs
Modeling and Analyzing Graph Algorithms by Means of Graph ...
www.jot.fm
von HJ Kreowski · Zitiert von: 1 — Hans-Jörg Kreowski and Sabine Kuske. University of Bremen, Germany. ABSTRACT Graph transformation units are rule-based devices to specify processes on ... › issue_2020_03 › article9
GRACE as a unifying approach to graph-transformation-based ...
www.sciencedirect.com
von HJ Kreowski · · Zitiert von: 11 — Hans-Jörg Kreowski, Giorgio Busatto, Sabine Kuske. University of Bremen 1. Abstract. In this paper, we sketch some basic ideas and features of the ... › science › article › pii › pdf
Graph-Transformational Swarms with Stationary MembersArchive ouverte HAL
inria.hal.science
von L Abdenebaoui · · Zitiert von: 5 — Larbi Abdenebaoui, Hans-Jörg Kreowski, Sabine Kuske. Graph-Transformational Swarms with Sta- tionary Members. 6th Doctoral Conference on ...
Towards an Integrated Graph Based Semantics for UMLScienceDirect
www.sciencedirect.com
von M Gogolla · · Zitiert von: 55 — Sabine Kuske, Martin Gogolla, Ralf Kollmann, Hans-Jörg Kreowski. An Integrated Semantics for UML Class, Object, and State Diagrams based on Graph ...
Graph-Transformational Swarms with Stationary MembersHal-Inria
inria.hal.science
von L Abdenebaoui · · Zitiert von: 5 — Graph-Transformational Swarms with Stationary Members. Larbi Abdenebaoui (1) , Hans-Jörg Kreowski (1) , Sabine Kuske (1). Afficher plus de détails
Hans-Jörg Kreowski, Renate Klempien-Hinrichs, Sabine ...Springer Link
link.springer.com
von Z Esik · Zitiert von: 15 — 'Hans-Jörg Kreowski, Renate Klempien-Hinrichs, Sabine Kuske' published in 'Recent Advances in Formal Languages and Applications'
Profile
scholar.google.at
Sabine Kuske. Lecturer at the department of Computer Science, University of Bremen. Bestätigte E-Mail-Adresse bei uni-bremen.de. Zitiert von:
Rule-Based Transformation of Graphs and the Product TypeIGI Global
www.igi-global.com
von R Klempien-Hinrichs · · Zitiert von: 10 — (pages ). Renate Klempien-Hinrichs, Hans-Jörg Kreowski, Sabine Kuske. This chapter presents rule-based graph transformation as a framework for modeling ...
[PDF] Beschreibungskomplexität von Restart-AutomatenSemantic Scholar
www.semanticscholar.org
von J Reimann · Zitiert von: 6 — Basic Notation and Terminology by Janusz Brzozowski, Hans-Jorg Kreowski, Renate Klempien-Hinrichs, Sabine Kuske, Mitsunori Ogihara, and Friedrich Otto.
Solving Graph Optimization Problems in a Framework for ...AAAI
ojs.aaai.org
von S Edelkamp · · Zitiert von: 3 — Sabine Kuske Universität Bremen. DOI: https://doi.org socs.v8i Abstract. In this paper we solve fundamental graph optimization ...
Alle Infos zum Namen "Sabine Kuske"
sortiert nach Relevanz / Datum