I agree that this site is using cookies. You can find further informations here.
X
Gouw, Hans
78  results:
Search for persons X
?
1

Communication during haematological consultations; patients..:

van Bruinessen, Inge R. ; van der Hout, Lotte E. ; van Weel-Baumgarten, Evelyn M....
Annals of Hematology.  95 (2016)  7 - p. 1177-1183 , 2016
Link: https://doi.org/10.1007/..
 
?
2

Active Patient Participation in the Development of an Onlin..:

van Bruinessen, Inge Renske ; van Weel-Baumgarten, Evelyn M ; Snippe, Harm Wouter...
JMIR Research Protocols.  3 (2014)  4 - p. e59 , 2014
Link: https://doi.org/10.2196/..
 
?
3

Barriers and facilitators to effective communication experi..:

van Bruinessen, Inge Renske ; van Weel‐Baumgarten, Evelyn M. ; Gouw, Hans...
Psycho-Oncology.  22 (2013)  12 - p. 2807-2814 , 2013
Link: https://doi.org/10.1002/..
 
?
4

An Integrated Process and Outcome Evaluation of a Web-Based..:

van Bruinessen, Inge Renske ; van Weel-Baumgarten, Evelyn M ; Gouw, Hans..
J Med Internet Res 2016, 8 (7):e206.  , 2016
Link: http://hdl.handle.net/11..
 
?
5

Active Patient Participation in the Development of an Onlin..:

van Bruinessen, Inge Renske ; van Weel-Baumgarten, Evelyn M ; Snippe, Harm Wouter...
http://www.researchprotocols.org/2014/4/e59/.  , 2014
Link: https://doi.org/10.2196/..
 
?
6

The Logic of Separation Logic: Models and Proofs:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,
de Boer, Frank S. ; Hiep, Hans-Dieter A. ; de Gouw, Stijn - p. 407-426 , 2023
Link: https://doi.org/10.1007/..
 
?
7

Dynamic Separation Logic:

de Boer, Frank S. ; Hiep, Hans-Dieter A. ; de Gouw, Stijn
Electronic Notes in Theoretical Informatics and Computer Science.  3 - Proceedings of (2023)  - p. , 2023
Link: https://doi.org/10.46298..
 
?
8

Analysis and Formal Specification of OpenJDK's BitSet:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,
Tatman, Andy S. ; Hiep, Hans-Dieter A. ; de Gouw, Stijn - p. 134-152 , 2023
Link: https://doi.org/10.1007/..
 
?
9

Verifying OpenJDK's LinkedList using KeY (extended paper):

Hiep, Hans-Dieter A. ; Maathuis, Olaf ; Bian, Jinting..
International Journal on Software Tools for Technology Transfer.  24 (2022)  5 - p. 783-802 , 2022
Link: https://doi.org/10.1007/..
 
?
10

Footprint Logic for Object-Oriented Components:

, In: Formal Aspects of Component Software; Lecture Notes in Computer Science,
de Boer, Frank S. ; de Gouw, Stijn ; Hiep, Hans-Dieter A.. - p. 141-160 , 2022
Link: https://doi.org/10.1007/..
 
?
11

Integrating ADTs in KeY and their application to history-ba..:

Bian, Jinting ; Hiep, Hans-Dieter A. ; de Boer, Frank S..
Formal Methods in System Design.  61 (2022)  1 - p. 63-89 , 2022
Link: https://doi.org/10.1007/..
 
?
12

Integrating ADTs in KeY and Their Application to History-Ba..:

, In: Formal Methods; Lecture Notes in Computer Science,
Bian, Jinting ; Hiep, Hans-Dieter A. ; de Boer, Frank S.. - p. 255-272 , 2021
Link: https://doi.org/10.1007/..
 
?
13

Definition and prognostic relevance of the salve grading an..:

Lackner, Carolin ; Tiniakos, Dina ; Gouw, Annette...
Journal of Hepatology.  73 (2020)  - p. S60 , 2020
Link: https://doi.org/10.1016/..
 
?
14

A Tutorial on Verifying LinkedList Using KeY:

, In: Lecture Notes in Computer Science; Deductive Software Verification: Future Perspectives,
Hiep, Hans-Dieter A. ; Bian, Jinting ; de Boer, Frank S.. - p. 221-245 , 2020
Link: https://doi.org/10.1007/..
 
?
15

Verifying OpenJDK's LinkedList using KeY:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Hiep, Hans-Dieter A. ; Maathuis, Olaf ; Bian, Jinting... - p. 217-234 , 2020
Link: https://doi.org/10.1007/..
 
1-15