Concepedia

Robert Rosebrugh

RR

25

Publications

547

Citations

14

H-Index

1973

Active since

Affiliations

Mount Allison University(Current)

Dalhousie University

Macquarie University

Robert Rosebrugh is an author at Mount Allison University specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceGeometryManagementData ScienceData ModelingOphthalmologyData Integration

Publications per year

1973–2017

25

Publications

25

Generic commutative separable algebras and cospans of graphs

Robert Rosebrugh, N. Sabadini, R. F. C. Walters · Theory and applications of categories · 2005 · 58 citations · Full text

Distributive laws and factorization

Robert Rosebrugh, Richard J. Wood · Journal of Pure and Applied Algebra · 2002 · 50 citations

Algebraic Logic, Substructural Logic, Form Factor (Design) +2

Lenses, fibrations and universal translations

Michael Johnson, Robert Rosebrugh, Richard J. Wood · Mathematical Structures in Computer Science · 2011 · 43 citations

Engineering, Geometry, Automated Reasoning +11

Entity-Relationship-Attribute Designs and Sketches

Michael Johnson, Robert Rosebrugh, Richard J. Wood · Theory and applications of categories · 2002 · 38 citations · Full text

Constructive complete distributivity IV

Robert Rosebrugh, Richard J. Wood · Applied Categorical Structures · 1994 · 37 citations

Constructive Mathematics, Engineering, Automated Reasoning +3

Rows per page

1–5 of 25