Concepedia

Bard Bloom

BB

17

Publications

1.2K

Citations

15

H-Index

1987

Active since

Affiliations

Cornell University(Current)

IBM (United States)

Centrum Wiskunde & Informatica

Massachusetts Institute of Technology

Stockholm University

Bard Bloom is an author at Cornell University specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationProgram AnalysisAutomated ReasoningSoftware AnalysisVerificationSoftware DesignFormal Specification

Publications per year

1987–2012

17

Publications

17

Bisimulation can't be traced

Bard Bloom, Sorin Istrail, Albert R. Meyer · Journal of the ACM · 1995 · 381 citations · Full text

Engineering, Verification, Computer Architecture +18

Turning SOS Rules into Equations

Luca Aceto, Bard Bloom, Frits Vaandrager · Information and Computation · 1994 · 130 citations · Full text

Bisimulation can't be traced

Bard Bloom, Sorin Istrail, Albert R. Meyer · 1988 · 103 citations

Theory Of Computing, Formal Specification, Engineering +15

Structural operational semantics for weak bisimulations

Bard Bloom · Theoretical Computer Science · 1995 · 101 citations · Full text

Bisimulation can't be traced. Preliminary report

Bard Bloom, Sorin Istrail, Albert R. Meyer · OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information) · 1987 · 80 citations

Engineering, Operational Semantics, Automated Reasoning +12

Rows per page

1–5 of 17