Search
Login
UPSpace Home
→
Engineering, Built Environment and Information Technology
→
Computer Science
→
Research Articles (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
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 12 results for collection: Research Articles (Computer Science).
(0.013 seconds)
Now showing items 1-10 of 12
1
2
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 of concurrent software systems via heuristic-guided SAT solving
Timm, Nils
;
Gruner, Stefan
;
Sibanda, Prince
(
Springer
,
2017-10
)
SAICSIT Papers in the ACM-DL
Gruner, Stefan
(
Computer Society of South Africa
,
2019-12
)
FM+AM’09 : workshop on formal methods and agile methods
Gruner, Stefan
(
Springer
,
2010-12
)
Software testing in small IT companies : a (not only) South African problem
Gruner, Stefan
(
Computer Society of South Africa
,
2011-07
)
On the historical semantics of the notion of software architecture
Gruner, Stefan
(
Vaal Triangle Faculty of Northwest University in South Africa
,
2014-07
)
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
)
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
)
The notion of 'aether': Hegel versus contemporary physics
Gruner, Stefan
;
Bartelmann, Matthias
(
Cosmos and History Publishing Co-op
,
2015
)
Deadlock-freeness of hexagonal systolic arrays
Gruner, Stefan
;
Steyn, T.J.
(
Elsevier
,
2010-07
)
Problems for a philosophy of software engineering
Gruner, Stefan
(
Springer
,
2011-05
)
Now showing items 1-10 of 12
1
2
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 Collection
Issue Date
Authors
Titles
Subjects
Supervisor
UP Author
UP Postgraduate
Type
My Account
Login
Register
UPSpace Workspace
Discover
Author
Gruner, Stefan (12)
Timm, Nils (2)
Afzal, Muhammad Tanvir (1)
Ahmad, Mushtag (1)
Bartelmann, Matthias (1)
Gravell, Andy M. (1)
Sibanda, Prince (1)
Steyn, T.J. (1)
Subject
Software engineering (3)
Bounded model checking (2)
Computer science (2)
Concurrent software systems (2)
Philosophy of science (2)
19th Century (1)
20th Century (1)
ACM-DL's database (1)
Aether (1)
Agile (1)
... View More
Date Issued
2010 (2)
2011 (2)
2017 (2)
2019 (2)
2012 (1)
2014 (1)
2015 (1)
2018 (1)
Has File(s)
true (12)