I agree that this site is using cookies. You can find further informations here.
X
Gruner, Stefan
114  results:
Articles (Online) X
Search for persons X
?
1

An evaluation of approaches to model checking real-time tas..:

Nxumalo, Madoda ; Timm, Nils ; Gruner, Stefan
International Journal on Software Tools for Technology Transfer.  25 (2023)  1 - p. 115-128 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Invited Lecture: Notions of 'Theory' and their Practical Co..:

Gruner, Stefan
South African Computer Journal.  32 (2020)  2 - p. , 2020
Link: https://doi.org/10.18489..
 
?
3

Model checking safety and liveness via k-induction and witn..:

Timm, Nils ; Gruner, Stefan ; Nxumalo, Madoda.
Science of Computer Programming.  200 (2020)  - p. 102532 , 2020
Link: https://doi.org/10.1016/..
 
?
4

Three-valued bounded model checking with cause-guided abstr..:

Timm, Nils ; Gruner, Stefan
Science of Computer Programming.  175 (2019)  - p. 37-62 , 2019
Link: https://doi.org/10.1016/..
 
?
5

Letter to the Editor: SAICSIT Papers in the ACM-DL:

Gruner, Stefan
South African Computer Journal.  31 (2019)  2 - p. , 2019
Link: https://doi.org/10.18489..
 
?
6

Einsatz von Botulinumtoxin bei chronischer Plantarfasziitis:

Grüner, Stephan ; Schulz, Axel ; Lippert-Grüner, Marcela
Orthopädie & Rheuma.  22 (2019)  4 - p. 32-39 , 2019
Link: https://doi.org/10.1007/..
 
?
7

Structural motifs in eIF4G and 4E-BPs modulate their bindin..:

Grüner, Stefan ; Weber, Ramona ; Peter, Daniel...
Nucleic Acids Research.  46 (2018)  13 - p. 6893-6908 , 2018
Link: https://doi.org/10.1093/..
 
?
8

Konservative Behandlungsoptionen bei Spastik:

Lippert-Grüner, Marcela ; Schulz, Axel ; Grüner, Stephan
Orthopädie & Rheuma.  21 (2018)  6 - p. 21-25 , 2018
Link: https://doi.org/10.1007/..
 
?
9

On More or Less Appropriate Notions of 'Computation':

Gruner, Stefan ; Gravell, Andrew
South African Computer Journal.  30 (2018)  1 - p. , 2018
Link: https://doi.org/10.18489..
 
?
10

Parameterised three-valued model checking:

Timm, Nils ; Gruner, Stefan
Science of Computer Programming.  126 (2016)  - p. 94-110 , 2016
Link: https://doi.org/10.1016/..
 
?
11

SACLA '16 Report:

Gruner, Stefan
South African Computer Journal.  28 (2016)  2 - p. , 2016
Link: https://doi.org/10.18489..
 
?
12

BELATED COMMENT to: `What is Informatics?' (2007):

Gruner, Stefan
South African Computer Journal.  , 2015
Link: https://doi.org/10.18489..
 
?
13

On the historical semantics of the notion of software archi..:

Gruner, Stefan
The Journal for Transdisciplinary Research in Southern Africa.  10 (2014)  1 - p. , 2014
Link: https://doi.org/10.4102/..
 
?
14

Impact of protein and ligand impurities on ITC-derived prot..:

Grüner, Stefan ; Neeb, Manuel ; Barandun, Luzi Jakob...
Biochimica et Biophysica Acta (BBA) - General Subjects.  1840 (2014)  9 - p. 2843-2850 , 2014
Link: https://doi.org/10.1016/..
 
?
15

FormSERA workshop on formal methods in software engineering..:

Gruner, Stefan ; Rumpe, Bernhard
ACM SIGSOFT Software Engineering Notes.  37 (2012)  6 - p. 28-30 , 2012
Link: https://dl.acm.org/doi/1..
 
1-15