BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × Germany
1 × Poland
1 × Portugal
1 × Spain
1 × Switzerland
1 × United Kingdom
Collaborated with:
W.Du M.Hennessy C.Palamidessi R.J.v.Glabbeek C.Morgan D.Sangiorgi C.Zhang X.Deng Y.Zhang F.Zhong T.Chothia J.Pang Peixin Wang H.F.0001 K.Chatterjee Ming Xu
Talks about:
probabilist (6) process (3) test (3) metric (2) finit (2) kantorovich (1) characteris (1) congruenc (1) preorder (1) finitari (1)

Person: Yuxin Deng

DBLP DBLP: Deng:Yuxin

Contributed to:

LATA 20132013
ICALP (2) 20112011
QAPL 20112011
QAPL 20092009
ESOP 20072007
LICS 20072007
QAPL 20072007
FoSSaCS 20052005
QAPL 20052006
ICALP 20042004
POPL 20202020

Wrote 11 papers:

LATA-2013-DengZDZ #concurrent #π-calculus
The Buffered π-Calculus: A Model for Concurrent Languages (XD, YZ, YD, FZ), pp. 250–261.
ICALP-v2-2011-DengH #automaton #markov #on the #semantics
On the Semantics of Markov Automata (YD, MH), pp. 307–318.
QAPL-2011-DengGHM #probability #process #testing
Real-Reward Testing for Probabilistic Processes (YD, RJvG, MH, CM), pp. 61–73.
QAPL-2009-DengD #metric #overview
The Kantorovich Metric in Computer Science: A Brief Survey (YD, WD), pp. 73–82.
ESOP-2007-DengGMZ #probability #testing
Scalar Outcomes Suffice for Finitary Probabilistic Testing (YD, RJvG, CM, CZ), pp. 363–378.
LICS-2007-DengGHMZ #finite #probability #process #testing
Characterising Testing Preorders for Finite Probabilistic Processes (YD, RJvG, MH, CM, CZ), pp. 313–325.
QAPL-2007-DengD #congruence #probability
Probabilistic Barbed Congruence (YD, WD), pp. 185–203.
FoSSaCS-2005-DengP #axiom #behaviour #finite #probability
Axiomatizations for Probabilistic Finite-State Behaviors (YD, CP), pp. 110–124.
QAPL-2005-DengCPP06 #metric
Metrics for Action-labelled Quantitative Transition Systems (YD, TC, CP, JP), pp. 79–96.
ICALP-2004-DengS #algebra #mobile #process #towards
Towards an Algebraic Theory of Typed Mobile Processes (YD, DS), pp. 445–456.
POPL-2020-WangFCDX #probability #proving #random #source code #termination
Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time (PW, HF0, KC, YD, MX), p. 30.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.