by Wang, Anduo, Talcott, Carolyn, Jia, Limin, Loo, Boon Thau, Scedrov, Andre
Published in Formal Techniques for Distributed Systems (2011)

by Shi, Lei, Li, Yahui, Alur, Rajeev, Boon Thau Loo
Published in arXiv.org (13.10.2020)

by Amiri, Mohammad Javad, Boon Thau Loo, Agrawal, Divyakant, Amr El Abbadi
Published in arXiv.org (17.07.2022)

by Sharma, Jatin, Behera, Nikhilesh, Venkatraman, Priya, Boon Thau Loo
Published in arXiv.org (09.09.2020)

by Loo, Boon Thau, Gill, Harjot, Liu, Changbin, Mao, Yun, Marczak, William R., Sherr, Micah, Wang, Anduo, Zhou, Wenchao
Published in Practical Aspects of Declarative Languages (23.01.2012)

by Yuan Yifei, Alur Rajeev, Loo Boon Thau
Year of Publication 08.08.2017

by Arzani, Behnaz, Ciraci, Selim, Chamon, Luiz, Zhu, Yibo, Liu, Hingqiang, Padhye, Jitu, Loo, Boon Thau, Outhred, Geoff
Year of Publication 20.02.2018

by BOON THAU LOO, CONDIE, Tyson, GAROFALAKIS, Minos, GAY, David E, HELLERSTEIN, Joseph M, MANIATIS, Petros, RAMAKRISHNAN, Raghu, ROSCOE, Timothy, STOICA, Ion
Published in Communications of the ACM (01.11.2009)

by Yuan Yifei, Alur Rajeev, Loo Boon Thau
Year of Publication 30.03.2017

by Liu, Mengmeng, Ives, Zachary G, Loo, Boon Thau
Year of Publication 22.09.2014

by Arzani, Behnaz, Gurney, Alexander, Li, Bo, Han, Xianglong, Guerin, Roch, Loo, Boon Thau
Year of Publication 27.11.2015

by Yifei Yuan, Anduo Wang, Alur, Rajeev, Boon Thau Loo
Published in 2013 Formal Methods in Computer-Aided Design (01.10.2013)

by Arzani, Behnaz, Iodice, Nicholas, Hwang, Steven, Venkataramanan, Prahalad, Geuriny, Roch, Boon Thau Loo
Published in arXiv.org (01.12.2018)

by Arzani, Behnaz, Ciraci, Selim, Chamon, Luiz, Zhu, Yibo, Liu, Hingqiang, Padhye, Jitu, Boon Thau Loo, Outhred, Geoff
Published in arXiv.org (20.02.2018)

by Liu, Mengmeng, Ives, Zachary G, Boon Thau Loo
Published in arXiv.org (22.09.2014)

by Liu, Changbin, Ren, Lu, Loo, Boon Thau, Mao, Yun, Basu, Prithwish
Year of Publication 26.04.2012

by LOO BOON THAU, LIU CHANGBIN, VAN DER MERWE JACOBUS, MAO YUN
Year of Publication 12.04.2016

by Arzani, Behnaz, Gurney, Alexander, Li, Bo, Han, Xianglong, Guerin, Roch, Boon Thau Loo
Published in arXiv.org (27.11.2015)

by Wenchao Zhou, Yun Mao, Boon Thau Loo, Abadi, M.
Published in 2009 IEEE 25th International Conference on Data Engineering (01.03.2009)

by Marczak, William, Zook, David, Zhou, Wenchao, Aref, Molham, Loo, Boon Thau
Year of Publication 09.09.2009