Browsing by Author HUANG, X

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 1 to 20 of 190  next >
TitleAuthor(s)Issue DateViews
 
2017
99
 
2019
50
 
2018
42
 
2021
2
 
2021
 
2020
95
 
2016
99
 
A Type-Directed Operational Semantics For a Calculus with a Merge Operator
Proceeding/Conference:LIPICS - Leibniz International Proceedings in Informatics
2020
4
 
2019
56
 
2021
21
 
2018
34
 
2019
65
 
2011
349
 
2020
33
 
2015
203
 
2019
147
 
2017
156
Analysis of glucose concentration in interstitial fluid by micro surface plasmon resonance sensor
Proceeding/Conference:4th International Conference on Networked Sensing Systems, INSS
2007
180
 
2016
129
 
2008
269