BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Estonia
2 × USA
Collaborated with:
B.T.Loo P.Basu O.Sokolsky C.L.Talcott A.J.T.Gurney A.Scedrov H.Gill C.Liu Y.Mao W.R.Marczak M.Sherr W.Zhou
Talks about:
network (2) declar (2) instanc (1) analysi (1) reduct (1) recent (1) formal (1) advanc (1) verif (1) base (1)

Person: Anduo Wang

DBLP DBLP: Wang:Anduo

Contributed to:

PADL 20122012
TACAS 20122012
PADL 20092009

Wrote 3 papers:

PADL-2012-LooGLMMSWZ #declarative #network
Recent Advances in Declarative Networking (BTL, HG, CL, YM, WRM, MS, AW, WZ), pp. 1–16.
TACAS-2012-WangTGLS #analysis #formal method
Reduction-Based Formal Analysis of BGP Instances (AW, CLT, AJTG, BTL, AS), pp. 283–298.
PADL-2009-WangBLS #declarative #network #verification
Declarative Network Verification (AW, PB, BTL, OS), pp. 61–75.

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.