Search
Login
UPSpace Home
→
Engineering, Built Environment and Information Technology
→
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 20 out of a total of 44 results for community: Computer Science.
(0.018 seconds)
Now showing items 1-20 of 44
1
2
3
Next Page
Sort Options:
Relevance
Title Asc
Title Desc
Issue Date Asc
Issue Date Desc
Results Per Page:
5
10
20
40
60
80
100
Why should Chemo-Engineers be interested in Graph Grammars? - A Solution to the Inconsistency Problem in Distributed Modeling
Gruner, Stefan
(
Universität-Gesamthochschule Paderborn, Fachbereich Mathematik-Informatik
,
1998-11
)
From use cases to test cases via meta model-based reasoning
Gruner, Stefan
(
Springer-Verlag
,
2008
)
Software testing in small IT companies : a (not only) South African problem
Gruner, Stefan
(
Computer Society of South Africa
,
2011-07
)
Letter to the editor : 40 years after Garmisch
Gruner, Stefan
(
Computer Society of South Africa
,
2008-06
)
Parameterised three-valued model checking
Timm, Nils
;
Gruner, Stefan
(
University of Pretoria
,
2015-10-07
)
How big is your IT department?
Gruner, Stefan
(
Computer Society of South Africa
,
2007-06
)
FM+AM’09 : workshop on formal methods and agile methods
Gruner, Stefan
(
Springer
,
2010-12
)
Parameterisation of three-valued abstractions
Timm, Nils
;
Gruner, Stefan
(
2014
)
Meta Typing is Compatible to the Typed SPO Approach
Gruner, Stefan
(
Technische Universität Berlin
,
2000
)
On computer simulations, with particular regard to their application in contemporary astrophysics
Gruner, Stefan
;
Bartelmann, Matthias
(
Cosmos and History Publishing Co-op
,
2020-10
)
Model checking safety and liveness via k-induction and witness refinement with constraint generation
Timm, Nils
;
Gruner, Stefan
;
Nxumalo, Madoda
;
Botha, Josua
(
Elsevier
,
2020-12
)
A Visual Modeling Technique for Controlling Graph Transformations
Gruner, Stefan
;
Kurt, Murat
;
Taentzer, Gabriele
(
Carleton Scientific
,
2000
)
Einige Anmerkungen zur graphgrammatischen Spezifikation von Integrationswerkzeugen nach Westfechtel, Janning, Lefering und Schürr
Gruner, Stefan
(
RWTH Aachen: Fachgruppe Informatik
,
1998
)
On the historical semantics of the notion of software architecture
Gruner, Stefan
(
Vaal Triangle Faculty of Northwest University in South Africa
,
2014-07
)
Informatics for historians : tools for medieval document XML Markup, and their impact on the History-Sciences
Burkard, Benjamin
;
Vogeler, Georg
;
Gruner, Stefan
(
Graz University of Technology
,
2008
)
Book Review: Eric Winsberg: Science in the Age of Computer Simulation
Gruner, Stefan
(
Springer-Verlag
,
2013
)
Computational analysis of medieval manuscripts: a new tool for analysis and mapping of medieval documents to modern orthography
Ahmad, Mushtag
;
Gruner, Stefan
;
Afzal, Muhammad Tanvir
(
Graz University of Technology
,
2012-12-01
)
Log File Analysis with Context-Free Grammars
Gruner, Stefan
(
Springer-Verlag
,
2013
)
Towards a Generic Design for General-Purpose Sensor Network Nodes
Gruner, Stefan
(
SciTePress
,
2010
)
Schemakorrespondenzaxiome unterstützen die paargrammatische Spezifikation inkrementeller Integrationswerkzeuge
Gruner, Stefan
(
RWTH Aachen: Fachgruppe Informatik
,
1997
)
Now showing items 1-20 of 44
1
2
3
Next Page
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 Community
Issue Date
Authors
Titles
Subjects
Supervisor
UP Author
UP Postgraduate
Type
My Account
Login
Register
UPSpace Workspace
Discover
Author
Gruner, Stefan (44)
Timm, Nils (5)
Bartelmann, Matthias (2)
Bauderon, Michel (2)
Kurt, Murat (2)
Mosbah, Mohamed (2)
Taentzer, Gabriele (2)
Afzal, Muhammad Tanvir (1)
Ahmad, Mushtag (1)
Barla-Szabo, Gabor (1)
... View More
Subject
Software engineering (5)
Computer science (4)
Graph schema (3)
Kourie, Derrick (3)
Philosophy of science (3)
Bounded model checking (2)
Computer simulations (2)
Computer software -- Development (2)
Concurrent software systems (2)
Cosmology (2)
... View More
Date Issued
2010 - 2020 (24)
2000 - 2009 (15)
1997 - 1999 (5)
Has File(s)
true (44)