Search

Your search keyword '"Deng, Yuxin"' showing total 511 results

Search Constraints

Start Over You searched for: Author "Deng, Yuxin" Remove constraint Author: "Deng, Yuxin"
511 results on '"Deng, Yuxin"'

Search Results

105. Behavioural Pseudometrics for Nondeterministic Probabilistic Systems

106. Self-Powered Fast Response X-Ray Detector Based on Vertical p-NiO/Ga2O3 Heterojunction Diode

107. Radiation effects of high-fluence reactor neutron on Ni/β-Ga2O3 Schottky barrier diodes.

113. Modal Characterisations of Probabilistic and Fuzzy Bisimulations

114. Alpha particle detection based on a NiO/β-Ga2O3 heterojunction diode.

125. sj-pdf-1-imr-10.1177_03000605231154657 - Supplemental material for Hepatic epithelioid angiomyolipoma is scattered and unsuitable for surgery: a case report

126. The Buffered π-Calculus: A Model for Concurrent Languages

127. Compositional Reasoning for Markov Decision Processes : (Extended Abstract)

128. On the Semantics of Markov Automata

129. A Framework for Verifying Data-Centric Protocols

130. Online Illusory Truth

131. Text-based irony use

139. Verifying Anonymous Credential Systems in Applied Pi Calculus

140. Testing Finitary Probabilistic Processes : (Extended Abstract)

141. Game Characterizations of Process Equivalences

144. Analyzing an Electronic Cash Protocol Using Applied Pi Calculus

145. Scalar Outcomes Suffice for Finitary Probabilistic Testing

146. Measuring Anonymity with Relative Entropy

148. Child Safety and Data Privacy in Smart Homes With Speakers: Comparison of Privacy Policies in the United States and China

149. Compositional Reasoning for Probabilistic Finite-State Behaviors

150. Axiomatizations for Probabilistic Finite-State Behaviors

Catalog

Books, media, physical & digital resources