-
1
-
2
-
3
-
4
-
5
Verifying linearizability via optimized refinement checking
Published 2013Get full text
Get full text
Journal Article -
6
Fabrication and spectral properties of Dy:Y2O3 transparent ceramics
Published 2020Get full text
Journal Article -
7
-
8
Interferometer-in-spectrometer for high-resolution optical coherence tomography
Published 2021Get full text
Journal Article -
9
-
10
Defensive responses of microalgal-bacterial granules to tetracycline in municipal wastewater treatment
Published 2022Get full text
Journal Article -
11
Spectrally encoded extended source optical coherence tomography
Published 2015Get full text
Get full text
Get full text
Journal Article -
12
Band engineering for novel two-dimensional atomic layers
Published 2015Get full text
Get full text
Journal Article -
13
Automated synthesis of local time requirement for service composition
Published 2021Get full text
Journal Article -
14
-
15
A formal specification and verification framework for timed security protocols
Published 2020Get full text
Journal Article -
16
-
17
Transition metal oxides on organic semiconductors
Published 2016Get full text
Get full text
Journal Article -
18
Synthesis of 4H/fcc-Au@Metal Sulfide Core–Shell Nanoribbons
Published 2017Get full text
Get full text
Journal Article -
19
-
20
Cellular resolution corneal imaging with extended imaging range
Published 2019Get full text
Get full text
Journal Article