Showing 1 - 20 results of 410 for search 'Yang H.', query time: 0.03s
Refine Results
-
1
-
2
An Example of Local Reasoning in BI Pointer Logic: the Schorr−Waite Graph Marking Algorithm by Yang, H
Published 2001Conference item -
3
-
4
-
5
-
6
-
7
-
8
-
9
Correctness of Data Representations involving Heap Data Structures by Reddy, U, Yang, H
Published 2015Conference item -
10
-
11
Correctness of Data Representations involving Heap Data Structures by Reddy, U, Yang, H
Published 2004Journal article -
12
Data Refinement with Low−level Pointer Operations by Mijajlovic, I, Yang, H
Published 2005Conference item -
13
Abstraction Refinement Guided by a Learnt Probabilistic Model by Yang, H, Grigore, R
Published 2016Conference item -
14
-
15
-
16
Abstraction refinement guided by a learnt probabilistic model by Grigore, R, Yang, H
Published 2016Conference item -
17
-
18
Heritability of infection-induced humoral antibacterial activity in the immune response of the mosquito Aedes aegypti by Ham, P, Yang, H
Published 1996Journal article -
19
Relational Parametricity and Separation Logic by Birkedal, L, Yang, H
Published 2008Journal article -
20
Type Reconstruction for Syntactic Control of Interference‚ Part 2 by Huang, H, Yang, H
Published 1998Conference item