B. Bloom

发表

Bard Bloom, B. Bloom, 1987, PODC '87.
Fred B. Schneider, Keith Marzullo, Bard Bloom, 1991, REX Workshop.
A. Meyer, B. Bloom, S. Istrail, 1987 .
Steven H. Tang, B. Bloom, J. Vlissides, 2006, IBM Syst. J..
B. Bloom, J. Riecke, 1988 .
Frits W. Vaandrager, Luca Aceto, Bard Bloom, 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
Wan Fokkink, Bard Bloom, Rob J. van Glabbeek, 2002, TOCL.
A. Meyer, B. Bloom, S. Istrail, 1995, JACM.
Albert R. Meyer, Bard Bloom, A. Meyer, 1992, Theor. Comput. Sci..
Albert R. Meyer, Bard Bloom, A. Meyer, 1989, Logic at Botik.
Wan Fokkink, Bard Bloom, Rob J. van Glabbeek, 2000, Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
Bard Bloom, Robert Paige, B. Bloom, 1992, NAPAW.
Albert R. Meyer, Sorin Istrail, Bard Bloom, 1988, POPL '88.
Bard Bloom, B. Bloom, 1995, Theor. Comput. Sci..
Geoffrey Brown, Bard Bloom, Sam Weber, 1992, REX Workshop.
Bard Bloom, Marta Z. Kwiatkowska, B. Bloom, 1991, MFPS.
Bard Bloom, Ashvin Dsouza, Allan Cheng, 1997, IEEE Trans. Software Eng..
B. Bloom, A. Cheng, A. Dzouza, 1996, Proceedings of 11th Annual Conference on Computer Assurance. COMPASS '96.
Bard Bloom, Ashvin Dsouza, B. Bloom, 1995, FSTTCS.
Bard Bloom, B. Bloom, 1994, Formal Aspects of Computing.
Jan Vitek, Tobias Wrigstad, Bard Bloom, 2009, OOPSLA '09.
P. Kambadur, B. Bloom, V. Saraswat, 2012 .
Bard Bloom, B. Bloom, 2005, International Workshop on XQuery Implementation, Experience and Perspectives.