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 10 out of a total of 44 results for community: Computer Science.
(0.014 seconds)
Now showing items 1-10 of 44
1
2
3
4
. . .
5
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
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
)
On computer simulations, with particular regard to their application in contemporary astrophysics
Gruner, Stefan
;
Bartelmann, Matthias
(
Cosmos and History Publishing Co-op
,
2020-10
)
Invited lecture : Notions of ‘theory’ and their practical consequences in the discipline of software ‘engineering’ (including information systems design)
Gruner, Stefan
(
South African Institute of Computer Scientists and Information Technologists
,
2020
)
SAICSIT Papers in the ACM-DL
Gruner, Stefan
(
Computer Society of South Africa
,
2019-12
)
Three-valued bounded model checking with cause-guided abstraction refinement
Timm, Nils
;
Gruner, Stefan
(
Elsevier
,
2019-04
)
On more or less appropriate notions of ‘computation’
Gravell, Andy M.
;
Gruner, Stefan
(
Computer Society of South Africa
,
2018-07
)
Model checking of concurrent software systems via heuristic-guided SAT solving
Timm, Nils
;
Gruner, Stefan
;
Sibanda, Prince
(
Springer
,
2017-10
)
Hans Driesch re-visited after a century : on "Leib und Seele – Eine Untersuchung über das psychophysische Grundproblem"
Gruner, Stefan
(
Cosmos and History Publishing Co-op
,
2017
)
Parameterised three-valued model checking
Timm, Nils
;
Gruner, Stefan
(
University of Pretoria
,
2015-10-07
)
The notion of 'aether': Hegel versus contemporary physics
Gruner, Stefan
;
Bartelmann, Matthias
(
Cosmos and History Publishing Co-op
,
2015
)
Now showing items 1-10 of 44
1
2
3
4
. . .
5
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)