dblp.uni-trier.dewww.uni-trier.de

Bard Bloom Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
31EEBard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad: Thorn: robust, concurrent, extensible scripting on the JVM. OOPSLA 2009: 117-136
30EEBard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad: Thorn: robust concurrent scripting on the JVM. OOPSLA Companion 2009: 789-790
2008
29EEMartin Hirzel, Nathaniel Nystrom, Bard Bloom, Jan Vitek: Matchete: Paths through the Pattern Matching Jungle. PADL 2008: 150-166
2006
28EESteven Abrams, Bard Bloom, Paul Keyser, Doug Kimelman, Eric Nelson, Wendy Neuberger, Tova Roth, Ian Simmonds, Steven Tang, John M. Vlissides: Architectural thinking and modeling with the Architects' Workbench. IBM Systems Journal 45(3): 481-500 (2006)
2005
27EEBard Bloom: Lopsided Little Languages: Experience with XQuery. XIME-P 2005
2004
26EEBard Bloom, Wan Fokkink, Rob J. van Glabbeek: Precongruence formats for decorated trace semantics. ACM Trans. Comput. Log. 5(1): 26-78 (2004)
2002
25EEBard Bloom, Wan Fokkink, Rob J. van Glabbeek: Precongruence Formats for Decorated Trace Semantics CoRR cs.LO/0204039: (2002)
2000
24EEBard Bloom, Wan Fokkink, Rob J. van Glabbeek: Precongruence Formats for Decorated Trace Preorders. LICS 2000: 107-118
1997
23EEBard Bloom, Allan Cheng, Ashvin Dsouza: Using a Protean Language to Enhance Expressiveness in Specification. IEEE Trans. Software Eng. 23(4): 224-234 (1997)
1995
22EEAshvin Dsouza, Bard Bloom: Generating BDD Models for Process Algebra Terms. CAV 1995: 16-30
21EEAshvin Dsouza, Bard Bloom: On the Expressive Power of CCS. FSTTCS 1995: 309-323
20 Bard Bloom: Structured Operational Semantics as a Specification Language. POPL 1995: 107-117
19EEBard Bloom, Sorin Istrail, Albert R. Meyer: Bisimulation Can't be Traced. J. ACM 42(1): 232-268 (1995)
18 Bard Bloom, Robert Paige: Transformational Design and Implementation of a New Efficient Solution to the Ready Simulation Problem. Sci. Comput. Program. 24(3): 189-220 (1995)
17EEBard Bloom: Structural Operational Semantics for Weak Bisimulations. Theor. Comput. Sci. 146(1&2): 25-68 (1995)
1994
16 Bard Bloom: CHOCOLATE: Calculi of Higher Order COmmunication and LAmbda TErms. POPL 1994: 339-347
15 Bard Bloom: When is Partial Trace Equivalence Adequate? Formal Asp. Comput. 6(3): 317-338 (1994)
14 Luca Aceto, Bard Bloom, Frits W. Vaandrager: Turning SOS Rules into Equations Inf. Comput. 111(1): 1-52 (1994)
1993
13EEBard Bloom: Structured Operational Sematics for Process Algebras and Equational Axiom Systems. CONCUR 1993: 539-540
1992
12 Luca Aceto, Bard Bloom, Frits W. Vaandrager: Turning SOS Rules into Equations LICS 1992: 113-124
11 Bard Bloom, Robert Paige: Computing Ready Simulations Efficiently. NAPAW 1992: 119-134
10EESam Weber, Bard Bloom, Geoffrey Brown: Compiling Joy Into Silicon: An Exercise in Applied Structural Operational Semantics. REX Workshop 1992: 639-659
9 Bard Bloom, Albert R. Meyer: Experimenting with Process Equivalence. Theor. Comput. Sci. 101(2): 223-237 (1992)
1991
8EEBard Bloom, Marta Z. Kwiatkowska: Trade-Offs in True Concurrency: Pomsets and Mazurkiewicz Traces. MFPS 1991: 350-375
7EEFred B. Schneider, Bard Bloom, Keith Marzullo: Putting Time into Proof Outlines. REX Workshop 1991: 618-639
1990
6 Bard Bloom: Can LCF be Topped? Flat Lattice Models of Typed lambda-Calculus Inf. Comput. 87(1/2): 263-300 (1990)
1989
5EEBard Bloom, Albert R. Meyer: A Remark on Bisimulation Between Probabilistic Processes. Logic at Botik 1989: 26-40
1988
4 Bard Bloom: Can LCF Be Topped? Flat Lattice models of Typed Lambda Calculus (Preliminary Report) LICS 1988: 282-295
3 Bard Bloom, Sorin Istrail, Albert R. Meyer: Bisimulation Can't Be Traced. POPL 1988: 229-239
2 Bard Bloom: Constructing Two-Writer Atomic Registers. IEEE Trans. Computers 37(12): 1506-1514 (1988)
1987
1 Bard Bloom: Constructing Two-Writer Atomic Registers. PODC 1987: 249-259

Coauthor Index

1Steven Abrams [28]
2Luca Aceto [12] [14]
3Geoffrey Brown [10]
4Allan Cheng [23]
5Ashvin Dsouza [21] [22] [23]
6John Field [30] [31]
7Wan Fokkink [24] [25] [26]
8Rob J. van Glabbeek [24] [25] [26]
9Martin Hirzel [29]
10Sorin Istrail [3] [19]
11Paul Keyser [28]
12Doug Kimelman [28]
13Marta Z. Kwiatkowska [8]
14Keith Marzullo [7]
15Albert R. Meyer [3] [5] [9] [19]
16Eric Nelson [28]
17Wendy Neuberger [28]
18Nathaniel Nystrom [29] [30] [31]
19Johan Östlund [30] [31]
20Robert Paige [11] [18]
21Gregor Richards [30] [31]
22Tova Roth [28]
23Fred B. Schneider [7]
24Ian Simmonds [28]
25Rok Strnisa [30] [31]
26Steven Tang [28]
27Frits W. Vaandrager [12] [14]
28Jan Vitek [29] [30] [31]
29John M. Vlissides [28]
30Sam Weber [10]
31Tobias Wrigstad [30] [31]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)