io-port.net

io-port 06098629 Nigam, Vivek; Jia, Limin; Loo, Boon Thau; Scedrov, Andre

Maintaining distributed logic programs incrementally. (English)

Comput. Lang. Syst. Struct. 38, No. 2, 158-180 (2012).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06071504 Loo, Boon Thau; Gill, Harjot; Liu, Changbin; Mao, Yun; Marczak, William R.; Sherr, Micah; Wang, Anduo; Zhou, Wenchao

Recent advances in declarative networking. (English)

Russo, Claudio (ed.) et al., Practical aspects of declarative languages. 14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27693-4/pbk). Lecture Notes in Computer Science 7149, 1-16 (2012).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06051092 Wang, Anduo; Talcott, Carolyn; Gurney, Alexander J.T.; Loo, Boon Thau; Scedrov, Andre

Reduction-based formal analysis of BGP instances. (English)

Flanagan, Cormac (ed.) et al., Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24‒April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28755-8/pbk). Lecture Notes in Computer Science 7214, 283-298 (2012).

3

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 06024576 Mao, Yun; Loo, Boon Thau; Ives, Zachary; Smith, Jonathan M.

MOSAIC: declarative platform for dynamic overlay composition. (English)

Comput. Netw. 56, No. 1, 64-84 (2012).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05962931 Chang, Jian; Venkatasubramanian, Krishna K.; West, Andrew G.; Kannan, Sampath; Loo, Boon Thau; Sokolsky, Oleg; Lee, Insup

AS-TRUST: a trust quantification scheme for autonomous systems in BGP. (English)

McCune, Jonathan M. (ed.) et al., Trust and trustworthy computing. 4th international conference, TRUST 2011, Pittsburgh, PA, USA, June 22‒24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21598-8/pbk). Lecture Notes in Computer Science 6740, 262-276 (2011).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05908888 Wang, Anduo; Talcott, Carolyn; Jia, Limin; Loo, Boon Thau; Scedrov, Andre

Analyzing BGP instances in Maude. (English)

Bruni, Roberto (ed.) et al., Formal techniques for distributed systems. Joint 13th IFIP WG 6.1 international conference, FMOODS 2011, and 31st IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Iceland, June 6‒9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21460-8/pbk). Lecture Notes in Computer Science 6722, 334-348 (2011).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70007905 Wang, Anduo; Talcott, Carolyn L.; Jia, Limin; Loo, Boon Thau; Scedrov, Andre

Analyzing BGP instances in maude (English)

FMOODS/FORTE, 334-348 (2011).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70226516 Zhou, Wenchao; Fei, Qiong; Narayan, Arjun; Haeberlen, Andreas; Loo, Boon Thau; Sherr, Micah

Secure network provenance (English)

SOSP, 295-310 (2011).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70501995 Ren, Yiqing; Zhou, Wenchao; Wang, Anduo; Jia, Limin; Gurney, Alexander J. T.; Loo, Boon Thau; Rexford, Jennifer

FSR: formal analysis and implementation toolkit for safe inter-domain routing (English)

SIGCOMM, 440-441 (2011).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70553416 Huang, Shan Shan; Green, Todd Jeffrey; Loo, Boon Thau

Datalog and emerging applications: an interactive tutorial (English)

SIGMOD Conference, 1213-1216 (2011).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70553797 Zhou, Wenchao; Fei, Qiong; Sun, Shengzhi; Tao, Tao; Haeberlen, Andreas; Ives, Zachary G.; Loo, Boon Thau; Sherr, Micah

Nettrails: a declarative platform for maintaining and querying provenance in distributed systems (English)

SIGMOD Conference, 1323-1326 (2011).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70685498 Nigam, Vivek; Jia, Limin; Loo, Boon Thau; Scedrov, Andre

Maintaining distributed logic programs incrementally (English)

PPDP, 125-136 (2011).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 71034786 Chang, Jian; Venkatasubramanian, Krishna K.; West, Andrew G.; Kannan, Sampath; Loo, Boon Thau; Sokolsky, Oleg; Lee, Insup

AS-TRUST: A trust quantification scheme for autonomous systems in BGP (English)

TRUST, 262-276 (2011).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50020788 Liu, Mengmeng; Taylor, Nicholas E.; Zhou, Wenchao; Ives, Zachary G.; Loo, Boon Thau

Maintaining recursive views of regions and connectivity in networks (English)

IEEE Trans. Knowl. Data Eng. 22, No. 8, 1126-1141 (2010).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70554371 Marczak, William R.; Huang, Shan Shan; Bravenboer, Martin; Sherr, Micah; Loo, Boon Thau; Aref, Molham

Secureblox: customizable secure distributed data processing (English)

SIGMOD Conference, 723-734 (2010).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70554985 Zhou, Wenchao; Sherr, Micah; Tao, Tao; Li, Xiaozhou; Loo, Boon Thau; Mao, Yun

Efficient querying and maintenance of network provenance at internet-scale (English)

SIGMOD Conference, 615-626 (2010).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70576247 Nguyen, Duc N.; Kopena, Joseph B.; Loo, Boon Thau; Regli, William C.

Ontologies for distributed command and control messaging (English)

FOIS, 373-384 (2010).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70995526 Zhou, Wenchao; Sherr, Micah; Marczak, William R.; Zhang, Zhuoyao; Tao, Tao; Loo, Boon Thau; Lee, Insup

Towards a data-centric view of cloud security (English)

CloudDB, 25-32 (2010).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 71043377 Sherr, Micah; Mao, Andrew; Marczak, William R.; Zhou, Wenchao; Loo, Boon Thau; Blaze, Matt

A3: an extensible platform for application-aware anonymity (English)

NDSS (2010).

19

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05752028 Marczak, William R.; Zook, David; Zhou, Wenchao; Aref, Molham; Loo, Boon Thau

Declarative reconfigurable trust management. (English)

Comput. Res. Repos. 2009, Article No. 0909.1759 (2009).

20

PDF XML AMS-TeX TEXT BIBTeX URL