Sets for mathematics FW Lawvere, R Rosebrugh Cambridge University Press, 2003 | 395 | 2003 |
Lenses, fibrations and universal translations M Johnson, R Rosebrugh, RJ Wood Mathematical Structures in Computer Science 22 (01), 25-42, 2012 | 102 | 2012 |
Generic commutative separable algebras and cospans of graphs R Rosebrugh, N Sabadini, RFC Walters Theory and applications of categories 15 (6), 164-177, 2005 | 72 | 2005 |
Entity-relationship-attribute designs and sketches M Johnson, R Rosebrugh, RJ Wood Theory and Applications of Categories 10 (3), 94-112, 2002 | 66 | 2002 |
Constructive complete distributivity IV R Rosebrugh, RJ Wood Applied categorical structures 2 (2), 119-144, 1994 | 65 | 1994 |
Distributive laws and factorization R Rosebrugh, RJ Wood Journal of Pure and Applied Algebra 175 (1), 327-353, 2002 | 54 | 2002 |
Fibrations and universal view updatability M Johnson, R Rosebrugh Theoretical Computer Science 388 (1), 109-129, 2007 | 45 | 2007 |
Indexed categories and their applications PT Johnstone, R Paré, RJ Wood, D Schumacher, GC Wraith, ... Springer, 1978 | 44 | 1978 |
Relational databases and indexed categories R Rosebrugh, RJ Wood Proceedings of the International Category Theory Meeting 1991, CMS …, 1992 | 42 | 1992 |
A database of categories M Fleming, R Gunther, R Rosebrugh Journal of Symbolic Computation 35 (2), 127-135, 2003 | 41 | 2003 |
A basic distributive law F Marmolejo, RD Rosebrugh, RJ Wood Journal of Pure and Applied Algebra 168 (2), 209-226, 2002 | 40 | 2002 |
Sketch data models, relational schema and data specifications M Johnson, R Rosebrugh Electronic Notes in Theoretical Computer Science 61, 51-63, 2002 | 36 | 2002 |
Algebras and Update Strategies. M Johnson, RD Rosebrugh, RJ Wood J. Univers. Comput. Sci. 16 (5), 729-748, 2010 | 35 | 2010 |
Unifying Set-Based, Delta-Based and Edit-Based Lenses M Johnson, R Rosebrugh Proceedings BX 16, 2016 | 34 | 2016 |
Delta Lenses and Opfibrations M Johnson, R Rosebrugh Electronic Communications of the EASST 57, 2013 | 32 | 2013 |
View updatability based on the models of a formal specification M Johnson, R Rosebrugh International Symposium of Formal Methods Europe, 534-549, 2001 | 32 | 2001 |
Restricted parallelism and right linear grammars RD Rosebrugh, D Wood Utilitas Mathematica 7, 151-186, 1975 | 30 | 1975 |
Spans of lenses. M Johnson, RD Rosebrugh EDBT/ICDT Workshops, 112-118, 2014 | 24 | 2014 |
Calculating colimits compositionally R Rosebrugh, N Sabadini, RFC Walters Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the …, 2008 | 24 | 2008 |
A characterization theorem for n-parallel right linear languages RD Rosebrugh, D Wood Journal of Computer and System Sciences 7 (6), 579-582, 1973 | 23 | 1973 |