Search
Login
UPSpace Home
→
Engineering, Built Environment and Information Technology
→
Computer Science
→
Conference Papers & Presentations (Computer Science)
→
Search
JavaScript is disabled for your browser. Some features of this site may not work without it.
Search
Filters
Use filters to refine the search results.
Current Filters:
Title
Author
Subject
Date issued
Has File(s)
Filename
File description
Contains
Equals
ID
Not Contains
Not Equals
Not ID
New Filters:
Title
Author
Subject
Date issued
Has File(s)
Filename
File description
Contains
Equals
ID
Not Contains
Not Equals
Not ID
Showing 5 out of a total of 5 results for collection: Conference Papers & Presentations (Computer Science).
(0.002 seconds)
Now showing items 1-5 of 5
1
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
A Tool for Interactive Visualization of Distributed Algorithms
Gruner, Stefan
;
Mosbah, Mohamed
;
Bauderon, Michel
(
2001
)
Abstract Partial Deduction Challenged - (Extended Abstract)
Gruner, Stefan
(
Springer-Verlag
,
2003
)
A Combined Graph Schema and Graph Grammar Approach to Consistency in Distributed Modeling
Gruner, Stefan
(
Springer-Verlag
,
2000
)
A Visual Modeling Technique for Controlling Graph Transformations
Gruner, Stefan
;
Kurt, Murat
;
Taentzer, Gabriele
(
Carleton Scientific
,
2000
)
Meta Typing is Compatible to the Typed SPO Approach
Gruner, Stefan
(
Technische Universität Berlin
,
2000
)
Now showing items 1-5 of 5
1
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
Browse
All of UPSpace
Communities & Collections
Issue Date
Authors
Titles
Subjects
Supervisor
UP Author
UP Postgraduate
Type
This Collection
Issue Date
Authors
Titles
Subjects
Supervisor
UP Author
UP Postgraduate
Type
My Account
Login
Register
UPSpace Workspace
Discover
Author
Gruner, Stefan (5)
Bauderon, Michel (1)
Kurt, Murat (1)
Mosbah, Mohamed (1)
Taentzer, Gabriele (1)
Subject
Abstract Interpretation (1)
Abstract Partial Deduction (1)
Control graphs tool (1)
Distributed algorithms (1)
Graph grammar (1)
Graph schema (1)
Graph transformation types (1)
Graph-grammars (1)
Logic Programming (1)
Non-determinism (1)
... View More
Date Issued
2000 (3)
2001 (1)
2003 (1)
Has File(s)
true (5)